bb0b872b61
Merge pull request #100388 from thefloweringash/darwin-dylib-names-hook
...
treewide: move fixDarwinDylibNames to nativeBuildInputs
2020-10-21 19:25:48 +02:00
5d0e2dedd5
coq: propagate and install ocaml and findlib
...
Fix #34657 .
2020-10-21 11:07:02 +02:00
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
fba7eaeb63
Merge pull request #100741 from arcz/btor2tools
...
btor2tools: enable unix platforms
2020-10-19 16:18:56 -05:00
855b84d8b0
lean: 3.19.0 -> 3.21.0
2020-10-18 17:00:15 +00:00
5229b4502a
btor2tools: enable unix platforms
2020-10-16 19:39:46 +02:00
33b7529b01
tamarin-prover: 1.4.1 → 1.6.0 ( #100148 )
2020-10-13 10:16:11 +02:00
a302261318
key: init at 2.6.3
2020-10-06 17:37:23 +02:00
8205e12a45
z3_4_4_0: add old version for Isabelle
2020-10-03 21:32:22 +02:00
cc739e1c67
ocamlPackages.z3: init at 4.8.9
2020-09-30 22:03:17 +02:00
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
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
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
daaa0e3350
Merge pull request #98239 from Sohalt/avy
...
avy: 2017.10.16 -> cav19
2020-09-22 23:19:05 -05:00
64b68b30e9
why3: 1.3.1 -> 1.3.3
2020-09-23 03:24:02 +02:00
40722346b8
avy: 2017.10.16 -> 2019.05.01
2020-09-20 16:13:29 +02:00
67ff41201f
leo3: fix executable
2020-09-19 15:05:02 +02:00
cc4a33d78c
ott: 0.30 → 0.31
2020-09-14 21:42:22 +02:00
87c7d1d4f8
z3: 4.8.8 -> 4.8.9
2020-09-11 14:38:43 -05:00
f3ce1df79a
tlaplus: remove myself from maintainers list
2020-09-09 10:40:46 -05:00
2a82f71bed
proverif: 2.01 → 2.02pl1
2020-09-07 09:54:54 +02:00
1cd9dafce0
ott: 0.30 -> 0.31
2020-09-06 22:25:50 +01:00
f7eb2883b5
lean: 3.18.4 -> 3.19.0
2020-08-29 04:20:00 +00:00
5e6eeb795c
alt-ergo: 2.3.2 → 2.3.3
2020-08-29 06:21:23 +02:00
1e451da386
mcy: 2020.07.06 -> 2020.08.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
0eb943ecb1
symbiyosys: 2020.07.03 -> 2020.08.22
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-08-23 11:01:24 -05:00
15d98507ee
Merge pull request #87224 from Sohalt/isabelle
...
isabelle: 2018 -> 2020
2020-08-23 11:28:53 +02:00
616dd214d1
z3: add ttuegel to maintainers
2020-08-21 19:05:55 -07:00
1f512d7804
z3: 4.8.7 -> 4.8.8
2020-08-21 19:05:55 -07:00
f96ec7d994
ocamlPackages.lablgtk3: propagate gtk3 ( #95849 )
2020-08-21 10:52:11 +02:00
8560589f55
Merge pull request #92337 from r-ryantm/auto-update/ltl2ba
...
ltl2ba: 1.2 -> 1.3
2020-08-20 23:02:41 +02:00
7f31fe9ea6
vampire: 4.4 -> 4.5.1
2020-08-17 19:39:32 +02:00
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
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
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
390769312d
coq_8_5: fix build (use gnumake 4.2)
2020-08-03 07:46:20 +02:00
7fc1e676ea
lean: 3.16.5 -> 3.18.4
2020-08-02 04:55:59 +00:00
aa37dc8aeb
Merge pull request #94389 from r-ryantm/auto-update/eprover
...
eprover: 2.4 -> 2.5
2020-08-01 11:12:37 +02:00
202ce2d867
eprover: 2.4 -> 2.5
2020-07-31 23:35:12 +00:00
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
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
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
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
b28d329c62
drat-trim: 2017-08-31 -> 2020-06-05
2020-07-17 21:38:31 -07:00
44f8640ae4
mcy: 2020.03.21 -> 2020.07.06
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 10:33:09 -05:00
a8e8e99458
symbiyosys: 2020.05.18 -> 2020.07.03
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
63e55fae00
yosys: 2020.06.19 -> 2020.07.07
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-07-09 09:12:41 -05:00
223c91d032
cryptominisat: use fetchpatch
2020-07-09 08:21:21 +01:00
e3d703bb92
cryptominisat: fix build on darwin
2020-07-09 08:11:28 +01:00
3628d0d893
cryptominisat: 5.7.1 -> 5.8.0
2020-07-08 04:51:18 +00:00
887f1978f6
tlaplusToolbox: 1.6.0 -> 1.7.0
2020-07-07 21:21:49 +00:00
12b36a950b
ltl2ba: 1.2 -> 1.3
2020-07-05 14:25:04 +00:00
a07fe7164b
workcraft: 3.2.6 -> 3.3.0
2020-07-02 10:07:55 -07:00
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
39ee2ab9c0
lean: 3.16.2 -> 3.16.5
2020-07-02 13:12:58 +00:00
d34bde6ac7
why3: compatibility with JSoO 3.6.0
2020-06-28 09:59:04 +02:00
c7e61112df
treewide: remove deprecated value `Application` from makeDesktopItem
2020-06-25 12:18:37 +10:00
5f0cf22c59
cadical: enable tests
2020-06-24 15:10:53 -07:00
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
a8bb61222f
coq_8_12: init at 8.12+β1
2020-06-19 12:28:42 +02:00
d6c90aea17
cadical: 1.2.1 -> 1.3.0
2020-06-15 22:56:41 +09:00
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
e63bfcef96
lean: 3.15.0 -> 3.16.2
2020-06-14 19:32:20 +00:00
1058f8f8cf
fast-downward: also build on darwin
2020-06-14 17:55:14 +12:00
23c9c3779d
symbiyosys: 2020.03.24 -> 2020.05.18
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
13e52db31e
yosys: 2020.03.24 -> 2020.06.11
...
Also includes a bump to `abc-verifier`.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-06-11 23:14:07 -05:00
0a488516be
boolector: 3.0.0 -> 3.2.1
...
enable tests
optionnally enable gmp
2020-06-08 17:32:07 -05:00
90b75531a5
btor2tools: pre55 -> 1.0.0-pre
...
version comes from the VERSION file in the repo
2020-06-08 17:32:07 -05:00
25300419fd
lean: 3.14.0 -> 3.15.0
2020-06-06 10:55:48 +00:00
877af72161
Fixup
...
Co-authored-by: puzzlewolf <23097564+puzzlewolf@users.noreply.github.com>
2020-06-05 12:44:13 +02:00
b7ddbd52bd
treewide: replace SRI hashes
2020-06-01 15:24:19 +02:00
8295aa6d8b
cryptominisat: 5.7.0 -> 5.7.1
2020-05-27 13:51:14 -07:00
5841bc46f8
proverif: 2.00 -> 2.01
2020-05-27 12:07:52 -07:00
cb4cc7a480
sad: use patch file extension
2020-05-26 14:50:50 +10:00
7573e99a60
lean: 3.13.1 -> 3.14.0
2020-05-24 22:22:11 +00:00
48f0d8b3c8
coq_8_11: 8.11.1 → 8.11.2
2020-05-20 19:21:42 +02:00
748e2fcf6c
elan: 0.10.0 -> 0.10.2
2020-05-19 05:02:43 +00:00
b022ecbf5d
lean: 3.10.0 -> 3.13.1
2020-05-16 04:20:00 -05:00
7bf616dd77
Correct license
2020-05-10 00:49:56 +02:00
9ec71eb051
use https
2020-05-10 00:46:00 +02:00
115fa1c129
elan: 0.9.0 -> 0.10.0
2020-05-08 17:17:03 +02:00
de81e8b961
isabelle: 2018 -> 2020
2020-05-08 00:33:03 +02:00
f6f5f6a30f
elan: 0.8.0 -> 0.9.0
2020-05-07 15:35:13 +02:00
c73875ea1e
tlaplus: 1.5.6 -> 1.7.0
2020-05-06 12:26:10 -07:00
0a115f8087
cryptominisat: 5.6.8 -> 5.7.0
2020-05-04 01:41:26 -07:00
3253c03d2e
lean: 3.9.0 -> 3.10.0
2020-05-02 04:20:00 -05:00
461a252bee
verifast: change license to MIT
...
It seems verifast was relicensed to MIT in 2016:
b3c1bce76a
2020-04-23 09:59:33 +00:00
e4db75f46d
Merge pull request #84535 from bcdarwin/update-beluga
...
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 22:53:50 -04:00
ad7b7367b6
beluga: 20180403 -> unstable-2020-03-11
2020-04-19 21:54:06 -04:00
f37c9226fc
lean: 3.8.0 -> 3.9.0
2020-04-18 04:20:00 -05:00
84cf00f980
treewide: Per RFC45, remove all unquoted URLs
2020-04-10 17:54:53 +01:00
8e537ad391
lean: 3.7.2 -> 3.8.0
2020-04-09 10:40:00 -05:00
3238302827
libpoly: fix src
2020-04-09 11:22:53 -07:00
f4a9fe36fa
libpoly: 0.1.7 -> 0.1.8
2020-04-09 10:29:28 -07:00
f4ff33cce6
alt-ergo: 2.3.1 → 2.3.2
2020-04-08 10:23:48 +02:00
d6a8d0ca5b
coq_8_11: 8.11.0 → 8.11.1
2020-04-05 15:32:32 +02:00
c5a12e33d2
cadical: init at 1.2.1
2020-04-05 00:22:36 +09:00
765b2fd866
mcy: 2020.03.16 -> 2020.03.21
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
4808bef486
symbiyosys: 2020.02.11 -> 2020.03.24
...
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2020-03-25 06:46:01 -05:00
618bca7054
alt-ergo: 2.3.0 → 2.3.1
2020-03-24 20:43:06 -04:00
Daiderd Jordan
Théo Zimmermann
Andrew Childs
Austin Seipp
R. RyanTM
Artur Cygan
Vincent Laporte
Francesco Gazzetta
Jakub Kądziołka
Vincent Laporte
Doron Behar
Robert Scott
sohalt
Gabriel Ebner
Thomas Tuegel
Badi Abdul-Wahid
Mario Rodas
Lassulus
Thomas Tuegel
Lorenz Leutgeb
Yurii Rashkovskii
Vladyslav M
Peter Simons
Martin Lundfall
Keshav Kini
Jörg Thalheim
zowoq
Daniël de Kok
Maximilian Bosch
Narazaki, Shuji
Steve Purcell
Symphorien Gibol
Pavol Rusnak
Benjamin Hipple
Ben Darwin
Michael Reilly
Jonathan Ringer