R. RyanTM
7573e99a60
lean: 3.13.1 -> 3.14.0
2020-05-24 22:22:11 +00:00
Vincent Laporte
48f0d8b3c8
coq_8_11: 8.11.1 → 8.11.2
2020-05-20 19:21:42 +02:00
R. RyanTM
748e2fcf6c
elan: 0.10.0 -> 0.10.2
2020-05-19 05:02:43 +00:00
Mario Rodas
b022ecbf5d
lean: 3.10.0 -> 3.13.1
2020-05-16 04:20:00 -05:00
Gabriel Ebner
115fa1c129
elan: 0.9.0 -> 0.10.0
2020-05-08 17:17:03 +02:00
Gabriel Ebner
f6f5f6a30f
elan: 0.8.0 -> 0.9.0
2020-05-07 15:35:13 +02:00
Yurii Rashkovskii
c73875ea1e
tlaplus: 1.5.6 -> 1.7.0
2020-05-06 12:26:10 -07:00
R. RyanTM
0a115f8087
cryptominisat: 5.6.8 -> 5.7.0
2020-05-04 01:41:26 -07:00
Mario Rodas
3253c03d2e
lean: 3.9.0 -> 3.10.0
2020-05-02 04:20:00 -05:00
Pavol Rusnak
461a252bee
verifast: change license to MIT
...
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a
As this was the only package using lib.licenses.msrla I dropped it.
2020-04-23 09:59:33 +00:00
Benjamin Hipple
e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
...
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
Ben Darwin
ad7b7367b6
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 21:54:06 -04:00
Mario Rodas
f37c9226fc
lean: 3.8.0 -> 3.9.0
2020-04-18 04:20:00 -05:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
Mario Rodas
8e537ad391
lean: 3.7.2 -> 3.8.0
2020-04-09 10:40:00 -05:00
Jonathan Ringer
3238302827
libpoly: fix src
2020-04-09 11:22:53 -07:00
R. RyanTM
f4a9fe36fa
libpoly: 0.1.7 -> 0.1.8
2020-04-09 10:29:28 -07:00
Vincent Laporte
f4ff33cce6
alt-ergo: 2.3.1 → 2.3.2
2020-04-08 10:23:48 +02:00
Vincent Laporte
d6a8d0ca5b
coq_8_11: 8.11.0 → 8.11.1
2020-04-05 15:32:32 +02:00
Narazaki, Shuji
c5a12e33d2
cadical: init at 1.2.1
2020-04-05 00:22:36 +09:00
Austin Seipp
765b2fd866
mcy: 2020.03.16 -> 2020.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Austin Seipp
4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
Vincent Laporte
618bca7054
alt-ergo: 2.3.0 → 2.3.1
2020-03-24 20:43:06 -04:00
Mario Rodas
b2df6d541d
lean: 3.7.0 -> 3.7.2
2020-03-22 04:20:00 -05:00
Vincent Laporte
8dddd8a07f
ocamlPackages.camlp5: 7.10 → 7.11
2020-03-19 18:04:14 -07:00
Austin Seipp
2ef42e07fd
mcy: 2020.02.05 -> 2020.03.16
...
Now with working web UI dashboard -- but no working GUI (yet!)
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp
5cd4fd5bc5
symbiyosys: 2020.02.08 -> 2020.02.11
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:40 -05:00
Austin Seipp
9b43cf3a00
yosys: 2020.02.25 -> 2020.03.16
...
- Bump `abc-verifier` (2020.03.05)
- Install `yosys-abc` symlink for tool compatbility
- Various `yosys` expression cleanups
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-17 17:19:37 -05:00
Mario Rodas
c935567de6
lean: 3.6.1 -> 3.7.0
2020-03-14 01:32:58 +00:00
Michael Raskin
bbab73266d
Merge pull request #80719 from mucaho/feature/clingcon_init
...
clingcon: init at 3.3.0
2020-03-09 07:42:38 +00:00
mucaho
202c2a8eff
clingcon: init at 3.3.0
2020-03-08 19:21:55 +01:00
Maximilian Bosch
84f862ed91
Merge pull request #81796 from JohnAZoidberg/satallax-gcc9
...
satallax: Fix build with GCC9
2020-03-08 16:12:40 +01:00
Vincent Laporte
dcfccdfc33
acgtk: 1.5.0 → 1.5.1 ( #81539 )
...
Co-authored-by: Jon <jonringer@users.noreply.github.com>
2020-03-07 09:56:18 +01:00
Gabriel Ebner
8428f5bb4a
elan: v0.8.0 tag was force-pushed by upstream
2020-03-06 15:35:37 +01:00
Gabriel Ebner
70e5428d66
elan: 0.7.5 -> 0.8.0
2020-03-06 14:28:36 +01:00
Joachim Breitner
2d2a5a9b63
js_of_ocaml: 3.4.0 -> 3.5.2 ( #75766 )
...
drive-by contributions, as I was playing around with this (it has better
support for the `num` library, it seems.)
js_of_ocaml: 3.4.0 -> 3.5.2
ocamlPackages.js_of_ocaml-ppx_deriving_json: use ppxlib-0.12.0
ocamlPackages.eliom: 6.8.0 → 6.10.1
ocamlPackages.ocsigen-toolkit: 2.2.0 → 2.5.0
ocamlPackages.ocsigen-start: 2.7.0 → 2.16.1
Co-authored-by: Vincent Laporte <Vincent.Laporte@gmail.com>
2020-03-06 07:42:04 +01:00
Mario Rodas
1196a5c7a7
Merge pull request #81722 from r-ryantm/auto-update/workcraft
...
workcraft: 3.2.5 -> 3.2.6
2020-03-05 07:42:25 -05:00
Daniel Schaefer
bc56175034
satallax: Fix build with GCC9
2020-03-05 05:16:49 +01:00
R. RyanTM
86e6080daf
workcraft: 3.2.5 -> 3.2.6
2020-03-04 13:41:09 +00:00
Gabriel Ebner
0d470dc5ea
Merge pull request #81692 from r-ryantm/auto-update/lean
...
lean: 3.6.0 -> 3.6.1
2020-03-04 10:32:38 +01:00
R. RyanTM
5b833c08ef
lean: 3.6.0 -> 3.6.1
2020-03-04 06:26:01 +00:00
Aiken Cairncross
3db82f6fc3
python3Packages.monosat: Fix hash
...
PR #81562 inadvertently broke these builds
2020-03-03 11:02:23 -08:00
Aiken Cairncross
2148a154c6
python3Packages.monosat: Fix Python 3.8 build
2020-03-03 07:40:57 +01:00
Austin Seipp
7e66ce29bf
mcy: init at 2020.02.05
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Austin Seipp
3d8efecda1
symbiyosys: fix calls to external programs
...
48085826f
broke symbiyosys when it needed to call `yosys-abc`: when
`ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built.
But in general `sby` was just calling programs out of the ambient
environment. Fix that for most programs it can invoke: it now has a
direct dependency on boolector, aiger, abc, yosys, etc.
This also does some other minor clean up.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-02-27 21:52:15 -06:00
Mario Rodas
79f057e2eb
lean: 3.5.1 -> 3.6.0
2020-02-26 18:00:00 -05:00
Benjamin Hipple
ed85c9981a
elan: upgrade cargo fetcher and cargoSha256
...
Infra upgrade as part of #79975 ; ran `nixpkgs-review wip` successfully.
2020-02-19 18:17:27 -05:00
Junyoung Clare Jang
b71c03e483
lean: 3.4.2 -> 3.5.1
...
3.4.2 is not compilable with GCC >= 9.1
2020-02-15 02:29:12 -05:00
Benjamin Hipple
eb11feaa0b
treewide: change fetchCargoTarball default to opt-out
...
Changes the default fetcher in the Rust Platform to be the newer
`fetchCargoTarball`, and changes every application using the current default to
instead opt out.
This commit does not change any hashes or cause any rebuilds. Once integrated,
we will start deleting the opt-outs and recomputing hashes.
See #79975 for details.
2020-02-13 22:41:37 -08:00
R. RyanTM
1d4fd7f5f2
verifast: 18.02 -> 19.12
2020-02-09 14:29:31 -06:00