R. Ryantm
119b1e2fd7
cbmc: 5.65.1 -> 5.67.0
2022-09-30 10:33:04 +00:00
Martin Weinelt
68c0ca4416
Merge remote-tracking branch 'origin/master' into staging-next
2022-09-25 21:36:31 +02:00
Narazaki, Shuji
031d152c4a
cadical: 1.5.0 -> 1.5.3
2022-09-26 00:00:17 +09:00
Martin Weinelt
c2f03aa6f1
easycrypt-runtest: use other format
2022-09-19 16:05:27 +02:00
superherointj
2610966118
Merge pull request #191509 from r-ryantm/auto-update/fast-downward
...
fast-downward: 22.06.0 -> 22.06.1
2022-09-18 11:28:25 -03:00
Vincent Laporte
af34e3be8c
ocamlPackages.cmdliner: default to 1.1
...
ocamlPackages.alcotest: 1.5.0 → 1.6.0
ocamlPackages.crowbar: 0.2 → 0.2.1
ocamlPackages.dune-release: 1.5.1 → 1.6.2
ocamlPackages.functoria: 3.1.1 → 4.2.0
ocamlPackages.mirage: 3.10.7 → 4.2.0
ocamlPackages.irmin-pack: disable checks
ocamlPackages.mdx: disable checks
ocamlPackages.git-unix: mark as broken
2022-09-18 15:03:10 +02:00
Christian Kögler
31da214833
Merge pull request #191483 from vbgl/why3-1.5.1
...
why3: 1.5.0 → 1.5.1
2022-09-17 23:18:46 +02:00
R. Ryantm
9cb166091c
clingo: 5.6.0 -> 5.6.1
2022-09-17 05:32:12 +00:00
R. Ryantm
288127f747
fast-downward: 22.06.0 -> 22.06.1
2022-09-16 15:08:28 +00:00
Vincent Laporte
cccc3b53f4
why3: 1.5.0 → 1.5.1
2022-09-16 13:29:18 +02:00
Bouke van der Bijl
079dc8c3a9
why3: use why3.version in withProvers
...
I was getting an error that 'name' was not defined, which was being
caused by pname being passed in without a version.
Using the version of the why3 package resolves this.
2022-09-15 13:51:50 +02:00
K900
42dc5a7269
Merge pull request #188924 from McSinyx/klee-llvm
...
klee: use the same LLVM version for clang
2022-09-15 10:36:25 +03:00
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
Nguyễn Gia Phong
45af48e472
klee: use the same LLVM version for clang
...
Currently they are the same, but llvmPackages_11 is hardcoded
which is awkward to override.
2022-08-30 15:08:15 +09: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
