github-actions[bot]
4f07e7f326
Merge master into staging-next
2022-10-15 06:07:54 +00:00
Luflosi
2cb6af3eac
abc-verifier: 2022.07.27 -> unstable-2022-09-08
2022-10-14 19:27:01 -05:00
github-actions[bot]
886633ba43
Merge master into staging-next
2022-10-15 00:04:00 +00:00
Artturi
eb49b683f3
Merge pull request #195661 from wamserma/arg-cleanup-app
...
pkgs.applications: remove unused args
2022-10-15 02:20:29 +03:00
github-actions[bot]
14fe809072
Merge master into staging-next
2022-10-14 18:02:25 +00:00
R. Ryantm
9765cc81f6
cbmc: 5.67.0 -> 5.68.0
2022-10-14 23:46:21 +08:00
Vladimír Čunát
00a757ed3f
Merge branch 'master' into staging
2022-10-13 08:27:55 +02:00
Sandro
2678c1b034
Merge pull request #193484 from wegank/gpl1-eol
2022-10-12 21:04:31 +02:00
Vincent Laporte
661ee3a269
coq_8_16: use OCaml 4.14
2022-10-12 20:38:44 +02:00
Markus S. Wamser
c9d167f174
pkgs.applications: remove unused args
2022-10-12 16:00:16 +02:00
Artturin
7e49471316
treewide: optional -> optionals where the argument is a list
...
the argument to optional should not be list
2022-10-10 15:40:21 +03:00
Mrmaxmeier
18663fd1c1
bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03
...
We're dropping -DUSE_SYMFPU because the new Bitwuzla version has a hard
requirement on SymFPU.
2022-10-04 18:14:31 +00:00
Mrmaxmeier
69e6f91ed1
bitwuzla: build with SymFPU
2022-10-04 18:14:26 +00:00
R. Ryantm
119b1e2fd7
cbmc: 5.65.1 -> 5.67.0
2022-09-30 10:33:04 +00:00
Weijia Wang
870d6f4a98
licenses: remove gpl1
2022-09-29 10:54:21 +02: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
