Weijia Wang
218c4c526e
Merge pull request #212002 from mothsART/feature/replace_http_by_https
...
treewide: replace http by https when https is a permanent redirection
2023-01-22 03:26:02 +01:00
Ferry Jérémie
65d7e87fdb
treewide: replace http by https when https is a permanent redirection
2023-01-22 02:46:49 +01:00
Weijia Wang
c5460eb4de
Merge pull request #210884 from vbgl/beluga-dune-3
...
Use dune 3 for a few OCaml tools
2023-01-22 02:22:57 +01:00
Guillaume Girol
33afbf39f6
treewide: switch to nativeCheckInputs
...
checkInputs used to be added to nativeBuildInputs. Now we have
nativeCheckInputs to do that instead. Doing this treewide change allows
to keep hashes identical to before the introduction of
nativeCheckInputs.
2023-01-21 12:00:00 +00:00
Vincent Laporte
911525afce
anders: use Dune 3
2023-01-15 12:13:06 +01:00
Vincent Laporte
18c2d73cc7
beluga: use Dune 3
2023-01-15 12:13:00 +01:00
Aaron Jheng
3452c10bb4
z3_4_4_0: remove, z3_4_7: remove
2023-01-13 03:44:17 +00:00
7c6f434c
a3e5e2db7e
Merge pull request #209926 from wegank/satallax-darwin
...
satallax: add darwin support
2023-01-10 23:10:18 +00:00
Bobby Rong
1b4ed2c960
Merge pull request #205274 from r-ryantm/auto-update/cbmc
...
cbmc: 5.71.0 -> 5.74.0
2023-01-10 22:56:19 +08:00
Bobby Rong
60164ab87b
cbmc: mark as broken on aarch64-linux
...
Upstream issue has no respond for a month and ofborg keeps reporting this failure.
2023-01-10 22:29:53 +08:00
Artturi
27c1ec2ecf
Merge pull request #209816 from Artturin/deprecate-top-level-platform-aliases
2023-01-09 22:15:50 +02:00
Artturin
2eeb34c273
treewide: {build,host,target}Platform -> stdenv.{build,host,target}Platform
2023-01-09 21:13:22 +02:00
Weijia Wang
6c70d9252a
satallax: add darwin support
2023-01-09 20:10:30 +01:00
Weijia Wang
1f4c190aff
cubicle: 1.1.2 -> 1.2.0
2023-01-09 16:52:18 +01:00
R. Ryantm
9aa633ca8c
cbmc: 5.71.0 -> 5.74.0
2023-01-08 09:52:35 +00:00
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
470662f51b
fast-downward: 22.06.1 -> 22.12.0
2022-12-17 07:45:23 +00: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
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
Matt Huszagh
16f8a4b3e7
uhdm: add patch to fix darwin build
2022-10-03 11:35:48 -07:00
R. Ryantm
881895aae2
logisim-evolution: 3.7.2 -> 3.8.0
2022-10-03 17:42:45 +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
Matt Huszagh
49d8092132
uhdm: update to 0.9.1.40
2022-09-27 18:07:13 -07:00
Matt Huszagh
3db955db91
surelog: update to 1.40
2022-09-27 18:05:51 -07: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
Matt Huszagh
a3b780cf97
surelog: update to 1.37
2022-09-21 05:20:32 -07:00
Matt Huszagh
30eca8eb68
uhdm: use tag for version
2022-09-21 05:20:29 -07: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
