nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-04 11:15:12 +00:00
Code Issues Packages Projects Releases Wiki Activity
632,861 Commits 187 Branches 125 Tags 5.7 GiB
51cf5b747f
Commit Graph

1897 Commits

Author SHA1 Message Date
Weijia Wang
ca3449710c
Merge pull request #254485 from r-ryantm/auto-update/cvc5 
cvc5: 1.0.7 -> 1.0.8
 2023-09-22 11:14:06 +02:00
github-actions[bot]
4c610adf95
Merge master into staging-next 2023-09-21 12:01:19 +00:00
Vincent Laporte
2abfae9e9b coq: 8.17.1 -> 8.18.0 2023-09-21 11:02:55 +02:00
R. Ryantm
89081e1fdf uhdm: 1.73 -> 1.74 2023-09-20 04:08:31 +00:00
Alyssa Ross
4a027948f9
Merge remote-tracking branch 'origin/staging-next' into staging 
Conflicts:
	pkgs/applications/radio/soapysdr/default.nix
 2023-09-14 11:31:01 +00:00
figsoda
50d5d15896 egglog: unstable-2023-08-29 -> unstable-2023-09-12 
Diff: c83fc75087...4d67f262a6
 2023-09-13 11:32:01 -04:00
Yorick
e4c9667019
Merge pull request #254490 from Vtec234/master 
drat-trim: 2020-06-05 -> 2023-05-22
 2023-09-13 15:53:03 +02:00
R. Ryantm
1dd61a3ea5 cbmc: 5.90.0 -> 5.91.0 2023-09-13 00:11:49 +00:00
Wojciech Nawrocki
8c55974f89
Update pkgs/applications/science/logic/drat-trim/default.nix 
Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
 2023-09-12 14:52:16 -04:00
Wojciech Nawrocki
cf7bdf9486
drat-trim: 2020-06-05 -> 2023-05-22 2023-09-12 12:00:38 -04:00
github-actions[bot]
8481e5d2d3
Merge staging-next into staging 2023-09-12 00:02:17 +00:00
Nick Cao
ae7df79dfb
Merge pull request #254499 from marsam/update-elan 
elan: 2.0.1 -> 3.0.0
 2023-09-11 10:16:16 -04:00
R. Ryantm
5165646399 cvc5: 1.0.7 -> 1.0.8 2023-09-11 02:43:36 +00:00
Mario Rodas
1a5ae14bcb elan: 2.0.1 -> 3.0.0 
Diff: https://github.com/leanprover/elan/compare/v2.0.1...v3.0.0

Changelog: https://github.com/leanprover/elan/blob/v3.0.0/CHANGELOG.md
 2023-09-10 04:20:00 +00:00
github-actions[bot]
6fcb9c7bfa
Merge staging-next into staging 2023-09-10 00:03:30 +00:00
Peder Bergebakken Sundt
584efdc931 netlistsvg: update meta.homepage 2023-09-09 22:53:54 +02:00
github-actions[bot]
21efb9220e
Merge staging-next into staging 2023-09-09 00:02:37 +00:00
Peder Bergebakken Sundt
c49f338aeb netlistsvg: init at 1.0.2 2023-09-08 19:23:43 +00:00
Sandro Jäckel
fccf04b620 treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType 2023-09-08 14:18:26 +00:00
Weijia Wang
71bdfb80b1
Merge pull request #252203 from r-ryantm/auto-update/workcraft 
workcraft: 3.4.0 -> 3.4.1
 2023-09-06 20:49:49 +02:00
R. Ryantm
086fe9c93c kissat: 3.0.0 -> 3.1.0 2023-09-05 05:29:29 +00:00
Henner Zeller
7d1ddd1dfb surelog: 1.57 -> 1.73 
Also, use the finalAttrs pattern for easier overrides.
Explicitly mention that we don't fetch submodules to emphasize that
all vendored dependencies are replaced with nix dependencies.
 2023-09-04 09:03:32 -05:00
Henner Zeller
ad71d3105c uhdm: 1.57 -> 1.73 
Also, use the finalAttrs pattern for easier overrides.
Explicitly mention that we don't fetch submodules to emphasize that
all vendored dependencies are replaced with nix dependencies.
 2023-09-04 09:03:32 -05:00
Vincent Laporte
02643fe422 coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Vincent Laporte
62441cb5da cvc5: 1.0.6 → 1.0.7 2023-09-04 08:32:07 +02:00
figsoda
e90c4d8d01 egglog: unstable-2023-08-23 -> unstable-2023-08-29 
Diff: 9e53038196...c83fc75087
 2023-09-01 16:33:25 -04:00
Austin Seipp
118a61fadd tamarin-prover: 1.6.1 -> 1.8.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2023-08-31 10:57:38 -05:00
R. Ryantm
6a6f2b535c workcraft: 3.4.0 -> 3.4.1 2023-08-29 19:57:19 +00:00
github-actions[bot]
3503eea847
Merge master into staging-next 2023-08-26 18:00:55 +00:00
figsoda
b424933ae6 egglog: unstable-2023-08-19 -> unstable-2023-08-23 
Diff: a4768b1751...9e53038196
 2023-08-26 12:00:55 -04:00
github-actions[bot]
d4c8d05cac
Merge master into staging-next 2023-08-25 00:01:49 +00:00
R. Ryantm
fcf9eb1b51 cryptominisat: 5.11.11 -> 5.11.12 2023-08-24 17:19:43 +00:00
github-actions[bot]
11e56ed9bb
Merge master into staging-next 2023-08-23 12:01:03 +00:00
R. Ryantm
58a4a997db cbmc: 5.89.0 -> 5.90.0 2023-08-23 00:42:48 +00:00
github-actions[bot]
6eac46a06d
Merge staging-next into staging 2023-08-21 06:01:22 +00:00
figsoda
9fece688bc egglog: unstable-2023-08-09 -> unstable-2023-08-19 
Diff: de31786679...a4768b1751
 2023-08-20 15:59:22 -04:00
Theodore Ni
ece0953571
Merge branch 'staging-next' into staging 2023-08-18 16:02:27 -07:00
Vincent Laporte
ae68d70536
cvc5: 1.0.5 → 1.0.6 2023-08-16 21:33:07 +02:00
Pol Dellaiera
3eb7f7a63b
Merge pull request #248683 from oxij/tree/source-root-continues-3 
treewide: cleanup `sourceRoot` and `setSourceRoot` usage
 2023-08-15 05:53:52 +02:00
Weijia Wang
5075896acb
Merge pull request #247626 from r-ryantm/auto-update/fast-downward 
fast-downward: 22.12.0 -> 23.06.0
 2023-08-13 13:49:08 +02:00
Jan Malakhovski
d098c821d6 treewide: remove unneeded dots and slashes in sourceRoots 2023-08-12 08:29:56 +00:00
Nick Cao
39f729e827
Merge pull request #248258 from r-ryantm/auto-update/cbmc 
cbmc: 5.88.1 -> 5.89.0
 2023-08-10 19:30:18 -06:00
R. Ryantm
7dbd412737 cbmc: 5.88.1 -> 5.89.0 2023-08-10 02:27:01 +00:00
figsoda
a69648b581 egglog: unstable-2023-07-19 -> unstable-2023-08-09 
Diff: 9fe03ad35a...de31786679
 2023-08-09 16:46:12 -04:00
R. Ryantm
06fadebc20 libpoly: 0.1.11 -> 0.1.13 2023-08-07 04:40:37 +00:00
R. Ryantm
2f9afe24c3 fast-downward: 22.12.0 -> 23.06.0 2023-08-07 01:43:33 +00:00
Weijia Wang
70f066f77f
Merge pull request #247155 from wegank/beluga-hash 
beluga: fix hash
 2023-08-04 22:10:47 +02:00
Weijia Wang
d4e52e4564 beluga: fix hash 2023-08-04 19:48:22 +02:00
Vincent Laporte
14651559b5 hol_light: 2019-10-06 → 2023-07-21 2023-08-04 18:15:31 +02:00
Jan Malakhovski
5852f26bdc treewide: noop: refer to src.name or similar in sourceRoot where appropriate, part 1: trivial cases 2023-08-03 16:32:03 +00:00
Ben Darwin
93a35301f1 beluga: 1.0 -> 1.1 2023-08-02 13:20:41 -04:00
Jiajie Chen
b96dbd032c cbmc: 5.87.0 -> 5.88.1 2023-08-01 23:52:10 +08:00
whonore
eb15838bdb dafny: 4.0.0 -> 4.2.0 2023-07-28 17:11:46 -04:00
R. Ryantm
2dd3cda40f elan: 2.0.0 -> 2.0.1 2023-07-27 04:51:49 +00:00
Nick Cao
f00fb876ad
Merge pull request #245556 from figsoda/egglog 
egglog: unstable-2023-07-11 -> unstable-2023-07-19
 2023-07-26 17:50:11 -06:00
Sandro
d0202aa545
Merge pull request #244292 from Luflosi/update/yosys 
yosys: 0.30 -> 0.31
 2023-07-27 00:35:20 +02:00
figsoda
3db4ace604 egglog: unstable-2023-07-11 -> unstable-2023-07-19 
Diff: 14a6fc6060...9fe03ad35a
 2023-07-26 12:09:56 -04:00
Felix Bühler
0a2745684e
Merge pull request #239624 from Stunkymonkey/use-optionalString-then 
treewide: use optionalString instead of 'then ""'
 2023-07-22 13:02:47 +02:00
R. Ryantm
baf2e9b036 opensmt: 2.5.1 -> 2.5.2 2023-07-19 04:02:07 +00:00
Luflosi
f6cd7355c5
abc-verifier: unstable-2023-02-23 -> unstable-2023-06-28 2023-07-18 21:37:31 +02:00
figsoda
f6793ae4af egglog: unstable-2023-06-26 -> unstable-2023-07-11 
Diff: 187441ad0d...14a6fc6060
 2023-07-14 11:37:35 -04:00
Weijia Wang
46ed1e3a8c
Merge pull request #242794 from r-ryantm/auto-update/elan 
elan: 1.4.6 -> 2.0.0
 2023-07-11 22:22:35 +03:00
R. Ryantm
fc8230b13a elan: 1.4.6 -> 2.0.0 2023-07-11 09:02:20 +00:00
R. Ryantm
68c5d276f1 cbmc: 5.86.0 -> 5.87.0 2023-07-11 05:28:30 +00:00
Janik
58da584acf
Merge pull request #185499 from mgregson/tlaplus-1.8.0 2023-07-10 10:30:58 +02:00
figsoda
8e1aab5d34 egglog: unstable-2023-06-11 -> unstable-2023-06-26 
Diff: c7ef8b000c...187441ad0d
 2023-07-04 11:57:03 -04:00
Nick Cao
8feaa9fe93
Merge pull request #241120 from jiegec/cbmc 
cbmc: 5.76.1 -> 5.86.0
 2023-07-03 13:58:03 +08:00
figsoda
50acc2d57a pkgs/applications: replace "${version}" with version 2023-07-02 14:39:50 -04:00
Jiajie Chen
2db283819e cbmc: 5.76.1 -> 5.86.0 2023-07-02 22:46:06 +08:00
Michael Gregson
9269d5823d tlaplus18: init at 1.8.0 
This is a pre-release of version 1.8 of TLA+. It adds, among other
things, a TLA+ REPL.

Release Notes: https://github.com/tlaplus/tlaplus/releases/tag/v1.8.0
 2023-06-30 16:09:41 -07:00
Vincent Laporte
002ffb885a
coq: 8.17.0 → 8.17.1 2023-06-30 06:48:15 +02:00
R. Ryantm
75b8e7eb4b cryptominisat: 5.11.4 -> 5.11.11 2023-06-28 02:05:20 +00:00
Janik
77e5ce731b
Merge pull request #238964 from McSinyx/klee-3 2023-06-27 09:38:09 +02:00
Janik
a2f36b2963
Merge pull request #231149 from mgregson/tlaplus-remove-unnecessary-jdk-dependency 2023-06-26 18:15:28 +02:00
Mario Rodas
e0e4c97cd1
Merge pull request #239623 from marsam/update-z3 
z3: 4.11.0 -> 4.11.2, 4.12.1 -> 4.12.2
 2023-06-26 05:16:37 -05:00
R. Ryantm
aa93209605 elan: 1.4.5 -> 1.4.6 2023-06-25 17:27:10 +00:00
Felix Buehler
f3719756b5 treewide: use optionalString instead of 'then ""' 2023-06-24 20:19:19 +02:00
Mario Rodas
b2aee9c18e
Merge pull request #230298 from jleightcap/jl/z3-4.12 
z3: 4.12.1
 2023-06-24 10:53:02 -05:00
Mario Rodas
cce7280539 z3_4_12: 4.12.1 -> 4.12.2 
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.2
 2023-06-24 04:20:00 +00:00
Mario Rodas
f87301f5f1 z3_4_11: 4.11.0 -> 4.11.2 
https://github.com/Z3Prover/z3/releases/tag/z3-4.11.2
 2023-06-24 04:20:00 +00:00
Mario Rodas
2c0a8e5050 z3: add changelog to meta 2023-06-24 04:20:00 +00:00
Nguyễn Gia Phong
558af1d8a5
klee: 2.3 -> 3.0 2023-06-21 18:16:44 +09:00
figsoda
70f33f2777 egglog: unstable-2023-05-22 -> unstable-2023-06-11 
Diff: 5242b50051...c7ef8b000c
 2023-06-17 17:33:00 -04:00
Théo Zimmermann
2bdeec6f84 coq: use dune_3 
This is needed to build Coq dev and is compatible with all current releases of Coq that require Dune.
 2023-06-14 14:33:36 +02:00
toastal
8201afb77f ocamlPackages.mtime: create 1.x fork for compat 
Slapped mtime_1 affected ocamlPackages
 2023-06-13 13:14:38 +07:00
figsoda
1f3b4712f5 egglog: init at unstable-2023-05-22 
https://github.com/egraphs-good/egglog
 2023-06-03 14:11:55 -04:00
Mario Rodas
e320ebd86c lean4: init at 4.0.0 2023-06-02 04:20:00 +00:00
Vincent Laporte
3b666b41c3 alt-ergo: 2.4.2 → 2.4.3 2023-05-31 06:06:49 +02:00
Robert Scott
2c9bea0eaa sharpsat-td: patch with updated version of mpreal/mpfrc++ 
this version is needed for mpfr 4.2.0+ support

lesson - don't merge old PRs without re-testing them yourself
 2023-05-27 20:49:34 +01:00
Robert Scott
cfbb8e82c6
Merge pull request #178159 from risicle/ris-sharpsat-td 
sharpsat-td: init at unstable-2021-09-05
 2023-05-27 15:47:31 +01:00
R. Ryantm
b954ef286d opensmt: 2.5.0 -> 2.5.1 2023-05-26 22:27:08 +00:00
kilianar
41f1482be7 lean: 3.50.3 -> 3.51.0 
https://github.com/leanprover-community/lean/releases/tag/v3.51.0
 2023-05-22 18:10:56 +02:00
Weijia Wang
55e5de416f isabelle-components.isabelle-linter: add platforms 2023-05-17 23:01:48 +03:00
Andreas Vollert
44110aeb11 isabelle-linter: unstable-2022-09-05 -> 1.2.1 2023-05-17 17:42:07 +02:00
Guillaume Maudoux
33399c9de8
Merge pull request #229008 from whonore/dafny-4 
dafny: 2.3.0 -> 4.0.0
 2023-05-17 09:53:06 +02:00
sternenseemann
dd6a74bdbe tamarin-prover: allow maude 3.1.1 
See https://github.com/tamarin-prover/tamarin-prover/pull/544.

Added tamarin-prover to passthru.tests of maude to prevent future
regressions of this kind.
 2023-05-10 16:30:39 +02:00
Michael Gregson
886fa6e8af add myself to the maintainers list 
This is my second patch to the tlaplus package and I agreed to add
myself as a maintainer on my next contribution.
 2023-05-10 01:30:45 -05:00
Michael Gregson
be76fb11c9 tlaplus: remove jdk dependency 
As of b5d3526, this package fetches a pre-compiled TLA+ distribution
instead of compiling from source.
 2023-05-10 01:19:15 -05:00
Jack Leightcap
48ac8a3bac
z3: 4.12.1 
https://github.com/Z3Prover/z3/releases/tag/z3-4.12.1

declare most recent minor version.

Signed-off-by: Jack Leightcap <jack.leightcap@trailofbits.com>
 2023-05-06 04:48:46 -04:00
Sandro
93640c56d1
Merge pull request #227420 from GaetanLepage/torchbin-update 
python3Packages.torch-bin: 1.13.1 -> 2.0.0
 2023-05-03 09:58:56 +02:00
R. Ryantm
6300f3bfb2 elan: 1.4.2 -> 1.4.5 2023-04-30 15:35:03 +00:00
whonore
c0c08de5b4 dafny: remove unused deps 2023-04-29 19:13:11 -04:00
whonore
d4f814d956 dafny: move to separate file 2023-04-29 19:11:12 -04:00
Gaetan Lepage
608908ed7a lit: move to python-modules 2023-04-29 13:53:50 +02:00
Henner Zeller
e3032b1d78 surelog: 1.45 -> 1.57 
Also, no vendored dependencies anymore, so we can fetch git
without submodules and use the libraries provided from
nix (flatbuffers, uhdm, gtest, antlr).
 2023-04-26 01:47:32 -05:00
Henner Zeller
d2831ca5da uhdm: 1.45 -> 1.57 
Also no vendored dependencies anymore, capnproto is now directly
used from nix, no third_party/ submodules are needed anymore.
 2023-04-26 01:47:32 -05:00
R. Ryantm
8af51c3628 workcraft: 3.3.9 -> 3.4.0 2023-04-23 00:06:26 +00:00
R. Ryantm
3012b98a08 tlaplus: 1.7.2 -> 1.7.3 2023-04-20 15:51:31 +00:00
Felix Schröter
1843807ba3
sad: remove old, unmaintained package 
The package isn't maintained and hasn't been exposed for a while.
Meanwhile there's been added a new package with the same name.
This change doesn't touch the new package.
 2023-04-20 11:26:01 +02:00
Thomas Tuegel
ccf7156d8d
Merge pull request #217974 from pxrl/pxrl/z3 
z3: 4.8.15 -> 4.8.17
 2023-04-17 10:03:07 -05:00
R. Ryantm
84dbda044f opensmt: 2.4.3 -> 2.5.0 2023-04-11 10:26:10 +00:00
Ellie Hermaszewska
bd54a9047d
tamarin-prover: Allow compiling with maude-3.3 2023-04-05 14:39:55 +08:00
Weijia Wang
626401c783
Merge pull request #220832 from wegank/glucose-bump 
glucose: 4.1 -> 4.2.1
 2023-03-29 09:13:21 +03:00
Ali Caglayan
8fe1ea496b coq: 8.16.1 -> 8.17.0 
Signed-off-by: Ali Caglayan <alizter@gmail.com>
 2023-03-28 08:13:12 +02:00
R. Ryantm
bb270775f2 cvc5: 1.0.4 -> 1.0.5 2023-03-25 01:00:12 +00:00
Luflosi
ddb714f68d
yices: fix typo in comment 2023-03-22 16:08:09 +01:00
Weijia Wang
120a484726
Merge pull request #220001 from wegank/isabelle-arm 
isabelle: add aarch64-linux support
 2023-03-22 16:15:34 +02:00
Vincent Laporte
48774c43cd
acgtk: use Dune 3 2023-03-21 13:05:53 +01:00
Vincent Laporte
e12230e716
why3: 1.5.1 → 1.6.0; ocamlPackages.lambdapi: 2.2.1 → 2.3.1 (#220986) 
why3: 1.5.1 → 1.6.0
ocamlPackages.lambdapi: 2.2.1 → 2.3.1

Co-authored-by: Weijia Wang <9713184+wegank@users.noreply.github.com>
 2023-03-20 20:45:47 +01:00
Weijia Wang
8da8071e37 glucose: 4.1 -> 4.2.1 2023-03-18 22:17:16 +02:00
Weijia Wang
0ddc01c569 glucose: refactor 2023-03-18 19:00:45 +02:00
Bernardo Meurer
6e55733359
Merge pull request #219747 from Stunkymonkey/deprecate-isNull 2023-03-16 11:10:22 -03:00
Weijia Wang
6bade5f7df tamarin-prover: only use glibcLocales on linux 2023-03-14 15:55:12 +02:00
Austin Seipp
787381926a tamarin-prover: set LOCALE_ARCHIVE in wrapper 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2023-03-12 19:06:58 -05:00
Luflosi
e8f1fcd350 abc-verifier: unstable-2023-02-04 -> unstable-2023-02-23 2023-03-12 18:10:19 -05:00
Doron Behar
ba4d56e20e tamarin-prover: install vim-plugin to nvim/site 2023-03-08 12:32:40 +02:00
Weijia Wang
3e5f408e73 isabelle: add aarch64-linux support 2023-03-07 18:20:46 +02:00
Weijia Wang
3d70562dfd leo2: add darwin support 2023-03-07 00:10:09 +02:00
Felix Buehler
d10e69c86b treewide: deprecate isNull 
https://nixos.org/manual/nix/stable/language/builtins.html#builtins-isNull
 2023-03-06 22:40:04 +01:00
Ilan Joselevich
e398da1460
Merge pull request #219606 from wegank/vampire-aarch64 
vampire: unbreak on aarch64-linux
 2023-03-06 22:19:54 +02:00
Weijia Wang
3796e59136 vampire: unbreak on aarch64-linux 2023-03-05 02:21:12 +02:00
Weijia Wang
1148f28242 cubicle: set env instead of postPatch 2023-03-05 01:44:26 +02:00
Alyssa Ross
2bfa93e01c
treewide: python{ => .pythonForBuild}.interpreter 
It won't be enough to fix cross in all cases, but it is in at least
one: pywayland.  I've only made the change in cases I'm confident it's
correct, as it would be wrong to change this when python.interpreter
is used in wrappers, and possibly when it's used for running tests.
 2023-02-26 20:26:17 +00:00
Norbert Melzer
d6f93d07b4
Merge pull request #210627 from wizeman/u/fix-fstar 2023-02-25 22:03:46 +01:00
Jörg Thalheim
a9167d159b
Merge pull request #217989 from kilianar/cryptominisat-5.11.4 
cryptominisat: 5.8.0 -> 5.11.4
 2023-02-24 12:31:35 +01:00
kilianar
8a10153e82 cryptominisat: 5.8.0 -> 5.11.4 
https://github.com/msoos/cryptominisat/releases/tag/5.11.4
 2023-02-24 09:32:00 +01:00
Paul
0351445e24 z3: 4.8.15 -> 4.8.17 
The motivation for bumping to 4.8.17 is to permit the latest version of
solc to be built with z3.
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.17
 2023-02-24 07:01:31 +01:00
Bernardo Meurer
42008a14a4
Merge pull request #217206 from Artturin/stdenvimprovements1 2023-02-23 12:07:47 +00:00
Nick Cao
12f94adb89
Merge pull request #217702 from Luflosi/update/yosys 
yosys: 0.25 -> 0.26
 2023-02-23 10:50:23 +08:00
Artturin
3251013cc1 treewide: env.NIX_CFLAGS_COMPILE use toString on result of optionals 
env values must be strings
 2023-02-22 21:23:05 +02:00
Artturin
f9fdf2d402 treewide: move NIX_CFLAGS_COMPILE to the env attrset 
with structuredAttrs lists will be bash arrays which cannot be exported
which will be a issue with some patches and some wrappers like cc-wrapper

this makes it clearer that NIX_CFLAGS_COMPILE must be a string as lists
in env cause a eval failure
 2023-02-22 21:23:04 +02:00
Artturin
6f6cc4a22d treewide: use toString on list NIX_CFLAGS_COMPILE 
with structuredAttrs lists will be bash arrays which cannot be exported
which will be a issue with some patches and some wrappers like cc-wrapper
 2023-02-22 21:23:04 +02:00
Vincent Laporte
30c3b90903 cvc5: 1.0.3 → 1.0.4 2023-02-22 07:07:13 +01:00
Luflosi
1a4a178f60
abc-verifier: unstable-2022-11-09 -> unstable-2023-02-04 2023-02-22 02:04:23 +01:00
Ferry Jérémie
bfac2d0034 treewide:replace http by https when https is a permanent redirection 2023-02-19 21:47:59 +01:00
Boey Maun Suang
4d85cedf5a cvc4: Fix build failure from new bash 5.2 feature 
Per https://bodhi.fedoraproject.org/updates/FEDORA-2022-dc47174c36:

    This update fixes a failure to build with source with bash 5.2.
    Bash's `patsub_replacement` feature makes ampersand a special
    character when doing variable substitution, which was not previously
    the case. This update instructs bash to turn off the new behavior.

We exclude the unrelated change in that Fedora update (i.e. using Python
3.11's `tomllib` instead of the PyPI `toml` package) since:

    - we package cvc4 with Python versions earlier than 3.11; and
    - since cvc4 is no longer being updated, sticking with the PyPI
      `toml` package causes no extra work in the future.
 2023-02-18 14:07:28 -06:00
Felix Buehler
cdb39a86e0 treewide: use optionalString 2023-02-13 21:52:34 +01:00
Ricardo M. Correia
113cdbd29d fstar: use proper z3 version and build .checked files 2023-02-07 14:47:17 +00:00
github-actions[bot]
b30088fc3f
Merge master into staging-next 2023-02-07 00:02:12 +00:00
Thomas Gerbet
73599b389c coq: remove undefined attribute ocamlPropagatedNativeBuildInputs in passthru 2023-02-06 17:59:25 +01:00
github-actions[bot]
b2a1140ada
Merge master into staging-next 2023-02-06 06:01:25 +00:00
Vladimír Čunát
555f300879
treewide: another round of gcc12 fixups 2023-02-05 15:29:43 +01:00
R. Ryantm
eed37a8427 cbmc: 5.74.0 -> 5.76.1 2023-02-05 13:53:55 +00:00
Vladimír Čunát
d0d8c15bad
Merge branch 'master' into staging-next 
pkgs/development/web/nodejs/v18.nix conflict:
  the fetched patch was already included in this release.
 2023-02-03 23:02:19 +01:00
Ulrik Strid
376e9ceead treewide: add strictDeps = true to most packages depending on ocaml 2023-02-03 08:59:34 +01:00
Ulrik Strid
c53a63adf1 ocamlPackages treewide: strictDeps all packages 2023-02-03 08:59:34 +01:00
Vladimír Čunát
9287f4461d
Merge #206907: stdenv: gcc11 -> gcc12 2023-02-01 16:54:44 +01:00
Vincent Laporte
ffe1ba8985
alt-ergo: fix src URL 2023-01-30 10:00:41 +01:00
Fabián Heredia Montiel
0cf5d85f0c treewide: add gcc12 flags 2023-01-27 21:20:52 -06:00
Vincent Laporte
af3f74b2d9
ott: 0.32 → 0.33 2023-01-24 07:31:58 +01:00
Weijia Wang
ec19e85cec
Merge pull request #206494 from r-ryantm/auto-update/fast-downward 
fast-downward: 22.06.1 -> 22.12.0
 2023-01-23 14:14:29 +01:00
Weijia Wang
a3568776ef
Merge pull request #194260 from r-ryantm/auto-update/logisim-evolution 
logisim-evolution: 3.7.2 -> 3.8.0
 2023-01-22 22:50:18 +01:00
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