nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-01-02 19:14:14 +00:00
Code Issues Packages Projects Releases Wiki Activity
457,308 Commits 167 Branches 125 Tags 5.9 GiB
a9167d159b
Commit Graph

1560 Commits

Author SHA1 Message Date
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
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