R. Ryantm
|
09bed085c3
|
clingo: 5.5.2 -> 5.6.0
|
2022-09-12 11:37:36 +00: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 |
|
github-actions[bot]
|
b1e76b5db1
|
Merge master into staging-next
|
2022-06-27 00:02:25 +00:00 |
|
Ivv
|
f3b81e3229
|
Merge pull request #178481 from siraben/formula-update
formula: update, add update script and unbreak darwin
|
2022-06-26 21:10:36 +02:00 |
|
github-actions[bot]
|
5b9ee17283
|
Merge master into staging-next
|
2022-06-24 00:02:29 +00:00 |
|
Rick van Schijndel
|
c100196b08
|
Merge pull request #176823 from risicle/ris-native-source-provenance-applications
treewide/applications: add `sourceType` `binaryNativeCode` for many packages
|
2022-06-23 20:55:09 +02:00 |
|