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
