Austin Seipp
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Austin Seipp
13e52db31e
yosys: 2020.03.24 -> 2020.06.11
...
Also includes a bump to `abc-verifier`.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
Symphorien Gibol
0a488516be
boolector: 3.0.0 -> 3.2.1
...
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
Symphorien Gibol
90b75531a5
btor2tools: pre55 -> 1.0.0-pre
...
version comes from the VERSION file in the repo
2020-06-08 17:32:07 -05:00
R. RyanTM
25300419fd
lean: 3.14.0 -> 3.15.0
2020-06-06 10:55:48 +00:00
Daiderd Jordan
b7ddbd52bd
treewide: replace SRI hashes
2020-06-01 15:24:19 +02:00
R. RyanTM
8295aa6d8b
cryptominisat: 5.7.0 -> 5.7.1
2020-05-27 13:51:14 -07:00
R. RyanTM
5841bc46f8
proverif: 2.00 -> 2.01
2020-05-27 12:07:52 -07:00
zowoq
cb4cc7a480
sad: use patch file extension
2020-05-26 14:50:50 +10:00
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