alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity
442031 commits 217 branches 121 tags 4.5 GiB
Commit graph

1525 commits

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