R. RyanTM
|
a07fe7164b
|
workcraft: 3.2.6 -> 3.3.0
|
2020-07-02 10:07:55 -07:00 |
|
Gabriel Ebner
|
ab4bc959e7
|
Merge pull request #92044 from r-ryantm/auto-update/lean
lean: 3.16.2 -> 3.16.5
|
2020-07-02 15:27:58 +02:00 |
|
R. RyanTM
|
39ee2ab9c0
|
lean: 3.16.2 -> 3.16.5
|
2020-07-02 13:12:58 +00:00 |
|
Vincent Laporte
|
d34bde6ac7
|
why3: compatibility with JSoO 3.6.0
|
2020-06-28 09:59:04 +02:00 |
|
zowoq
|
c7e61112df
|
treewide: remove deprecated value Application from makeDesktopItem
|
2020-06-25 12:18:37 +10:00 |
|
Daniël de Kok
|
5f0cf22c59
|
cadical: enable tests
|
2020-06-24 15:10:53 -07:00 |
|
Maximilian Bosch
|
44b3530cf1
|
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
cadical: 1.2.1 -> 1.3.0
|
2020-06-23 23:33:10 +02:00 |
|
Vincent Laporte
|
a8bb61222f
|
coq_8_12: init at 8.12+β1
|
2020-06-19 12:28:42 +02:00 |
|
Narazaki, Shuji
|
d6c90aea17
|
cadical: 1.2.1 -> 1.3.0
|
2020-06-15 22:56:41 +09:00 |
|
R. RyanTM
|
e63bfcef96
|
lean: 3.15.0 -> 3.16.2
|
2020-06-14 19:32:20 +00:00 |
|
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 |
|