Gabriel Ebner
b27b115b41
Merge pull request #154272 from jvanbruegge/isabelle-build-hol
...
isabelle: Prebuild HOL session
2022-01-26 16:37:18 +01:00
Vincent Laporte
8187f6500d
tamarin-prover: install emacs-mode
2022-01-25 15:54:15 +01:00
Vincent Laporte
20e7213d16
coq_8_15: 8.15+rc1 → 8.15.0
2022-01-25 10:53:57 +01:00
Jan van Brügge
d653b33f20
maintainers: add jvanbruegge
2022-01-19 18:25:27 +01:00
Jan van Brügge
6fff929c5e
isabelle: Prebuild HOL session
...
Upstream isabelle ships with this session, but the changes done for
nixpkgs invalidate it, requiring every user to build it again.
2022-01-19 18:25:26 +01:00
Mauricio Collares
c3b215f678
lean: 3.37.0 -> 3.38.0
2022-01-12 16:25:20 -03:00
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
