Ben Siraphob
3ae5e6ce03
treewide: remove enableParallelBuilding = true if using cmake
2021-01-03 18:37:40 +07:00
freezeboy
9fd99b5a32
opensmt: 20101017 -> 2.0.1
2021-01-01 23:38:04 +01:00
Ben Siraphob
b04fc593e7
treewide: cmake buildInputs to nativeBuildInputs, minor cleanups
2021-01-01 11:52:33 +07:00
Vincent Laporte
66c0fc3609
cryptoverif: 2.03pl1 → 2.04
2020-12-18 08:20:10 +01:00
Vincent Laporte
b49a3fb852
cryptoverif: fix search for default library
2020-12-18 08:20:10 +01:00
Vincent Laporte
c5556b7454
coq_8_12: 8.12.1 → 8.12.2
2020-12-16 07:45:54 +01:00
Vincent Laporte
de8205f8bb
coq_8_13: init at 8.13+β1
2020-12-15 21:13:40 +01:00
Alyssa Ross
8b8dfc5d40
cedille: 1.1.1 -> 1.1.2; fix build
2020-12-10 23:07:32 +00:00
R. RyanTM
cec747d712
clingo: 5.4.0 -> 5.4.1
2020-12-07 13:03:03 +00:00
Austin Seipp
e601758166
abc-verifier: 2020.06.22 -> 2020.11.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-12-02 07:18:05 -06:00
Austin Seipp
a3ae8a4fcf
Merge pull request #100750 from arcz/boolector
...
boolector: enable darwin build
2020-12-02 03:19:54 -06:00
Artur Cygan
da3c0ca0dd
boolector: fix darwin build
2020-11-29 22:31:54 +01:00
Artur Cygan
38e6f15d98
btor2tools: fix install_name on darwin
2020-11-29 22:31:31 +01:00
Vincent Laporte
8ee7c2505f
proverif: install emacs mode
2020-11-29 14:05:14 +01:00
Sandro
4dc26ca31d
Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox
...
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-11-29 04:01:21 +01:00
Michael Raskin
3ed321dfab
z3: enable build on non-x86_64 unix; checked the build on aarch64-linux
2020-11-27 11:52:07 +01:00
Sandro
41408091bb
Merge pull request #105111 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.1 -> 3.3.2
2020-11-27 03:12:56 +01:00
R. RyanTM
b25018203b
workcraft: 3.3.1 -> 3.3.2
2020-11-27 01:53:34 +00:00
Patrick Hilhorst
a6b3bb24e4
treewide: ran ./maintainers/scripts/update_redirected_urls.sh
2020-11-27 01:23:57 +01:00
Sandro
ea49bac768
Merge pull request #99761 from fgaz/key/init
...
key: init at 2.6.3
2020-11-25 01:49:25 +01:00
Sandro
3da89983fd
Merge pull request #103590 from r-ryantm/auto-update/workcraft
...
workcraft: 3.3.0 -> 3.3.1
2020-11-24 02:07:43 +01:00
Vincent Laporte
2806eb2743
coq_8_12: 8.12.0 → 8.12.1
2020-11-15 12:03:15 +01:00
R. RyanTM
8acd7a3540
workcraft: 3.3.0 -> 3.3.1
2020-11-12 10:54:47 +00:00
R. RyanTM
f7485d07b5
lean: 3.21.0 -> 3.23.0
2020-11-11 15:16:44 -08:00
Jan Tojnar
a821be7531
Merge branch 'master' into staging-next
2020-11-05 09:42:47 +01:00
Gabriel Ebner
8279979f38
lean: build olean files
2020-11-04 16:32:56 +01:00
Frederik Rietdijk
470f05cb5d
Merge staging-next into staging
2020-11-03 12:06:41 +01:00
Pavol Rusnak
2c931312ce
treewide: simplify rev/repo arguments in src
...
+ use fetchFromGithub where possible
2020-11-01 23:02:24 -08:00
Frederik Rietdijk
83dde6c52c
Merge staging-next into staging
2020-11-01 10:11:12 +01:00
Vincent Laporte
8cab21b48b
Revert "coq: propagate and install ocaml and findlib"
...
This reverts commit 5d0e2dedd5
.
2020-10-31 09:08:06 +01:00
Andreas Rammhold
db0fe5c3eb
Merge branch master into staging to fix eval error
...
This fixes the eval error of the small (and "big"?) NixOS test set that
was fixed in 1088f05
& eba8f542
.
2020-10-28 03:03:27 +01:00
Ben Siraphob
db74029e3e
treewide: remove package names from prefix of descriptions
2020-10-27 09:15:07 -07:00
Vladimír Čunát
336bc8283b
Re-Revert "Merge #101508 : libraw: 0.20.0 -> 0.20.2"
...
This reverts commit c778945806
.
I believe this is exactly what brings the staging branch into
the right shape after the last merge from master (through staging-next);
otherwise part of staging changes would be lost
(due to being already reachable from master but reverted).
2020-10-26 08:19:17 +01:00
Vladimír Čunát
c778945806
Revert "Merge #101508 : libraw: 0.20.0 -> 0.20.2"
...
I'm sorry; I didn't notice it contained staging commits.
This reverts commit 17f5305b6c
, reversing
changes made to a8a018ddc0
.
2020-10-25 09:41:51 +01:00
Vladimír Čunát
17f5305b6c
Merge #101508 : libraw: 0.20.0 -> 0.20.2
2020-10-25 09:28:53 +01:00
Vincent Laporte
2cb651ad14
cryptoverif: 2.01pl1 → 2.03pl1
2020-10-23 10:20:09 +02:00
Jan Tojnar
3e01d383ee
Merge branch 'staging-next' into staging
2020-10-22 21:20:32 +02:00
Daiderd Jordan
bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook
...
treewide: move fixDarwinDylibNames to nativeBuildInputs
2020-10-21 19:25:48 +02:00
Théo Zimmermann
5d0e2dedd5
coq: propagate and install ocaml and findlib
...
Fix #34657 .
2020-10-21 11:07:02 +02:00
Andrew Childs
722d02a720
treewide: move fixDarwinDylibNames to nativeBuildInputs
...
This hook runs at build time and depends on executing
install_name_tool from binutils.
2020-10-21 13:26:53 +09:00
Austin Seipp
fba7eaeb63
Merge pull request #100741 from arcz/btor2tools
...
btor2tools: enable unix platforms
2020-10-19 16:18:56 -05:00
R. RyanTM
855b84d8b0
lean: 3.19.0 -> 3.21.0
2020-10-18 17:00:15 +00:00
Artur Cygan
5229b4502a
btor2tools: enable unix platforms
2020-10-16 19:39:46 +02:00
Vincent Laporte
33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 ( #100148 )
2020-10-13 10:16:11 +02:00
Francesco Gazzetta
a302261318
key: init at 2.6.3
2020-10-06 17:37:23 +02:00
Jakub Kądziołka
8205e12a45
z3_4_4_0: add old version for Isabelle
2020-10-03 21:32:22 +02:00
Vincent Laporte
cc739e1c67
ocamlPackages.z3: init at 4.8.9
2020-09-30 22:03:17 +02:00
Doron Behar
0307d0e82b
Merge pull request #98441 from vbgl/why3-1.3.3
...
why3: 1.3.1 -> 1.3.3
2020-09-23 10:35:57 +03:00
Robert Scott
fc709e6dfe
cvc3: enable for darwin
...
it may be possible to get it building under clang with some work, but
switching it to gcc for now allows us to enable it
2020-09-22 23:06:45 -07:00
Robert Scott
53a8a415ac
cvc3: fix build against bison 3.7
...
for some reason bison 3.7 output references $x_defs.h files under the name
$x.hpp. create symlinks to make this work.
2020-09-22 23:06:45 -07:00
Austin Seipp
daaa0e3350
Merge pull request #98239 from Sohalt/avy
...
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
Vincent Laporte
64b68b30e9
why3: 1.3.1 -> 1.3.3
2020-09-23 03:24:02 +02:00
sohalt
40722346b8
avy: 2017.10.16 -> 2019.05.01
2020-09-20 16:13:29 +02:00
Gabriel Ebner
67ff41201f
leo3: fix executable
2020-09-19 15:05:02 +02:00
Vincent Laporte
cc4a33d78c
ott: 0.30 → 0.31
2020-09-14 21:42:22 +02:00
Thomas Tuegel
87c7d1d4f8
z3: 4.8.8 -> 4.8.9
2020-09-11 14:38:43 -05:00
Badi Abdul-Wahid
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05:00
Vincent Laporte
2a82f71bed
proverif: 2.01 → 2.02pl1
2020-09-07 09:54:54 +02:00
R. RyanTM
1cd9dafce0
ott: 0.30 -> 0.31
2020-09-06 22:25:50 +01:00
Mario Rodas
f7eb2883b5
lean: 3.18.4 -> 3.19.0
2020-08-29 04:20:00 +00:00
Vincent Laporte
5e6eeb795c
alt-ergo: 2.3.2 → 2.3.3
2020-08-29 06:21:23 +02:00
Austin Seipp
1e451da386
mcy: 2020.07.06 -> 2020.08.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Austin Seipp
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
Lassulus
15d98507ee
Merge pull request #87224 from Sohalt/isabelle
...
isabelle: 2018 -> 2020
2020-08-23 11:28:53 +02:00
Thomas Tuegel
616dd214d1
z3: add ttuegel to maintainers
2020-08-21 19:05:55 -07:00
Thomas Tuegel
1f512d7804
z3: 4.8.7 -> 4.8.8
2020-08-21 19:05:55 -07:00
Mario Rodas
f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 ( #95849 )
2020-08-21 10:52:11 +02:00
Lassulus
8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba
...
ltl2ba: 1.2 -> 1.3
2020-08-20 23:02:41 +02:00
Gabriel Ebner
7f31fe9ea6
vampire: 4.4 -> 4.5.1
2020-08-17 19:39:32 +02:00
Mario Rodas
b05ede05a1
Merge pull request #90281 from purcell/fast-downward-darwin
...
fast-downward: 2019-05-13 -> 19.12, build on darwin, fix runtime issues
2020-08-16 21:30:09 -05:00
Lorenz Leutgeb
d50a6db016
z3: Add Java Bindings ( #92096 )
...
Introduce new arguments to build Java Bindings, and to disable
building of Python bindings. Default behaviour is preserved.
2020-08-15 07:37:38 +02:00
Vincent Laporte
b8dfca143c
coq_8_12: 8.12+β1 → 8.12.0
...
coqPackages.equations: 1.2.2 → 1.2.3
2020-08-08 06:33:08 +02:00
Vincent Laporte
390769312d
coq_8_5: fix build (use gnumake 4.2)
2020-08-03 07:46:20 +02:00
R. RyanTM
7fc1e676ea
lean: 3.16.5 -> 3.18.4
2020-08-02 04:55:59 +00:00
Gabriel Ebner
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover
...
eprover: 2.4 -> 2.5
2020-08-01 11:12:37 +02:00
R. RyanTM
202ce2d867
eprover: 2.4 -> 2.5
2020-07-31 23:35:12 +00:00
Yurii Rashkovskii
cc8369c461
why3: 1.2.1 -> 1.3.1
...
Important: keeping why3 at 1.2.1 precludes framac 21.+ from having WP
plugin enabled, which is arguably a very important plugin.
2020-07-30 23:05:08 +02:00
Vladyslav M
77d6eebc66
Merge pull request #90424 from kini/drat-trim/bump
...
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-26 22:50:14 +03:00
Peter Simons
b4dd96b206
sad: mark package as broken because if depends on dropped ghc-8.4.4
...
Ping @schmitthenner.
2020-07-24 13:06:29 +02:00
Martin Lundfall
424936ed33
cvc4: 1.6 -> 1.8
...
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
Update pkgs/applications/science/logic/cvc4/default.nix
Co-authored-by: Gabriel Ebner <gebner@gebner.org>
2020-07-18 17:48:10 +02:00
Keshav Kini
b28d329c62
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07:00
Austin Seipp
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 10:33:09 -05:00
Austin Seipp
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Austin Seipp
63e55fae00
yosys: 2020.06.19 -> 2020.07.07
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
Jörg Thalheim
223c91d032
cryptominisat: use fetchpatch
2020-07-09 08:21:21 +01:00
Jörg Thalheim
e3d703bb92
cryptominisat: fix build on darwin
2020-07-09 08:11:28 +01:00
R. RyanTM
3628d0d893
cryptominisat: 5.7.1 -> 5.8.0
2020-07-08 04:51:18 +00:00
R. RyanTM
887f1978f6
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-07-07 21:21:49 +00:00
R. RyanTM
12b36a950b
ltl2ba: 1.2 -> 1.3
2020-07-05 14:25:04 +00:00
R. RyanTM
a07fe7164b
workcraft: 3.2.6 -> 3.3.0
2020-07-02 10:07:55 -07:00
Gabriel Ebner
ab4bc959e7
Merge pull request #92044 from r-ryantm/auto-update/lean
...
lean: 3.16.2 -> 3.16.5
2020-07-02 15:27:58 +02:00
R. RyanTM
39ee2ab9c0
lean: 3.16.2 -> 3.16.5
2020-07-02 13:12:58 +00:00
Vincent Laporte
d34bde6ac7
why3: compatibility with JSoO 3.6.0
2020-06-28 09:59:04 +02:00
zowoq
c7e61112df
treewide: remove deprecated value Application
from makeDesktopItem
2020-06-25 12:18:37 +10:00
Daniël de Kok
5f0cf22c59
cadical: enable tests
2020-06-24 15:10:53 -07:00
Maximilian Bosch
44b3530cf1
Merge pull request #90491 from shnarazk/cadical-1.3.0-PR
...
cadical: 1.2.1 -> 1.3.0
2020-06-23 23:33:10 +02:00
Vincent Laporte
a8bb61222f
coq_8_12: init at 8.12+β1
2020-06-19 12:28:42 +02:00
Narazaki, Shuji
d6c90aea17
cadical: 1.2.1 -> 1.3.0
2020-06-15 22:56:41 +09:00
Steve Purcell
af76ba6c57
fastdownward: 2019-05-13 -> 19.12
...
- Use supplied build.py mechanism instead of working around it
- Freeze release location into resulting Python so fast-downward script actually works
2020-06-15 10:40:53 +12:00
R. RyanTM
e63bfcef96
lean: 3.15.0 -> 3.16.2
2020-06-14 19:32:20 +00:00