Weijia Wang
3b03119bcf
Merge pull request #263288 from r-ryantm/auto-update/cryptominisat
...
cryptominisat: 5.11.14 -> 5.11.15
2023-12-05 10:46:20 +01:00
Peder Bergebakken Sundt
5c2f149bab
Merge pull request #271114 from vbgl/why3-1.7.0
...
why3: 1.6.0 → 1.7.0
2023-12-02 10:48:36 +01:00
Mario Rodas
c462586977
Merge pull request #271084 from marsam/update-lean4
...
lean4: 4.2.0 -> 4.3.0
2023-11-30 02:30:54 -05:00
Vincent Laporte
ef6c49fa50
why3: 1.6.0 → 1.7.0
2023-11-30 05:41:54 +01:00
Vincent Laporte
556712bb7c
acgtk: 1.5.4 → 2.0.0
2023-11-30 05:37:04 +01:00
Henner Zeller
409e9d1a30
surelog: 1.76 -> 1.80
2023-11-29 13:18:33 -06:00
Henner Zeller
39dd77fde8
uhdm: 1.77 -> 1.80
2023-11-29 13:18:33 -06:00
Mario Rodas
cbcf0e94ac
lean4: 4.2.0 -> 4.3.0
...
Diff: https://github.com/leanprover/lean4/compare/v4.2.0...v4.3.0
Changelog: https://github.com/leanprover/lean4/blob/v4.3.0/RELEASES.md
2023-11-29 04:20:00 +00:00
Mario Rodas
b9a67f7317
lean4: fix build on darwin
2023-11-23 04:20:00 +00:00
R. Ryantm
f23cd2617d
cadical: 1.8.0 -> 1.9.0
2023-11-21 17:11:06 +00:00
Vincent Laporte
181a9fe1ea
easycrypt: fix runtest command
...
The `ec-runtest` program is still available as a separate
easycrypt-runtest package, but the `easycrypt runtest` command now also
works out-of-the-box.
2023-11-20 09:04:33 +01:00
Vincent Laporte
4800982f99
hol_light: 2023-07-21 → 2023-11-03
2023-11-20 07:03:45 +01:00
annalee
38eccd74c3
eprover: update hash - target modified inplace
...
the last commit was Wed Nov 15 13:09:21 2023 +0000 but the target, E.tgz
was modified at 2023-11-15 23:29 (assuming utc)
https://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_3.0/
2023-11-17 04:12:46 +00:00
Vladimír Čunát
0fe5300699
Merge branch 'master' into staging-next
2023-11-16 09:49:24 +01:00
7c6f434c
91c993afb9
Merge pull request #267664 from r-ryantm/auto-update/eprover
...
eprover: 2.6 -> 3.0
2023-11-15 23:52:24 +00:00
R. Ryantm
e13386b72e
eprover: 2.6 -> 3.0
2023-11-15 13:09:21 +00:00
Vladimír Čunát
c46eae0f35
Merge branch 'master' into staging-next
2023-11-15 07:33:10 +01:00
Chen
109bef7af3
abella: 2.0.7 -> 2.0.8
2023-11-14 13:38:26 +08:00
github-actions[bot]
eb26e06e9b
Merge master into staging-next
2023-11-12 06:01:07 +00:00
Pierre Bourdon
4098144884
Merge pull request #266486 from Luflosi/update/yosys
...
yosys: 0.34 -> 0.35
2023-11-12 03:24:48 +01:00
github-actions[bot]
9776723357
Merge master into staging-next
2023-11-11 18:00:58 +00:00
Anthony Roussel
e30f48be94
treewide: fix redirected and broken URLs
...
Using the script in maintainers/scripts/update-redirected-urls.sh
2023-11-11 10:49:01 +01:00
Luflosi
783a01c64e
abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13
2023-11-08 15:21:35 +01:00
Luflosi
9882bdee1e
abc-verifier: cleanup
...
- Move each function argument into its own line
- Use `finalAttrs` instead of the `rec` keyword to properly handle overriding
- Run the `preInstall` and `postInstall` hooks in the `installPhase`
- Use `install` instead of `mkdir -p` and `mv` to be more concise
2023-11-08 15:21:34 +01:00
Luflosi
0942f79dda
abc-verifier: add Luflosi as maintainer
2023-11-08 15:21:31 +01:00
Adam Joseph
ba2ed469c2
Merge branch 'master' into staging-next
2023-11-08 06:15:46 +00:00
Adam Joseph
bc2d598878
treewide: change pythonForBuild to pythonOnBuildForHost
2023-11-05 17:42:12 -08:00
Weijia Wang
9627659c22
Merge branch 'master' into staging-next
2023-11-04 17:27:09 +01:00
R. Ryantm
c526304148
uhdm: 1.76 -> 1.77
2023-11-04 09:08:43 -07:00
github-actions[bot]
29efc257c0
Merge master into staging-next
2023-11-02 18:01:07 +00:00
Pablo Ovelleiro Corral
5c90581563
coq: fix hompage url
...
Just a trivial nitpick
2023-11-02 15:26:30 +01:00
github-actions[bot]
2fd5f8dd7a
Merge master into staging-next
2023-10-31 12:01:11 +00:00
Mario Rodas
39042adae3
lean4: 4.1.0 -> 4.2.0
...
Diff: https://github.com/leanprover/lean4/compare/v4.1.0...v4.2.0
Changelog: https://github.com/leanprover/lean4/blob/v4.2.0/RELEASES.md
2023-10-30 04:20:00 +00:00
Randy Eckenrode
0194cd67af
aiger: fix build with clang 16
...
Add missing header to resolve implicit decalaration of `isatty`.
2023-10-27 08:58:05 -04:00
Vladimír Čunát
d811555465
Merge branch 'staging' into staging-next
2023-10-26 10:36:50 +02:00
R. Ryantm
1d182037be
cryptominisat: 5.11.14 -> 5.11.15
2023-10-25 06:22:19 +00:00
Vincent Laporte
ee0d269562
proverif: 2.04 → 2.05
2023-10-23 12:07:37 +02:00
github-actions[bot]
024144542b
Merge staging-next into staging
2023-10-19 18:01:22 +00:00
R. Ryantm
db6910471f
alt-ergo: 2.5.1 -> 2.5.2
2023-10-19 06:27:42 +00:00
Artturi
5a1cc0e11d
Merge pull request #258431 from pbsds/stabilize-patches
2023-10-19 03:02:46 +03:00
Henner Zeller
10e4eb07ad
surelog: 1.73 -> 1.76
2023-10-15 09:30:13 -05:00
Henner Zeller
b2dad8840a
uhdm: 1.74 -> 1.76
2023-10-15 09:30:13 -05:00
Weijia Wang
69926af81f
Merge pull request #260203 from wegank/cryptoverif-bump
...
cryptoverif: 2.05 -> 2.07
2023-10-10 20:27:00 +02:00
R. Ryantm
bd39164038
kissat: 3.1.0 -> 3.1.1
2023-10-10 14:10:55 +00:00
Weijia Wang
2890949ab5
cryptoverif: 2.05 -> 2.07
2023-10-10 14:23:06 +02:00
Ryan Mulligan
98deb47f4f
Merge pull request #260039 from r-ryantm/auto-update/cadical
...
cadical: 1.5.3 -> 1.8.0
2023-10-10 04:18:42 -07:00
Guillaume Maudoux
07215db4cb
Merge pull request #259398 from whonore/update-dafny-4.3.0
2023-10-09 21:19:33 +02:00
R. Ryantm
f61509d8f3
cadical: 1.5.3 -> 1.8.0
2023-10-09 18:01:10 +00:00
Peder Bergebakken Sundt
7cc9e7c28e
vampire: make patch urls reproducible
2023-10-09 15:10:48 +02:00
Luflosi
ec38bafb02
abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13
2023-10-07 11:52:04 -05:00