Commit graph

946 commits

Author SHA1 Message Date
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
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