nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-12-20 12:43:52 +00:00
Code Issues Packages Projects Releases Wiki Activity
468,528 Commits 180 Branches 125 Tags 7.9 GiB
8fe1ea496b
Commit Graph

1581 Commits

Author SHA1 Message Date
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
Gabriel Ebner
38aa976494 elan: 1.4.1 -> 1.4.2 2022-09-13 11:02:26 +02:00
R. Ryantm
09bed085c3 clingo: 5.5.2 -> 5.6.0 2022-09-12 11:37:36 +00:00
Vincent Laporte
a22abdf7c2 acgtk: 1.5.2 → 1.5.4 2022-09-09 08:53:49 +02: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
Matt Huszagh
83a3076177 surelog: keep pkg in lib/surelog 2022-09-03 06:47:55 -07:00
Matt Huszagh
9ace7642c0 surelog: exclude darwin 2022-09-03 06:38:50 -07:00
Matt Huszagh
b684303d69 surelog: update version 2022-09-03 06:34:46 -07: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
Nguyễn Gia Phong
45af48e472
klee: use the same LLVM version for clang 
Currently they are the same, but llvmPackages_11 is hardcoded
which is awkward to override.
 2022-08-30 15:08:15 +09: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
Matt Huszagh
818b0025e4 surelog: remove pkg from lib output 2022-08-21 16:31:02 -07:00
Matt Huszagh
f2ec2efd26 surelog: move openjdk and python packages to nativebuildinputs 2022-08-21 16:29:19 -07:00
Matt Huszagh
e6364aab98 surelog: add gperftools build input 2022-08-21 16:27:18 -07:00
Matt Huszagh
6626bf243c surelog: run unit tests 2022-08-21 16:25:32 -07: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
github-actions[bot]
4f79f81d47
Merge master into staging-next 2022-06-23 18:01:15 +00:00
Robert Scott
466c2e342a treewide/applications: add sourceType binaryNativeCode for many packages 2022-06-23 18:38:19 +01:00
Shea Levy
c4f2260cdb
isabelle: Fix build on darwin 2022-06-23 13:24:53 -04:00
Shea Levy
4d781f329d
z3_4_4_0: Fix build on darwin. 2022-06-23 12:40:46 -04:00
Ben Siraphob
354c51a748
formula: unmark as broken on darwin 2022-06-22 17:04:55 -07:00
Ben Siraphob
c76653603c
formula: unstable-2022-02-02 -> unstable-2022-06-20 2022-06-22 17:04:55 -07:00
Ben Siraphob
7071d43fd3
formula: add update script 2022-06-22 17:04:53 -07:00
github-actions[bot]
506a80a667
Merge staging-next into staging 2022-06-23 00:02:43 +00:00
Hernan Rajchert
ef22f5fd93
veriT: Fix build on macos 2022-06-22 16:57:33 -03:00
github-actions[bot]
8fe94dceb1
Merge staging-next into staging 2022-06-21 06:02:15 +00:00
Anderson Torres
97f37b6e05
Merge pull request #178307 from Luflosi/update/yosys 
yosys: 0.16 -> 0.18
 2022-06-20 22:35:38 -03:00
github-actions[bot]
8c4cc99917
Merge staging-next into staging 2022-06-20 18:01:47 +00:00
Ivv
71003947fc
Merge pull request #177991 from mdarocha/dotnet-6-update 
dotnet-sdk: 6.0.300 -> 6.0.301
 2022-06-20 19:56:52 +02:00
Luflosi
f4a768e251
abc-verifier: 2022.03.22 -> 2022.05.06 2022-06-20 10:40:17 +02:00
github-actions[bot]
f40a25207d
Merge staging-next into staging 2022-06-18 00:02:27 +00:00
Dennis Gosnell
529de76e8a
tamarin-prover: remove darwin from hydraPlatforms 2022-06-17 19:20:10 +09:00
mdarocha
e8eb946183 formula: update dependencies 2022-06-17 10:12:42 +02:00
Sergei Trofimovich
739ab383a5 coq_8_13.src, coq_8_14.src, coq_8_15.src: update hash change with fetchzip update 
fetchzip changed unpacking of UTF-8 files on glibc systems:
    https://github.com/NixOS/nixpkgs/pull/176253
As a result unpacked contents changed it's filenames.

Closes: https://github.com/NixOS/nixpkgs/issues/176225
 2022-06-11 17:16:43 +01:00
Pierre Roux
ecf2791d8b coq_8_16: init at 8.16+rc1 2022-06-08 18:42:10 +02:00
Ben Siraphob
d6f311f306
zchaff: 2004.5.13 -> 2007.3.12 2022-06-05 23:22:06 -07:00
Vincent Laporte
1b95daa381 alt-ergo: ensure compatibility with Menhir ≥ 20211215 2022-06-05 15:44:28 +02:00
Robert Scott
3b6bc4b69c treewide: set sourceProvenance for packages containing downloaded jars 
these are the easily identifiable cases and will not be comprehensive
 2022-06-04 19:47:57 +01:00
Vincent Laporte
442db9429b coq: 8.15.1 → 8.15.2 2022-06-03 10:45:45 +02:00
Ben Siraphob
b5827f1033
Merge pull request #175700 from siraben/cvc4-darwin 
cvc4: fix build on darwin
 2022-06-01 08:09:45 +00:00
Ben Siraphob
583a2312e4
cvc4: fix build on darwin 
Dependency on cln is optional
 2022-05-31 23:56:18 -07:00
Ben Siraphob
eb33086520
Merge pull request #164779 from collares/lean2 2022-06-01 06:16:17 +00:00
Rick van Schijndel
433701147a
treewide: pkgs/applications: mark broken for aarch64-linux 2022-05-30 13:42:58 +02:00
Rick van Schijndel
37c633f7ae treewide: pkgs/applications: mark broken for darwin 2022-05-29 10:56:04 +02:00
Rick van Schijndel
5e1adacaf0 aspino: mark broken for x86_64 Darwin 
Been broken for a few years already too.
 2022-05-29 10:56:02 +02:00
Vincent Laporte
5637570f51 ocamlPackages: rename sedlex_2 into sedlex 2022-05-29 08:48:00 +02:00
Robert Scott
17b62c338f
Merge pull request #175039 from azahi/clingcon-fix 
clingcon: fix build
 2022-05-28 12:40:54 +01:00
7c6f434c
ae0bca4605
Merge pull request #174438 from r-ryantm/auto-update/clingo 
clingo: 5.5.1 -> 5.5.2
 2022-05-28 07:28:47 +00:00
Azat Bahawi
aa8447dd0c
clingcon: fix build 
Fix build https://hydra.nixos.org/build/178237905
 2022-05-28 02:21:13 +03:00
Sandro
b9c9593a88
Merge pull request #173304 from IvarWithoutBones/bump/dotnetmodule 2022-05-26 00:26:18 +02:00
Cyril Cohen
d113661156 coqPackages: etc 
- put `findlib` in `buildInputs` of `mkCoqDerivation` to make sure `coq` packages find their ocaml plugin dependencies,
- use `propagatedBuildInputs` to make sure ocaml plugin dependencies are in path,
- updated `coqPackage.heq` (broken url),
- fixed use of `DESTDIR` and `COQMF_COQLIB` in mkCoqDerivation,
- adding `COQCORELIB` environement variable to put ocaml plugin files in the right place,
- make `metaFetch` available from `coqPackages`
 2022-05-25 20:00:25 +02:00
R. Ryantm
c1ab8c327a clingo: 5.5.1 -> 5.5.2 2022-05-25 07:48:30 +00:00
github-actions[bot]
deef19c9a1
Merge master into staging-next 2022-05-22 06:01:27 +00:00
github-actions[bot]
dbef850602
Merge master into staging-next 2022-05-22 00:02:20 +00:00
Ben Siraphob
519f0b9e58
zchaff: use clangStdenv 
Fixes build on Linux
 2022-05-21 16:55:37 -07:00
Ben Siraphob
3c31489f15
Merge pull request #173933 from siraben/zchaff-init 
zchaff: init at 2004.5.13
 2022-05-21 16:26:06 -07:00
Mauricio Collares
8fdfe10bcf lean2: 2017-07-22 -> 2018-10-01, unbreak 2022-05-21 16:06:51 -07:00
Ben Siraphob
a6aa08532c
zchaff: init at 2004.5.13 2022-05-21 15:12:08 -07:00
github-actions[bot]
bd83e4cf98
Merge master into staging-next 2022-05-19 12:01:54 +00:00