Commit Graph

1426 Commits

Author SHA1 Message Date
R. Ryantm
101fa50263 cbmc: 5.65.0 -> 5.65.1 2022-09-14 22:04:14 +08:00
7c6f434c
1cea3c2362
Merge pull request #190919 from r-ryantm/auto-update/clingo
clingo: 5.5.2 -> 5.6.0
2022-09-13 18:04:50 +00:00
Gabriel Ebner
38aa976494 elan: 1.4.1 -> 1.4.2 2022-09-13 11:02:26 +02:00
R. Ryantm
09bed085c3 clingo: 5.5.2 -> 5.6.0 2022-09-12 11:37:36 +00:00
Vincent Laporte
a22abdf7c2 acgtk: 1.5.2 → 1.5.4 2022-09-09 08:53:49 +02:00
R. Ryantm
a037a50b46 coq_8_16: 8.16+rc1 -> 8.16.0 2022-09-06 12:15:29 +00:00
Christian Kögler
8edb96b411
Merge pull request #189426 from kilianar/cadical-1.5.0
cadical: 1.4.1 -> 1.5.0
2022-09-04 12:49:36 +02:00
Bobby Rong
187f55926c
Merge pull request #189430 from r-ryantm/auto-update/cbmc
cbmc: 5.64.0 -> 5.65.0
2022-09-04 10:19:33 +08:00
Robert Scott
fd66073cf3
Merge pull request #189414 from kilianar/kissat-3.0.0
kissat: 2.0.1 -> 3.0.0
2022-09-03 11:53:29 +01:00
Robert Scott
3f9b0f53e4
Merge pull request #188650 from movingco/add-z3-411
z3: add 4.11
2022-09-02 18:24:42 +01:00
R. Ryantm
35657ce4a6 cbmc: 5.64.0 -> 5.65.0 2022-09-02 10:22:16 +00:00
kilianar
10461fa316 cadical: 1.4.1 -> 1.5.0
https://github.com/arminbiere/cadical/releases/tag/rel-1.5.0
2022-09-02 11:45:36 +02:00
kilianar
c8546067ce kissat: 2.0.1 -> 3.0.0
https://github.com/arminbiere/kissat/releases/tag/rel-3.0.0
2022-09-02 10:24:30 +02:00
kilianar
2b3ec1d37a lean: 3.47.0 -> 3.48.0
https://github.com/leanprover-community/lean/releases/tag/v3.48.0
2022-08-31 11:32:21 +02:00
R. Ryantm
616e78d316 cvc5: 1.0.1 -> 1.0.2 2022-08-29 17:17:59 +00:00
Ian Macalinao
c05b66233e
z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0 2022-08-28 11:06:19 -05:00
Mario Rodas
40ad284f8f lean: 3.46.0 -> 3.47.0 2022-08-27 04:20:00 +00:00
Theodore Ni
bb1d34d0f1
cvc3: reenable stackprotector on aarch64-darwin
The original error that required disabling the stack protector on
aarch64-darwin has been fixed in GCC.
2022-08-25 19:11:45 -07:00
Gabriel Ebner
e99329eb02 elan: overwrite llvm-ar with stdenv ar 2022-08-22 16:52:52 +02:00
R. Ryantm
e0377f4a23 cbmc: 5.63.0 -> 5.64.0 2022-08-18 20:25:31 +00:00
Jiajie Chen
da87f77102 cbmc: init at 5.63.0
Cadical is used as sat solver backend.

https://github.com/diffblue/cbmc/releases/tag/cbmc-5.63.0
2022-08-18 05:21:32 +02:00
Sebastián Mancilla
68696eca80
Merge pull request #180682 from r-ryantm/auto-update/fast-downward
fast-downward: 21.12.0 -> 22.06.0
2022-08-17 20:28:49 -04:00
Vincent Laporte
9bb0d53a4a alt-ergo: 2.4.1 → 2.4.2 2022-08-17 17:07:27 +02:00
Mrmaxmeier
4929601fe9 bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07 2022-08-14 22:58:44 +02:00
Austin Seipp
5b93ac113c yosys: 0.18 -> 0.20
Includes necessary `abc` update as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2022-08-12 13:23:18 -05:00
Mario Rodas
e27fb54ad8
Merge pull request #185834 from kilianar/lean-3.46.0
lean: 3.45.0 -> 3.46.0
2022-08-12 05:40:55 -05:00
Gabriel Ebner
f056e64e5b
Merge pull request #180766 from jvierling/metis-prover
metis-prover: 2.3.20160713 -> 2.4.20200713
2022-08-10 13:02:34 +02:00
kilianar
3bf4c6f470 lean: 3.45.0 -> 3.46.0
https://github.com/leanprover-community/lean/releases/tag/v3.46.0
2022-08-09 22:21:39 +02:00
superherointj
5c30c1cbf1
Merge pull request #183064 from bcdarwin/update-mcrl2
mcrl2: 201707 -> 202206
2022-08-02 15:50:46 -03:00
R. Ryantm
c37576257b workcraft: 3.3.6 -> 3.3.8 2022-07-31 06:18:04 +00:00
Bobby Rong
ac95058e3c
Merge pull request #183276 from r-ryantm/auto-update/cvc5
cvc5: 1.0.0 -> 1.0.1
2022-07-30 10:50:46 +08:00
R. Ryantm
33d34d205c opensmt: 2.3.1 -> 2.4.1 2022-07-29 14:26:39 +00:00
R. Ryantm
f238ea8ee8 cvc5: 1.0.0 -> 1.0.1 2022-07-28 10:49:58 +00:00
Ben Darwin
a39c8ddb1f mcrl2: 201707 -> 202206 2022-07-27 01:25:01 -04:00
Gabriel Ebner
ec71376b1c
Merge pull request #179568 from collares/lean-3.44.1
lean: 3.43.0 -> 3.45.0
2022-07-21 19:04:45 +02:00
Mauricio Collares
2646dae16e lean: 3.44.1 -> 3.45.0 2022-07-21 13:03:03 -03:00
Mauricio Collares
b394165a8a lean: 3.44.0 -> 3.44.1 2022-07-21 12:52:30 -03:00
Mauricio Collares
f1fe61ba70 lean: 3.43.0 -> 3.44.0 2022-07-21 12:52:30 -03:00
Ben Siraphob
0952243f1f
Merge pull request #182056 from jiegec/cvc3-darwin 2022-07-20 23:12:29 -07:00
Jiajie Chen
fa917a6f8c cvc3: unbreak on aarch64-darwin
Disable stackprotector on aarch64-darwin.
2022-07-21 08:09:26 +08:00
Vladimír Čunát
0879ac5da6
Merge branch 'master' into staging-next 2022-07-16 20:07:05 +02:00
Ben Siraphob
68c9333eb4
Merge pull request #176321 from siraben/smtcoq-fix 2022-07-16 09:27:57 -07:00
Ben Siraphob
0a0006a9d8
formula: add mainProgram 2022-07-15 11:41:08 -07:00
Artturin
a584822577 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
f7414e2
2022-07-15 02:50:09 +03:00
Artturin
83b4764dc3 treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'
f7414e2b3a
2022-07-12 18:25:19 +03:00
Théo Zimmermann
3ea8ed7d7e Split out CoqIDE by default when Coq >= 8.14. 2022-07-10 15:49:44 +02:00
Jannik Vierling
abf573a0c7 metis-prover: 2.3.20160713 -> 2.4.20200713 2022-07-08 22:22:33 +02:00
Théo Zimmermann
1014f00cff Prepare Coq derivation for Coq 8.17 build infrastructure. 2022-07-08 14:54:04 +02:00
R. Ryantm
4f64659d54 fast-downward: 21.12.0 -> 22.06.0 2022-07-08 09:59:52 +00:00
Jonas Heinrich
fc4b3a846d
klee: 2.2 -> 2.3
* klee: 2.2 -> 2.3
2022-07-07 09:18:27 -03:00