Pierre Roux
cc1d830b2a
coq_8_17: init at 8.17+rc1 ( #209145 )
2023-01-06 15:51:50 +01:00
Mauricio Collares
2082422786
Merge pull request #206238 from collares/lean-3.50.0
...
lean: 3.49.0 -> 3.50.3
2022-12-31 13:55:52 -03:00
R. Ryantm
c45eae4334
workcraft: 3.3.8 -> 3.3.9
2022-12-30 23:45:14 +08:00
Artturin
685bf1f690
coqPackages.coq: fix typo
...
introduced in d1136611
2022-12-27 20:44:32 +02:00
Mauricio Collares
a8fa345c5e
lean: 3.50.2 -> 3.50.3
2022-12-26 19:05:40 -03:00
Mauricio Collares
72ea4253a1
lean: 3.50.1 -> 3.50.2
2022-12-26 19:03:40 -03:00
Dennis Gosnell
ac92ac9908
petrinizer: mark as broken because sbv no longer builds
2022-12-24 16:05:31 +09:00
Mauricio Collares
689ff65cde
lean: 3.50.0 -> 3.50.1
2022-12-22 13:07:21 -03:00
David McFarland
13861970f4
treewide: update all dotnet lockfiles
2022-12-19 15:36:25 -04:00
Valentin Gagarin
f782da699e
Merge pull request #206646 from figsoda/typos
2022-12-18 18:27:57 +01:00
figsoda
ec8cb34358
treewide: fix typos
2022-12-17 19:39:44 -05:00
R. Ryantm
cdc2972120
cvc5: 1.0.2 -> 1.0.3
2022-12-15 20:56:58 +00:00
Mauricio Collares
4e4d962445
lean: 3.49.1 -> 3.50.0
2022-12-15 09:46:06 -03:00
Mauricio Collares
1ea8eab31e
lean: 3.49.0 -> 3.49.1
2022-12-15 09:46:01 -03:00
Sandro
89c4ef4384
Merge pull request #204832 from Luflosi/update/yosys
2022-12-09 10:27:31 +01:00
Sandro
84c17bc98f
Merge pull request #204330 from jvanbruegge/isabelle-fix-components
2022-12-06 20:46:39 +01:00
Jan van Brügge
698c7342b7
isabelle: fix build on MacOS
2022-12-06 18:05:26 +00:00
Luflosi
f48ce9295e
abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09
2022-12-06 18:58:31 +01:00
Vincent Laporte
221b44a071
coq: 8.16.0 → 8.16.1
2022-12-05 09:22:59 +01:00
Nikolay Korotkiy
88ae5d0825
Merge pull request #202805 from r-ryantm/auto-update/cbmc
...
cbmc: 5.70.0 -> 5.71.0
2022-12-03 23:51:24 +04:00
Jan van Brügge
26c369214e
isabelle: use prebuilt z3
...
Isabelle requires this specific version of z3 which is being removed
from nixpkgs due to requiring python2 for its build. We can work around
this by patching the distributed binary
2022-12-03 18:34:13 +00:00
Jan van Brügge
d5299641bb
isabelle: make withComponents function use finalAttrs
...
Before this change
```
(isabelle.overrideAttrs (
/* whatever */
)).withComponents (/* whatever */)
```
would ignore the `overrideAttrs` and use the normal `isabelle`
derivation instead. This commit fixes this
2022-12-03 16:40:53 +00:00
Sandro
e461e83aa7
Merge pull request #191966 from jvanbruegge/isabelle-2022
2022-12-03 00:45:47 +01:00
Vincent Laporte
188b935b6d
alt-ergo: fix version string
2022-12-03 00:00:05 +01:00
Weijia Wang
31dae4a6c0
formula: unbreak on aarch64-linux
2022-11-28 02:56:13 +01:00
Robert Schütz
be1fe08f79
surelog: use latest OpenJDK
...
OpenJDK 11 depends on Python 2.
2022-11-25 20:10:49 -08:00
Weijia Wang
c00ddaf144
aspino: remove patchShebangs
2022-11-25 16:48:27 +01:00
Weijia Wang
fc653e9de0
avy: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
ee09ecaca2
glucose: fix build on aarch64-linux
2022-11-25 16:48:03 +01:00
Weijia Wang
017015a82b
aspino: fix build
2022-11-25 16:48:03 +01:00
R. Ryantm
d9af397634
cbmc: 5.70.0 -> 5.71.0
2022-11-25 08:37:13 +00:00
R. Ryantm
471d8bb07a
opensmt: 2.4.2 -> 2.4.3
2022-11-22 20:15:56 +00:00
sternenseemann
a110f08f12
ocamlPackages.extlib: rename from ocaml_extlib
...
This matches the name used in dune and on OPAM.
2022-11-16 14:30:37 +01:00
Mario Rodas
16df31b2cd
Merge pull request #200755 from collares/lean-3.49.0
...
lean: 3.48.0 -> 3.49.0
2022-11-13 09:04:08 -05:00
Mauricio Collares
c87af38741
lean: 3.48.0 -> 3.49.0
2022-11-11 17:33:01 -03:00
R. Ryantm
139ba95570
cbmc: 5.69.1 -> 5.70.0
2022-11-11 18:08:36 +08:00
7c6f434c
511bbd4c78
Merge pull request #200059 from r-ryantm/auto-update/clingo
...
clingo: 5.6.1 -> 5.6.2
2022-11-10 10:32:04 +00:00
Henner Zeller
50c509ecf3
surelog: 1.40 -> 1.45
...
Update Surelog (going along with uhdm 1.45). Fix flaky tests
to to parallel execution of ctest by patching in a fix that is
already upstream.
Result zero hydra failures #199919
Also: using flatbuffers from nix environment instead of third_party/
Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:27 -08:00
Henner Zeller
568398e338
uhdm: 0.9.1.40 -> 1.45
...
Update UHDM and also fix for Darwin build.
The gtest version used in the project unconditionally uses
/tmp as temporary directory in Darwin and does not honor the
environment variables introduced in gtest 1.12.
Use that gtest version so that it will work in the Hydra
build environment.
Related: #199919 as this is fixing the Darwin build.
Signed-off-by: Henner Zeller <h.zeller@acm.org>
2022-11-08 12:47:14 -08:00
R. Ryantm
f77d334af1
clingo: 5.6.1 -> 5.6.2
2022-11-07 17:55:20 +00:00
amesgen
4a3fc076e4
clingcon: 5.0.0 -> 5.2.0 and fix build
2022-11-07 00:41:21 +01:00
Valentin Gagarin
b02d74fb5e
Merge pull request #173225 from matthuszagh/uhdm
...
Add systemverilog plugin to yosys
2022-11-04 18:37:13 +01:00
Jan van Brügge
fa28ed4858
isabelle-linter: 2021-1 -> 2022-09-05
2022-10-31 20:06:03 +00:00
Jan van Brügge
f6b110fb50
isabelle: 2021-1 -> 2022
2022-10-31 20:06:00 +00:00
Anderson Torres
eb7b3043ff
Merge pull request #195226 from mgttlinger/nusmv
...
nusmv: init at 2.6.0
2022-10-30 16:03:23 -03:00
R. Ryantm
4db4ddf01a
cbmc: 5.69.0 -> 5.69.1
2022-10-29 13:42:50 +00:00
R. Ryantm
52b1e28293
cbmc: 5.68.0 -> 5.69.0
2022-10-28 16:23:12 +08:00
Jan van Brügge
269c1f5e90
naproche: 2022-04-19 -> 2022-10-24
2022-10-26 12:10:09 +01:00
R. Ryantm
1401fdb2d4
opensmt: 2.4.1 -> 2.4.2
2022-10-25 02:23:41 +00:00
Merlin Göttlinger
9310061a5b
nusmv: init at 2.6.0
2022-10-16 18:21:19 +02:00
