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

1233 commits

Author SHA1 Message Date
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
Vincent Laporte b42501e1e7 proverif: 2.02pl1 → 2.03 
Do not build `proverif_interact` (that was not installed).
 2021-11-09 17:50:01 +01:00
Angus Trau 14580c7f4d logisim-evolution: 3.5.0 -> 3.7.1 2021-11-09 17:33:19 +11:00
Felix Buehler b52ab3b712 pkgs/applications: rename name to pname&version part 2 2021-11-07 14:53:06 +01:00
Michael Raskin df3adb0398
Merge pull request #144502 from r-ryantm/auto-update/opensmt 
opensmt: 2.1.1 -> 2.2.0
 2021-11-03 18:23:06 +00:00
R. Ryantm 8fed17e682 opensmt: 2.1.1 -> 2.2.0 2021-11-03 18:03:12 +00:00
R. Ryantm 14ee52edff elan: 1.3.0 -> 1.3.1 
(cherry picked from commit 4cb7820ac9)
 2021-11-03 10:51:13 +01:00
Vincent Laporte f727a6aebe why3: remove spurious camlp5 dependency 2021-11-01 20:37:57 +01:00
Mauricio Collares 89d7336c20 lean: 3.34.0 -> 3.35.0 2021-11-01 19:17:17 +01:00
Mauricio Collares c707a468a4 lean: 3.33.0 -> 3.34.0 2021-11-01 19:17:17 +01:00
Gabriel Ebner f13aa788e1 elan: 1.2.0 -> 1.3.0 2021-11-01 13:37:56 +01:00
Smaug123 925ab444c9 elan: 1.1.0 -> 1.2.0 
The move to 1.1.0 broke Darwin: the patch introduced during that move
is also required on Darwin, but is hidden behind a Linux-specific
optional. The patch has since made it upstream, so the easiest fix
is simply to upgrade Elan.
 2021-10-31 21:41:38 +00:00
Sergei Trofimovich 597eb07e00 yices: drop symlink hack, avoid ldconfig on linux 
Reported by sternenseemann as a failure on darwin:
https://github.com/NixOS/nixpkgs/pull/141541#discussion_r739634263

Instead of emulating symlink creation in `.nix` file let's create
them in Makefile.build directly in a way that can be upstreamed.
 2021-10-31 09:08:41 +01:00
Vincent Laporte 22e732d03c tamarin-prover: 1.6.0 → 1.6.1 2021-10-22 07:38:30 +02:00
Ben Darwin 3032353fcb abella: 2.0.6 -> 2.0.7 2021-10-19 13:25:44 -04:00
Théo Zimmermann e242eef8a4 coq_8_14: 8.14+rc1 -> 8.14.0 2021-10-15 18:50:05 +02:00
Artturi 6d65c1c56d
Merge pull request #141541 from trofi/fix-yices-links 2021-10-15 05:07:49 +03:00
Shadaj Laddad 9d02ea53de cadical: include C++ headers 2021-10-14 15:23:05 -07:00
Vincent Laporte cafe9f88fc
leo2: 1.6.2 → 1.7.0 
Fix build with recent C++ compilers

Use a more recent OCaml (4.05)
 2021-10-14 09:45:49 +02:00
Alyssa Ross 851b719ac6 treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate 2021-10-13 17:39:37 +00:00
Sergei Trofimovich 0b2d3bbfcb yices: 2.6.3 -> 2.6.2 
2.6.3 is not a stable tag (and is really a 2.6.4 in disguise).
Failure is noticed by vbgl in https://github.com/NixOS/nixpkgs/pull/141241#issuecomment-942103854

The change downgrades from unstable to latest stable release and
adds a check for file presence to prevent upgrade that silently
breaks symlink.
 2021-10-13 17:58:26 +01:00
Théo Zimmermann 3437b543fd coq_8_14: init at 8.14+rc1 2021-10-13 10:44:09 +02:00
Vincent Laporte e31bc3d26a coq2html: 1.2 → 1.3 2021-10-13 10:15:05 +02:00
Sergei Trofimovich b18a746169
yices: 2.6.1 -> 2.6.3 (#141241) 
Co-authored-by: Sandro <sandro.jaeckel@gmail.com>
 2021-10-12 23:09:47 +02:00
Vincent Laporte 17e2fbf2dc alt-ergo: 2.4.0 → 2.4.1 2021-10-12 14:41:54 +02:00
Gabriel Ebner 9044534a8d elan: 1.0.7 -> 1.1.0 2021-10-09 20:06:10 +02:00
Anders Kaseorg 4ce09e0e06 lean: 3.32.1 → 3.33.0 
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
 2021-10-07 18:54:06 -07:00
Narazaki, Shuji 4de6574fb8 kissat: init at 2.0.1 2021-10-04 08:45:36 +09:00
Austin Seipp d474571392 symbiyosys: 2020.08.22 -> 2021.09.13 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2021-09-29 13:14:27 -05:00
Bruce Collie 3e213b8699 z3: 4.8.10 -> 4.8.12 2021-09-24 11:46:21 +01:00
Naïm Favier b2391a51d2 coq: add desktop file for coqide 2021-09-23 14:39:50 +02:00
R. RyanTM 1c9cbe8a05 opensmt: 2.1.0 -> 2.1.1 2021-09-14 18:44:37 +00:00
kzvi befe89f3d7 lean: 3.31.0 -> 3.32.1 2021-08-23 15:43:00 -07:00
Artturi f2f1718aae
Merge pull request #135404 from r-ryantm/auto-update/workcraft 2021-08-23 17:28:09 +03:00
Artturi 55fdaafe15
Merge pull request #135398 from r-ryantm/auto-update/verifast 
verifast: 19.12 -> 21.04
 2021-08-23 17:25:35 +03:00
R. RyanTM 6b086631c6 workcraft: 3.3.2 -> 3.3.5 2021-08-23 08:01:40 +00:00
R. RyanTM a73fc504b7 verifast: 19.12 -> 21.04 2021-08-23 07:29:27 +00:00
Narazaki, Shuji 960ddb6f8f cadical: 1.3.0 -> 1.4.1 2021-08-22 20:46:34 +09:00
R. RyanTM 3760bcfd58 opensmt: 2.0.1 -> 2.1.0 2021-08-22 09:30:15 +00:00
davidak f2b906617d
Merge pull request #134361 from Stunkymonkey/why3-phases 
why3: deprecate phases
 2021-08-19 04:06:56 +02:00
Gabriel Ebner f267d39257
Merge pull request #134394 from r-ryantm/auto-update/elan 
elan: 1.0.6 -> 1.0.7
 2021-08-17 10:03:05 +02:00
R. RyanTM b1868a8296 elan: 1.0.6 -> 1.0.7 2021-08-17 03:53:13 +00:00
Felix Buehler c849ada0c5 why3: deprecate phases 2021-08-16 22:50:19 +02:00
Felix Buehler 8a8a949ffd tlaplusToolbox: deprecate phases 2021-08-16 21:54:44 +02:00
Felix Buehler 8ad1a7859a tlaps: deprecate phases 2021-08-16 21:54:22 +02:00
Sandro 7d75a19c60
Merge pull request #131463 from angustrau/logisim-evolution 2021-08-12 12:22:42 +02:00
Felix Buehler f67a0a37f0 saw-tools: remove phases 2021-08-03 00:03:41 +02:00
Ben Siraphob 2f94991628 treewide: fix redirected URLs 
Using the script in maintainers/scripts/update-redirected-urls.sh
 2021-08-01 00:01:50 +07:00
R. RyanTM 1d4ae0cfb7 libpoly: 0.1.9 -> 0.1.10 2021-07-28 00:31:53 +00:00
Guillaume Girol 455712841c
Merge pull request #130663 from symphorien/bitwuzla 
bitwuzla: init at unstable-2021-07-01
 2021-07-26 19:45:46 +00:00
Angus Trau 351b7d24e2
logisim: create desktop entry (#131450) 2021-07-25 17:46:34 -04:00
Guillaume Girol 1894e8d945 bitwuzla: init at unstable-2021-07-01 2021-07-25 15:52:25 +02:00
Angus Trau 92cced04c6 logisim-evolution: init at 3.5.0 2021-07-25 19:52:24 +10:00
Guillaume Girol 0708fe494b cadical: install library 2021-07-23 21:19:27 +02:00
Ben Siraphob a5049e8caa
Merge pull request #130971 from siraben/parallel-coq 
coq: enable parallel building
 2021-07-22 10:00:42 +07:00
Ben Siraphob 7c1d4d8255 coq: enable parallel building 2021-07-22 02:04:47 +07:00
Sandro 8472d44b82
Merge pull request #130812 from SuperSandro2000/SuperSandro2000-patch-4 
logisim: cleanup
 2021-07-20 19:48:37 +02:00
Sandro fd1ab319b7
logisim: cleanup 2021-07-20 18:33:48 +02:00
Sandro c401885fe1
Merge pull request #130192 from Stunkymonkey/logisim-phases 
logisim: deprecate phases
 2021-07-20 18:32:40 +02:00
Guillaume Girol 6554384a70 boolector: 3.2.1 -> 3.2.2 2021-07-19 16:11:01 -07:00
Jan van Brügge e32da890c9
isabelle: Add desktop entry 2021-07-19 12:04:30 +02:00