Weijia Wang
40f9f30edf
Merge pull request #292724 from r-ryantm/auto-update/cvc5
...
cvc5: 1.1.1 -> 1.1.2
2024-03-08 08:48:25 +01:00
Weijia Wang
dba4cc979f
Merge pull request #287372 from r-ryantm/auto-update/cryptominisat
...
cryptominisat: 5.11.15 -> 5.11.21
2024-03-07 15:23:07 +01:00
Mario Rodas
66e4e61595
elan: revert temporary directory creation
2024-03-07 04:20:00 +00:00
R. Ryantm
08a8c74c4b
opensmt: 2.5.2 -> 2.6.0
2024-03-07 01:36:53 +00:00
Weijia Wang
d83c961db0
Merge pull request #289177 from r-ryantm/auto-update/clingcon
...
clingcon: 5.2.0 -> 5.2.1
2024-03-06 23:48:05 +01:00
R. Ryantm
9bb1834bfa
cadical: 1.9.4 -> 1.9.5
2024-03-06 15:23:48 +00:00
Mario Rodas
4ca2b298cc
lean4: 4.6.0 -> 4.6.1
...
Diff: https://github.com/leanprover/lean4/compare/v4.6.0...v4.6.1
Changelog: https://github.com/leanprover/lean4/blob/v4.6.1/RELEASES.md
2024-03-04 04:20:00 +00:00
R. Ryantm
b4acd43269
cvc5: 1.1.1 -> 1.1.2
2024-03-02 04:58:08 +00:00
Mario Rodas
468b7bae7f
lean4: 4.5.0 -> 4.6.0
...
Diff: https://github.com/leanprover/lean4/compare/v4.5.0...v4.6.0
Changelog: https://github.com/leanprover/lean4/blob/v4.6.0/RELEASES.md
2024-02-28 04:20:00 +00:00
github-actions[bot]
d08f9b5833
Merge master into staging-next
2024-02-23 12:01:18 +00:00
Simon Hollingshead
f0b157a764
boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.
...
https://github.com/Boolector/boolector/compare/3.2.2...3.2.3
cc13f371c0
2024-02-22 19:48:14 +00:00
Mario Rodas
e4de5ceffd
elan: 3.1.0 -> 3.1.1
...
Diff: https://github.com/leanprover/elan/compare/v3.1.0...v3.1.1
Changelog: https://github.com/leanprover/elan/blob/v3.1.1/CHANGELOG.md
2024-02-22 04:20:00 +00:00
Mario Rodas
e27d391266
Merge pull request #289941 from marsam/update-elan
...
elan: 3.0.0 -> 3.1.0
2024-02-19 09:25:45 -05:00
R. Ryantm
acb4c80843
clingo: 5.7.0 -> 5.7.1
2024-02-19 09:11:09 +00:00
Mario Rodas
41dd647a85
elan: 3.0.0 -> 3.1.0
...
Diff: https://github.com/leanprover/elan/compare/v3.0.0...v3.1.0
Changelog: https://github.com/leanprover/elan/blob/v3.1.0/CHANGELOG.md
2024-02-19 04:20:00 +00:00
R. Ryantm
ac0579e7c9
clingo: 5.6.2 -> 5.7.0
2024-02-16 01:36:49 +00:00
R. Ryantm
e9db8c4c77
clingcon: 5.2.0 -> 5.2.1
2024-02-16 01:36:32 +00:00
Pol Dellaiera
a53894b556
Merge pull request #288470 from McSinyx/stp-u8
...
stp: fix build failure
2024-02-15 23:07:44 +01:00
Mario Rodas
46a93d0751
Merge pull request #287601 from trofi/stp-gcc-13-fix
...
stp: fix the build against `gcc-13`
2024-02-14 20:17:23 -05:00
Nguyễn Gia Phong
b63babd55d
stp: fix build failure
2024-02-13 16:41:23 +09:00
Vincent Laporte
8601deaed1
cryptoverif: 2.07 → 2.08pl1
2024-02-13 06:23:27 +01:00
Mario Rodas
f9d39fb9af
Merge pull request #287604 from trofi/lean3-mark-broken
...
lean3: fix gcc-13 build failure
2024-02-11 17:04:38 -05:00
Sergei Trofimovich
016be1d8b3
lean3: fix gcc-13 build failure)
...
Without the change the build fails on `master` as https://hydra.nixos.org/build/247665202 :
/build/source/src/shell/lean_js.h:11:32: error: 'uintptr_t' was not declared in this scope
11 | int emscripten_process_request(uintptr_t msg);
| ^~~~~~~~~
2024-02-11 19:47:22 +00:00
Sergei Trofimovich
d952b5884c
mcrl2: 202206 -> 202307
...
Among other things fixes `gcc-13` build fix as
https://hydra.nixos.org/build/247554470 :
In file included from /build/mcrl2-202206.1/libraries/utilities/source/bitstream.cpp:10:
/build/mcrl2-202206.1/libraries/utilities/include/mcrl2/utilities/bitstream.h:56:25: error: 'uint8_t' in namespace 'std' does not name a type; did you mean 'wint_t'?
56 | void write(const std::uint8_t* buffer, std::size_t size);
| ^~~~~~~
| wint_t
2024-02-10 10:14:43 +00:00
Sergei Trofimovich
b531de72bf
stp: fix the build against gcc-13
...
Without the change the build fails on `master` as
https://hydra.nixos.org/build/247636021 :
/build/source/include/stp/AST/ASTNode.h:77:3: error: 'uint8_t' does not name a type
77 | uint8_t getIteration() const;
| ^~~~~~~
2024-02-09 22:43:16 +00:00
R. Ryantm
cc15000690
cryptominisat: 5.11.15 -> 5.11.21
2024-02-09 04:52:13 +00:00
Weijia Wang
612a107ae5
Merge pull request #284008 from r-ryantm/auto-update/workcraft
...
workcraft: 3.4.1 -> 3.4.2
2024-02-04 20:35:45 +01:00
Ben Darwin
d6d8fd86dd
abella: update url, refactor to finalAttrs style
2024-02-03 14:58:27 -05:00
Mario Rodas
3ada8a22ba
Merge pull request #285422 from marsam/update-lean4
...
lean4: 4.4.0 -> 4.5.0
2024-02-01 05:39:59 -05:00
Mario Rodas
dbf625d8d7
Merge pull request #284969 from marsam/update-z3_4_12
...
z3_4_12: 4.12.4 -> 4.12.5
2024-01-31 23:50:04 -05:00
Mario Rodas
2c6116bd1c
lean4: add version tester
2024-02-01 04:20:00 +00:00
Mario Rodas
6a068abcfc
lean4: 4.4.0 -> 4.5.0
...
Diff: https://github.com/leanprover/lean4/compare/v4.4.0...v4.5.0
Changelog: https://github.com/leanprover/lean4/blob/v4.5.0/RELEASES.md
2024-02-01 04:20:00 +00:00
figsoda
6446f962a1
Merge pull request #283906 from ConnorBaker/feat/egglog-unstable-2024-01-26
...
egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26
2024-01-30 10:01:53 -05:00
Nick Cao
1d852c8b67
Merge pull request #284834 from wegank/btor2tools-gcc-13
...
btor2tools: fix build with gcc 13
2024-01-30 09:04:32 -05:00
R. Ryantm
222c1940fa
cvc5: 1.1.0 -> 1.1.1
2024-01-30 05:45:19 +01:00
Mario Rodas
4fadc26e4a
z3_4_12: 4.12.4 -> 4.12.5
...
Diff: https://github.com/Z3Prover/z3/compare/z3-4.12.4...z3-4.12.5
Changelog: https://github.com/Z3Prover/z3/releases/tag/z3-4.12.5
2024-01-30 04:20:00 +00:00
Weijia Wang
b03c6a4e9a
btor2tools: fix build with gcc 13
2024-01-29 21:35:06 +01:00
Vincent Laporte
d0cdb657c2
why3: move the OCaml library to its own dev output
2024-01-29 09:40:12 +01:00
Vincent Laporte
e997629cea
why3: make it easy to disable IDE support
...
easycrypt: use why3 without IDE support
2024-01-29 09:40:12 +01:00
Vincent Laporte
c4f01b3b73
why3: 1.7.0 → 1.7.1
2024-01-29 09:40:12 +01:00
Connor Baker
a04f9a5e9e
egglog: unstable-2023-09-12 -> 0-unstable-2024-01-26
2024-01-26 22:47:43 -05:00
Pierre Roux
4ce414bbe4
coq: 8.19+rc1 -> 8.19.0
2024-01-26 19:35:30 +01:00
R. Ryantm
a68fcf325d
workcraft: 3.4.1 -> 3.4.2
2024-01-26 12:41:46 +00:00
R. Ryantm
ba3295cbef
easycrypt: 2023.09 -> 2024.01
2024-01-18 08:47:12 +01:00
Vincent Laporte
5223d1f86a
msat: init at 0.9.1
2024-01-16 06:48:51 +01:00
R. Ryantm
92b06884df
cadical: 1.9.3 -> 1.9.4
2024-01-12 07:01:53 +00:00
Vincent Laporte
2225c6a883
iprover: 3.1 → 3.8.1
2024-01-10 06:33:50 +01:00
Weijia Wang
ac32817df9
Merge pull request #277227 from r-ryantm/auto-update/cvc5
...
cvc5: 1.0.9 -> 1.1.0
2024-01-03 19:34:52 +01:00
Lucas Van Laer
696735c9d2
z3_4_12: 4.12.2 -> 4.12.4
2023-12-31 14:12:54 +01:00
R. Ryantm
feadff003e
cvc5: 1.0.9 -> 1.1.0
2023-12-28 02:05:44 +00:00
