mirrors/nixpkgs
1
0
Fork 1
mirror of https://github.com/NixOS/nixpkgs.git synced 2024-09-11 15:08:33 +01:00
Code Issues Wiki Activity
346277 commits 218 branches 122 tags 7.1 GiB
Commit graph

1193 commits

Author SHA1 Message Date
1000teslas a4b6785de9 isabelle: patch jni libs for nitpick 2022-01-11 21:09:27 +11:00
1000teslas d9d30199ec isabelle: patch zipperposition binary 2022-01-11 11:55:38 +11:00
Renaud 3e90bc0c91
Merge pull request #153014 from numinit/add-klee 
klee: init at 2.2
 2022-01-09 00:16:19 +01:00
Morgan Jones 5f8f72c10c klee: init at 2.2 2022-01-08 15:49:07 -07:00
Mauricio Collares 81d4c28748 lean: 3.36.0 -> 3.37.0 2022-01-07 16:51:55 -03:00
Mauricio Collares b790f8ce31 lean: 3.35.1 -> 3.36.0 2022-01-04 10:35:17 -03:00
Gabriel Ebner adf7f03d3b
Merge pull request #153337 from collares/lean-3.35.1 
lean: 3.35.0 -> 3.35.1
 2022-01-03 16:40:00 +01:00
Mauricio Collares 5b3eac3130 lean: 3.35.0 -> 3.35.1 2022-01-03 11:42:18 -03:00
Gabriel Ebner 7fb27d1c22
Merge pull request #153190 from jvanbruegge/isabelle-vampire 
isabelle: Use vampire and eprover from nixpkgs
 2022-01-02 22:56:09 +01:00
Jan van Brügge c601134af8
isabelle: Use vampire and eprover from nixpkgs 
It also removes the unused perl input
 2022-01-02 20:53:33 +01:00
Jan van Brügge f79b811f2d
eprover: Add option to enable LFHOL reasoning 
Using eprover as automated theorem prover for sledgehammer requires this
option.
 2022-01-02 20:53:32 +01:00
Sergei Trofimovich 369d7bb4ca z3: 4.8.12 -> 4.8.14 
While at it added trivial updater plumbing.
 2022-01-02 12:45:59 -06:00
R. RyanTM 0bf7411211
libpoly: 0.1.10 -> 0.1.11 
* libpoly: 0.1.10 -> 0.1.11 (#144410)

* libpoly: remove unneeded postPatch

(fixed upstream by now)

Co-authored-by: Renaud <c0bw3b@users.noreply.github.com>
 2022-01-02 17:38:00 +01:00
R. RyanTM caa56925f9
yices: 2.6.2 -> 2.6.4 
(#143311)
 2022-01-02 10:15:42 +01:00
Jan van Brügge b54e5a841b
vampire: 4.5.1 -> 4.6.1 2022-01-01 22:13:11 +01:00
Jan van Brügge 4b9c0cb005
isabelle: 2021 -> 2021-1 2021-12-31 13:01:41 +01:00
Jan van Brügge d3e2cf4314
verit: 2016 -> 2021.06.2 2021-12-31 13:00:43 +01:00
Ben Siraphob 39a0a70d29
treewide: fix homepages with permanent redirect to https 2021-12-29 22:06:47 +07:00
Felix Buehler cb448459d0 potassco: switch to fetchFromGitHub 2021-12-23 19:11:17 +01:00
Felix Buehler f4931dfaee ekrhyper: refactor 2021-12-21 12:44:01 +01:00
Gabriel Ebner a3bbbe08bd
Merge pull request #151328 from Kha/elan-lean-cc 
elan: set LEAN_CC to stdenv cc
 2021-12-19 17:39:28 +01:00
Sebastian Ullrich b20024dd3a elan: set LEAN_CC to stdenv cc 
This ensures that `leanc` understands cc-wrapper vars such as `NIX_LDFLAGS`
 2021-12-19 17:27:10 +01:00
mucaho 1509f463a0 clingcon: 3.3.0 -> 5.0.0 2021-12-16 20:28:19 +01:00
Felix Buehler 4cc23f2b1e why3.withProvers: add dontUnpack 2021-12-12 20:33:14 +01:00
Jörg Thalheim 2a322411ff
Merge pull request #150217 from r-ryantm/auto-update/cryptoverif 
cryptoverif: 2.04 -> 2.05
 2021-12-11 12:53:42 +00:00
R. Ryantm 50554a43cf cryptoverif: 2.04 -> 2.05 2021-12-11 10:05:51 +00:00
Vincent Laporte a2dc97cd5c proverif: 2.03 → 2.04 2021-12-09 17:45:15 +01:00
Vincent Laporte a160defe64 coq_8_15: init at 8.15+rc1 2021-12-09 15:46:06 +01:00
R. Ryantm 817561795f logisim-evolution: 3.7.1 -> 3.7.2 2021-12-07 12:21:37 +00:00
R. Ryantm d5368e3bdb clingo: 5.5.0 -> 5.5.1 2021-12-06 09:34:25 +00:00
Austin Seipp 2a295f42c8 symbiyosys: 2021.09.13 -> 2021.11.30 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Austin Seipp a79ca33d94 yosys: 0.10+1 -> 0.11+52, with abc update 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-12-02 21:48:51 -06:00
Vincent Laporte 48406e3fca coq_8_14: 8.14.0 → 8.14.1 
And build Coq ≥ 8.14 with OCaml 4.12
 2021-12-01 13:46:15 +01:00
Sandro eff5cece35
Merge pull request #146648 from florentc/tlaplus 2021-11-25 12:38:31 +01:00
Florent C b5d3526bab tlaplus: 1.7.0 -> 1.7.1 
This updates tlaplus to the most recent stable version and directly
fetches the tlatools jar file from the official Github release page
instead of building from the sources. In the previous tlaplus nix
package, there was an issue with the tools when passing some command
line arguments such as `-workers 4` for TLC. A java string method was
not found and the program would not proceed correctly. This solves this
issue.
 2021-11-25 10:56:11 +01:00
Ryan Burns 2175b157ac treewide: refactor isi686 && isx86_64 -> isx86 2021-11-20 17:50:41 -08:00
figsoda 6ad04bcb7d
Merge pull request #146243 from figsoda/treewide-rust-feature 
treewide: use buildFeatures and checkFeatures for rust packages
 2021-11-16 21:00:48 -05:00
Sandro 0e4ef9ab2b
Merge pull request #139294 from shnarazk/kissat-init 2021-11-16 18:47:19 +01:00
figsoda 2448ef4630 elan: use buildFeatures 2021-11-16 08:11:49 -05:00
Gabriel Ebner f4e3542f5d
Merge pull request #146162 from Kha/elan-wrap-lld 
elan: wrap embedded linker
 2021-11-15 18:07:14 +01:00
Sebastian Ullrich f8bbc587eb elan: wrap embedded linker 2021-11-15 17:10:04 +01:00
Robert Scott e4362cea6f monosat, python3Packages.monosat: fix for non-x86 2021-11-14 22:25:09 +00:00
Robert Scott 9149d366b9 boolector: add patch fixing build on aarch64-linux 2021-11-13 19:45:51 -06:00
Robert Scott 3b7766eac2 lingeling: pre1_03b4860d -> pre1_708beb26 2021-11-13 19:45:51 -06:00
Thomas Watson 1564d88c41 redprl: unstable-2017-03-28 -> unstable-2019-11-04 2021-11-12 19:24:17 -06:00
Sandro 3260545bc7
Merge pull request #145056 from angustrau/logisim-evolution-3.7.1 2021-11-11 14:01:44 +01:00
Sandro 9a9ef88b8c
Merge pull request #145178 from SuperSandro2000/applications 
Applications
 2021-11-09 21:33:41 +01:00
Sandro Jäckel b1c5442ceb
fixup! prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:26:04 +01:00
Sandro Jäckel 15d85dac80
redprl: switch to fetchFromGitHub, use postPatch 2021-11-09 20:10:31 +01:00
Sandro Jäckel 11c55d061e
prover9: convert patchPhase to postPatch, cleanup meta 2021-11-09 20:10:30 +01:00