JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
276,506 Commits 2 Branches 0 Tags 13 GiB
8772d9ff51
Commit Graph

1029 Commits

Author SHA1 Message Date
Vincent Laporte
1f2a3a2df2 gappa: 1.2 -> 1.3.5 2019-06-19 09:24:34 +00:00
volth
f3282c8d1e treewide: remove unused variables (#63177) 
* treewide: remove unused variables

* making ofborg happy
 2019-06-16 19:59:05 +00:00
Will Dietz
e397f4716c z3: 4.8.4 -> 4.8.5 
* drop included patch
* pname-ify
 2019-06-10 17:55:26 -07:00
R. RyanTM
6f2d2818b0 cryptoverif: 2.00 -> 2.01 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptoverif/versions
 2019-06-01 10:51:25 -05:00
Alyssa Ross
062210bdff treewide: update cargoSha256 hashes for cargo-vendor upgrade 
A recent upgrade of cargo-vendor changed its output slightly, which
broke all cargoSha256 hashes in nixpkgs.
See https://github.com/NixOS/nixpkgs/issues/60668 for more information.

Since then, a few hashes have been fixed in master by hand, but there
were a lot still to do, so I did all of the ones left over with some
scripts I wrote.

The one hash I wasn’t able to update was habitat's, because it’s
currently broken and the build doesn’t get far enough to produce a
hash anyway.
 2019-06-01 15:17:52 +00:00
Vincent Laporte
57c3da07eb coq_8_9: 8.9.0 -> 8.9.1 2019-05-29 11:24:45 +02:00
Cyril Cohen
d16a78b512 several fixes in coq and coqPackages.mathcomp (and extras) 2019-05-21 08:55:38 +02:00
Vincent Laporte
b72daf7117 coq: init at 8.10+β1 2019-05-15 10:30:03 +02:00
Vincent Laporte
1ce94fad33 coq: make “coq-version” more general 2019-05-15 10:30:03 +02:00
Sebastien Bourdeauducq
992150d37b symbiyosys: fix path to bash 2019-05-12 20:00:10 +02:00
Michael Raskin
7252364dfa tptp: switch to new base URL for source tarball 2019-05-09 22:57:59 +02:00
Michael Raskin
a8c4b37063 vampire: switch off the fragile fetchSubmodules/leaveDotGit 2019-05-09 22:57:59 +02:00
Mario Rodas
e47dd1bb34
cedille: fix hash 2019-05-05 20:47:29 -05:00
R. RyanTM
62cd9ccca4 eprover: 2.2 -> 2.3 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/eprover/versions
 2019-04-30 10:05:27 -07:00
Mario Rodas
7a965dcdab cedille: 1.0.0 -> 1.1.1 (#60307) 2019-04-29 21:02:44 +02:00
markuskowa
d0e70ac2d3
Merge pull request #60010 from JohnAZoidberg/https-urls 
HTTPS urls
 2019-04-22 23:37:07 +02:00
Austin Seipp
fe8eb566b5
symbiyosys: 2019.03.28 -> 2019.04.18 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-22 14:27:45 -05:00
Daniel Schaefer
bac4d95aa2 treewide: Change URLs to HTTPS 
Lots of URLs were HTTP redirect to HTTPS. Changed those and checked them
if there's actual content. Inspired by
https://github.com/NixOS/nixpkgs/issues/60004
 2019-04-22 10:19:54 +02:00
Michael Raskin
3d3a415f24 petrinizer: init at 0.9.1.1 2019-04-16 15:11:03 +02:00
Austin Seipp
a5add1e623
symbiyosys: 2018.12.09 -> 2019.03.28 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-04-15 00:17:54 -05:00
Vincent Laporte
50a03f8632 hol_light: 2018-09-30 -> 2019-03-27 2019-04-06 11:03:29 +02:00
Gabriel Ebner
11318d1ba2 elan: 0.7.4 -> 0.7.5 2019-03-22 11:16:44 +01:00
Gabriel Ebner
52c3ee6c4d elan: 0.7.2 -> 0.7.4 2019-03-20 13:33:24 +01:00
Gabriel Ebner
be261a1ede isabelle: refactor 
Fixes #33337
 2019-03-14 11:48:30 +01:00
Gabriel Ebner
c7f43de43c isabelle: 2017 -> 2018 2019-03-12 14:32:48 +01:00
Silvan Mosberger
8ca1c925c6
sad: Fix build 2019-03-09 01:07:18 +01:00
R. RyanTM
4f1c44906c cryptominisat: 5.6.6 -> 5.6.8 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cryptominisat/versions
 2019-03-01 16:58:38 -08:00
John Ericson
8293ab8461
Merge pull request #56408 from Mic92/runtime-shell 
treewide: use runtimeShell instead of stdenv.shell whenever possible
 2019-02-26 18:04:27 -05:00
Jörg Thalheim
dadc7eb329
treewide: use runtimeShell instead of stdenv.shell whenever possible 
Whenever we create scripts that are installed to $out, we must use runtimeShell
in order to get the shell that can be executed on the machine we create the
package for. This is relevant for cross-compiling. The only use case for
stdenv.shell are scripts that are executed as part of the build system.
Usages in checkPhase are borderline however to decrease the likelyhood
of people copying the wrong examples, I decided to use runtimeShell as well.
 2019-02-26 14:10:49 +00:00
Merlin Göttlinger
5781856630 clprover: init at 1.0.3 (#56403) 
* clprover: init at 1.0.3
 2019-02-26 12:36:04 +00:00
Vincent Laporte
4266523c14 why3: 1.1.1 -> 1.2.0 2019-02-25 10:09:15 +01:00
Vladimír Čunát
32767d139f
Merge branch 'staging-next' 
This round is without the systemd CVE,
as we don't have binaries for that yet.
BTW, I just ignore darwin binaries these days,
as I'd have to wait for weeks for them.
 2019-02-20 09:38:45 +01:00
Vincent Laporte
e4035c3e0e
Merge pull request #55633 from vbgl/alt-ergo-2.3.0 
alt-ergo: 2.2.0 -> 2.3.0
 2019-02-19 09:53:57 +01:00
Frederik Rietdijk
6fe10d2779 Merge master into staging-next 2019-02-16 09:29:54 +01:00
Samuel W. Flint
52a7c4e30e z3: Patch file to get rid of python error 
See #55591, Z3Prover/z3#2131
 2019-02-14 10:11:15 -06:00
Vincent Laporte
e4a8af06d1
alt-ergo: 2.2.0 -> 2.3.0 2019-02-12 09:19:06 +00:00
Matthew Bauer
92f0f8dd68 Merge remote-tracking branch 'NixOS/master' into staging 2019-01-27 00:01:13 -05:00
Michael Raskin
cc74c0399e leo3: init at 1.2 2019-01-27 01:57:11 +01:00
Vincent Laporte
b76961124d coq_8_9: 8.9+beta1 -> 8.9.0 2019-01-24 09:08:51 +00:00
Michael Raskin
ebb370f680 z3-tptp: init 
Z3 ships a TPTP-supporting wrapper as an example; allow building it
 2019-01-22 16:51:18 +01:00
Vladimír Čunát
3fe32b675e
Merge branch 'master' into staging 2019-01-22 15:59:42 +01:00
Mario Rodas
9a18d9356d
lean: 3.4.1 -> 3.4.2 2019-01-20 06:46:37 -05:00
Austin Seipp
5069fa0a30 nixpkgs: remove sapic-0.9 
SAPIC is bundled with Tamarin and doesn't have separate releases
anymore; add an appropriate 'throw' clause to the alias so people know
where to find it.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
Austin Seipp
fc159594a7 tamarin-prover: 1.4.0 -> 1.4.1, bundled sapic 
With this, we can drop the old 1.4.0 patches for 8.4 support, since
those are now upstream.

Furthermore, SAPIC Is now bundled inside Tamarin, so we can drop the
external dependency. (This includes a patch that compiles SAPIC to
native code, much like the original, to reduce closure size.)

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-19 18:54:38 -06:00
rnhmjoj
bcf54ce5bb
treewide: use ${stdenv.shell} instead of /bin/sh where possible 2019-01-16 20:37:15 +01:00
Gabriel Ebner
49db581e8c elan: 0.7.1 -> 0.7.2 2019-01-15 10:05:45 +01:00
Austin Seipp
c10650760d yices: s/fetchurl/fetchFromGitHub/ 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp
38aa0a3df4 z3: 4.8.3 -> 4.8.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Austin Seipp
d77f381055 symbiyosys: 2018.09.12 -> 2018.12.09 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2019-01-08 19:15:24 -06:00
Simon Lackerbauer
f7367cbf1c abella: 2.0.5 -> 2.0.6 2019-01-08 17:05:30 +00:00
Jörg Thalheim
37fe593d48
cryptominisat: switch to python3 2019-01-05 16:38:10 +01:00
Jörg Thalheim
4a4d1d6497
cryptominisat: 5.0.1 -> 5.6.6 2019-01-05 12:45:44 +01:00
Vincent Laporte
ea92816c74 why3: 1.1.0 -> 1.1.1 (#52980) 2018-12-29 21:05:23 +01:00
Samuel Dionne-Riel
3c38cc8058
Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1 
aarch64: ZHF for aarch64 (1/??)
 2018-12-20 21:06:52 -05:00
R. RyanTM
ae22d3dc85 cubicle: 1.1.1 -> 1.1.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/cubicle/versions
 2018-12-16 17:24:47 +01:00
Samuel Dionne-Riel
5e1dfd3025 avy: Disable build on aarch64-linux 2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
7aabdea1ca aspino: Disable build on aarch64-linux 
This is due to glucose not building.
 2018-12-10 14:55:20 -05:00
Samuel Dionne-Riel
516f436614 glucose: Disable build on aarch64-linux 2018-12-10 14:55:20 -05:00
Will Dietz
a034d90e3b z3: 4.8.1 -> 4.8.3 
https://github.com/Z3Prover/z3/releases/tag/z3-4.8.3
 2018-11-27 22:00:19 -06:00
Gabriel Ebner
4e1323a0cf vampire: fix nondeterministic hash 
Probably related to #8567
 2018-11-22 14:15:55 +01:00
Gabriel Ebner
f505340252 iprover: 2.5 -> 2018_Jul_24_11h 2018-11-21 12:15:48 +01:00
R. RyanTM
5648699f6c ltl2ba: 1.2b1 -> 1.2 
Semi-automatic update generated by
https://github.com/ryantm/nixpkgs-update tools. This update was made
based on information from
https://repology.org/metapackage/ltl2ba/versions
 2018-11-19 02:28:38 -08:00
Jörg Thalheim
218f12db70
Merge pull request #50324 from asymmetric/solc 
solc: 0.4.25 -> 0.5.0
 2018-11-15 21:26:32 +00:00
Jörg Thalheim
abb0c81190
z3: restrict to x86_64 
it uses x86-only header:

include <immintrin.h>
          ^~~~~~~~~~~~~
compilation terminated.
src/sat/sat_probing.cpp
make: *** [Makefile:182: util/mpz.o] Error 1
make: *** Waiting for unfinished jobs....
src/sat/sat_parallel.cpp
builder for '/nix/store/vd2wkhic8g77izxv659ackh6hcaamic3-z3-4.8.1.drv' failed with exit code 2
cannot build derivation '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv': 1 dependencies couldn't be built
error: build of '/nix/store/h5imnjsf31c45l558gw66vyzb0ickc1m-solc-0.5.0.drv' failed
 2018-11-15 21:25:53 +00:00
Piotr Bogdan
5d0eeeee38 coq2html: switch to default make 2018-11-15 17:41:25 +00:00
Gabriel Ebner
b1c149d47a tptp: use urls instead of url 
nix-prefetch-url breaks if the url argument to fetchurl is a list.
 2018-11-15 15:56:18 +01:00
Gabriel Ebner
b3844d00f6 tptp: 7.1.0 -> 7.2.0 2018-11-15 15:50:48 +01:00
Gabriel Ebner
155595b0c7 eprover: 2.1 -> 2.2 2018-11-07 22:33:25 +01:00
Jörg Thalheim
b3ed2b4c18
Merge pull request #49728 from vbgl/acgtk-1.5.0 
acgtk: 1.3.1 -> 1.5.0
 2018-11-04 17:09:34 +00:00
Théo Zimmermann
dd21f83950 coq_8_9: init at 8.9+beta1 2018-11-04 07:26:29 +00:00
Vincent Laporte
08ac103970
acgtk: 1.3.1 -> 1.5.0 2018-11-04 06:29:27 +00:00
Kevin Quick
411c665f33
yices: 2.6.0 -> 2.6.1 2018-11-02 15:49:09 -07:00
Will Dietz
c417342cd2
Merge pull request #48579 from dtzWill/update/z3-4.8.1 
z3: 4.7.1 -> 4.8.1
 2018-11-02 04:02:24 -05:00
Jörg Thalheim
8df0ca2bbc
coq_8_4: remove 
verasco was its only user
 2018-10-30 13:31:11 +00:00
Joachim F
b6a5cd8970
Merge pull request #48812 from mpickering/cedille 
cedille bug fixes
 2018-10-24 15:29:47 +00:00
Matthew Pickering
08e5ef20d8 cedille: Make a seperate output for the base library 
For now, for normal usage you need to add `${cedille.lib}` to
the `~/.cedille/options` file so that cedille will find the base
libraries. There is no option to pass options by the command line.
 2018-10-22 08:43:07 +00:00
Matthew Pickering
f7d4bc2c71 cedille: Apply patch which unbreaks the options file 
See https://github.com/cedille/cedille/issues/29
 2018-10-22 08:42:01 +00:00
Vincent Laporte
c091e93b99
Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-package 
coq: add ocamlPackages in passthru
 2018-10-19 09:38:07 +00:00
Vincent Laporte
bc8d25c1ef
why3: 1.0.0 -> 1.1.0 2018-10-18 05:43:36 +00:00
Théo Zimmermann
fa12476755
coq: add ocamlPackages in passthru 
We might need OCaml packages that are not the one Coq is depending on
but they still need to come from the same package set (same OCaml version).
 2018-10-17 13:26:43 +02:00
Will Dietz
51e511130a z3: 4.7.1 -> 4.8.1 2018-10-16 12:28:06 -05:00
Matthew Pickering
43ae33728b cedille: init at 1.0.0 2018-10-14 19:17:23 +00:00
Moritz Kiefer
6738033727
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4 2018-10-13 17:45:45 +00:00
Vincent Laporte
6113d95235
prooftree: cleaning 2018-10-11 05:59:21 +00:00
Théo Zimmermann
2fdd38ed2d
camlp5_transitional: remove in favor of camlp5 (strict) 2018-10-10 19:44:54 +02:00
Théo Zimmermann
7ac0a23194
prooftree: 0.12 -> 0.13 2018-10-10 19:42:50 +02:00
Théo Zimmermann
c76ffb9253
matita: remove broken package 
As requested by Vincent Laporte.
 2018-10-09 09:47:31 +02:00
Théo Zimmermann
34394a38ef
ocamlPackages_3_11_2: remove 
This requires removing also the Coq 8.3 and Matita 0.5.8 packages.

Coq 8.3 was released 8 years ago (2010) and there is no trace left
of users of this version (contrary to Coq 8.4, released 2012).
It is well over time to remove it.

Matita 0.5.8 was released in 2010 and because this version was still
used for teaching according to the official website, a legacy release
(0.5.9) was released in 5 years later to compile with more recent
OCaml libraries.
Updating to 0.5.9 (or a more recent version like 0.99.3) should allow
getting rid of the dependency on older OCaml but it is hard to test
given that the package is already broken before this update.
 2018-10-08 21:10:05 +02:00
Marco Maggesi
9a5f7b1630 hol_light: 2017-07-06 -> 2018-09-30 
Also handle compatibility with newer version of OCaml (depend on num
library as needed).
 2018-10-06 15:49:09 +00:00
Gabriel Ebner
0a7e258012 elan: 0.5.0 -> 0.7.1 2018-10-04 16:33:36 +02:00
Austin Seipp
919a3b7f9c symbiyosys: 2018.07.26 -> 2018.09.12 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-10-01 22:32:54 -05:00
Will Dietz
eb91037e7b tree-wide: patchelf used during build -> nativeBuildInputs 
In a few cases it wasn't clear so I left them as-is.

While visiting these moved other things to nativeBuildInputs
when it was clear they were one of these cases:

* makeWrapper
* archive utilities (in order to unpack src)
  * a few of these might no longer be needed but leaving for another day
 2018-09-28 11:43:16 -05:00
Vincent Laporte
23900febe7 coq: 8.8.1 -> 8.8.2 (#47388) 2018-09-26 22:26:39 +02:00
Frederik Rietdijk
de419917a3 Merge master into staging-next 2018-09-18 18:44:48 +02:00
Maximilian Bosch
2cfc0bb7ee tamarin-prover: fix ghc 8.4 build (#46597) 
See https://hydra.nixos.org/build/81125645

`tamarin-prover' upstream has a patch to fix GHC 8.4 compilation (and
uses stack lts-12.1 now), but it's not released yet:

a08f6e4007

The build is divided in several derivations, therefore the patch had to
be splitted and rebased for `lib/term', `lib/theory' and `lib/utils' to
ensure that the patch applies properly during the `patchPhase'.

Addresses #45960
 2018-09-13 14:11:09 +02:00
Uli Baum
1df2560dde Merge branch 'master' into staging-next 2018-09-13 10:08:53 +02:00
Markus Kowalewski
258c202565
prooftree: add license 2018-09-08 14:44:43 +02:00
Frederik Rietdijk
b910b697f6 Merge master into staging 2018-09-02 12:10:33 +02:00
Markus Kowalewski
e5974ddaec
jonprl: update homepage 2018-09-02 00:36:01 +02:00
Vladimír Čunát
2d6179d1e8
Merge branch 'master' into staging 
A few trivial conflicts due to *Platforms mass replace.
 2018-09-01 17:38:18 +02:00
Gabriel Ebner
da3326902a vampire: fix nondeterministic hash 
Probably related to #8567
 2018-09-01 15:03:31 +02:00
John Ericson
2c2f1e37d4 reewide: Purge all uses stdenv.system and top-level system 
It is deprecated and will be removed after 18.09.
 2018-08-30 17:20:32 -04:00
Vladimír Čunát
8fc6472ace
gnome-documents, tlaplus: fix glib references 2018-08-30 19:47:41 +02:00
Matthew Bauer
f7bc33abf0 Revert "treewide: fixup breakage due to absolute compiler path" 
This reverts commit d0888d1503.
 2018-08-22 01:14:53 +02:00
Vladimír Čunát
d0888d1503
treewide: fixup breakage due to absolute compiler path 
Some packages just can't handle them #44767.  It was tempting to try
to abstract this in some way, but I didn't do that ATM.
 2018-08-21 12:34:33 +02:00
Vladimír Čunát
cbabebcc2e
Merge branch 'master' into staging-next 
Hydra: ?compare=1473892
 2018-08-17 13:45:21 +02:00
Austin Seipp
d5e496a2bb boolector: 2.4.1 -> 3.0.0, relicensed to MIT 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Austin Seipp
9b64100add btor2tools: init at pre55_8c150b39 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Austin Seipp
68cc845295 lingeling: init at pre1_03b4860d 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Austin Seipp
6e910b2b3d aiger: clean up configurePhase, install multi-output objects/headers 
The library and header files are useful for other tools, such as
the upcoming 'lingeling'.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-15 20:44:05 -05:00
Vladimír Čunát
00df25ee57
Merge branch 'master' into staging-next 
Hydra: ?compare=1472947
 2018-08-12 10:33:41 +02:00
Silvan Mosberger
68d3350433
Merge pull request #44837 from Infinisil/fix/sad 
sad: fix build
 2018-08-09 22:36:14 +02:00
Silvan Mosberger
e710f80018
sad: fix build 2018-08-09 22:13:44 +02:00
Frederik Rietdijk
d9fa74ba78 Merge master into staging 2018-08-09 18:28:15 +02:00
Austin Seipp
752284680b symbiyosys: 2018.05.03 -> 2018.07.26 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-08-08 19:49:42 -05:00
John Ericson
db965063b3 treewide: Make configureFlags lists 2018-08-03 17:06:03 -04:00
Frederik Rietdijk
f3088832df
Merge pull request #43899 from r-ryantm/auto-update/tla-toolbox 
tlaplusToolbox: 1.5.6 -> 1.5.7
 2018-07-22 08:44:58 +02:00
Ricardo M. Correia
0cf09556eb
why3: 0.88.3 -> 1.0.0 2018-07-21 22:53:44 +00:00
R. RyanTM
9882d5635c tlaplusToolbox: 1.5.6 -> 1.5.7 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/tla-toolbox/versions.
 2018-07-21 08:39:53 -07:00
Jörg Thalheim
218298b30f
Merge branch 'master' into unused5 2018-07-21 15:41:22 +01:00
volth
52f53c69ce pkgs/*: remove unreferenced function arguments 2018-07-21 02:48:04 +00:00
volth
6d2857a311 [bot] treewide: remove unused 'inherit' in let blocks 2018-07-20 19:38:19 +00:00
Gabriel Ebner
862e4e4fdb cvc4: fix homepage url 2018-07-16 15:58:22 +01:00
Mario Rodas
1c88d0c6bd z3: fix darwin build (#43526) 2018-07-14 21:49:47 +02:00
Will Dietz
efdf4711d8
Merge pull request #43445 from dtzWill/fix/yices-symlink 
yices: fix symlink created to match version
 2018-07-13 10:11:49 -05:00
Will Dietz
f731c99e7d abc-verifier: 20160818 -> 2018-07-08 
Now hosted on github.
 2018-07-12 21:44:56 -05:00
Will Dietz
946a65ca5c yices: use lib.splitString, not everyone has builtins.splitVersion 2018-07-12 19:11:06 -05:00
Will Dietz
237c8f4148 yices: simplify ln command 2018-07-12 18:52:10 -05:00
Will Dietz
6ff8685057 yices: fix symlink to match version of package 
To help avoid this happening again, derive the string to use
from the version directly instead of embedding it in installPhase.
 2018-07-12 18:46:28 -05:00
Will Dietz
d3a595f190 libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern style 2018-07-12 17:06:57 -05:00
Austin Seipp
54e9f7dcbe z3: move to multiple output packages 
The Z3 source code is effectively compiled into two completely separate
objects: the z3 binary file, and the libz3.so library -- but the binary is not
linked against the shared library, it simply incorporates all of the object
files. The Z3 code base results in an ~25MB object on x86_64-linux. As a
result, splitting bin/ and lib/ results in a 50% reduction in closure size.

(The include/ directory is also surprisingly large at .5MB...)

This also splits the python API into a completely separate .python attribute,
as well.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-07-12 15:48:48 -05:00
Frederik Rietdijk
04cae0e5fb
Merge pull request #43333 from r-ryantm/auto-update/libpoly 
libpoly: 0.1.4 -> 0.1.5
 2018-07-11 19:01:02 +02:00
R. RyanTM
40e648b7ab yices: 2.5.4 -> 2.6.0 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/yices/versions.
 2018-07-11 08:45:45 -05:00
R. RyanTM
a89b538f0b libpoly: 0.1.4 -> 0.1.5 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools. This update was made based on information from https://repology.org/metapackage/libpoly/versions.
 2018-07-11 02:29:13 -07:00
Dan Peebles
1dd7bc7dfc monosat: update build to use handy new environment variable 2018-07-08 22:04:05 -04:00
Dan Peebles
0372c87481 monosat: cbaf79cf -> 2deeadef 
Upstream fixed a few things I needed to work around
 2018-07-08 21:57:00 -04:00
Dan Peebles
631dd7a4e9 monosat: init at 1nx3wh34 
Also includes the python and java bindings (although java is only
currently enabled on Linux)
 2018-07-08 12:43:29 -04:00
Will Dietz
67986382e4
Merge pull request #43071 from dtzWill/fix/vampire-portability 
vampire: portability fixes
 2018-07-05 11:13:42 -05:00
Gabriel Ebner
bec83a2b9e cvc4: 1.5 -> 1.6 2018-07-05 17:57:06 +02:00
Will Dietz
7353d8396d vampire: enable parallel building 2018-07-05 10:13:40 -05:00
Will Dietz
600abbedc9 vampire: portability fixes 
These have been submitted upstream,
but seconds before writing this message
so naturally no upstream response "yet" :).

Regardless of response, fetch patches
from the corresponding PR's for context
and of course hopefully they'll
be included in next version.
 2018-07-05 10:13:32 -05:00
Will Dietz
8e6db30bb7 vampire: use CC/CXX from env, instead of always g++ 2018-07-05 10:11:32 -05:00
Gabriel Ebner
7c63a9cac2 eprover: 2.0 -> 2.1 2018-07-05 12:26:43 +02:00
Gabriel Ebner
57ae4e8d8e vampire: init at 4.2.2 2018-07-05 09:34:28 +02:00
R. RyanTM
a431e4f207 clingo: 5.2.2 -> 5.3.0 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/clingo/versions.

Version release notes (from GitHub):
# Packages

- The easiest way to obtain Python enabled clingo packages is using [Anaconda][ana]. Packages are available in the [Potassco channel][pch]. First [install either Anaconda or Miniconda][ins] and then run: `conda install -c potassco clingo`.
- Packages for clingo are available in the Linux distributions [Debian][deb], [Ubuntu][ubu], and [Arch Linux (AUR)][aur].
- For Mac OS X, clingo packages are available in [homebrew][hbr] and [macports][mac].

# Changes

* change C API to use numeric instead of symbolic literals
  * affects assumptions and assigning/releasing externals (breaks backward compatibility)
  * added overloads to C++, python and lua API to support both numeric and symbolic version (preserves backward compatibility for most code)
* the python, C and C++ APIs now allow for customizing clingo by implementing a custom main function but reusing the rest of the application including the standard output
* add API function to detect conflicting programs
* add message logger to python and lua interface
* add support for primes in the beginning of identifiers and variable names
* add per solver registration of watches during propagator initialization
* add a directive to selectivel suppress undefined atom warnings
* add support for user defined statistics
* add _to_c functions for python API to be able to call C functions from python
* only create ground representations for requested program parts when grounding (#71)
* improve program observer (#19)
* support for binary, octal, and hexadecimal numbers (#65)
* the backend has to be opened/closed now
* release python's GIL while grounding (#82)
* TruthValue.{True,False} becomes TruthValue.{\_True,\_False} in python API
* improve API and it's documentation

[deb]: https://www.debian.org/
[ubu]: https://www.ubuntu.com/
[aur]: https://aur.archlinux.org/
[hbr]: https://brew.sh/
[mac]: https://www.macports.org/
[ana]: https://conda.io
[pch]: https://anaconda.org/potassco/clingo
[ins]: https://conda.io/docs/user-guide/install/index.html

These checks were done:

- built on NixOS
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/lpconvert passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clasp passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/reify passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/gringo passed the binary check.
- /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0/bin/clingo passed the binary check.
- 5 of 5 passed binary check by having a zero exit code.
- 0 of 5 passed binary check by having the new version present in output.
- found 5.3.0 with grep in /nix/store/484fg7w1fr5xh2avc4g7811mxq3v3p9x-clingo-5.3.0
- directory tree listing: https://gist.github.com/bba2eaf1d132fbdd88a2710a6030c419
- du listing: https://gist.github.com/230340bfa02557290a60cfc6d2e7e977
 2018-07-04 11:23:33 -07:00
Théo Zimmermann
314eb884ec
coq_8_8: 8.8.0 -> 8.8.1 2018-06-29 11:10:31 +02:00
Silvan Mosberger
57bccb3cb8 treewide: http -> https sources (#42676) 
* treewide: http -> https sources

This updates the source urls of all top-level packages from http to
https where possible.

* buildtorrent: fix url and tab -> spaces
 2018-06-28 20:43:35 +02:00
Ryan Mulligan
fce8f26af6 treewide: http -> https (#42665) 2018-06-27 22:12:57 +02:00
Ryan Mulligan
0d5eb901ad treewide: http -> https 2018-06-23 04:34:55 -07:00
R. RyanTM
517d5ff6e1 cryptoverif: 1.28 -> 2.00 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/cryptoverif/versions.

These checks were done:

- built on NixOS
- /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00/bin/cryptoverif passed the binary check.
- 1 of 1 passed binary check by having a zero exit code.
- 0 of 1 passed binary check by having the new version present in output.
- found 2.00 with grep in /nix/store/449i03imd329g3yi4gbmcbq9pv5ijpib-cryptoverif-2.00
- directory tree listing: https://gist.github.com/b4cdf4e1befb51addd9b1dc1c39d78d9
- du listing: https://gist.github.com/18190fb11f51471790dcc668635aba6a
 2018-06-06 14:40:27 -05:00
Will Dietz
edbebe7214 z3: 4.6.0 -> 4.7.1 2018-05-30 16:54:21 -05:00
Ben Darwin
de897bacea celf: init at 2013-07-25 (#41141) 2018-05-28 21:27:53 +02:00
Vincent Laporte
ae23bb2bcc
proverif: 1.97pl1 -> 2.00 2018-05-22 06:58:10 +00:00
Gabriel Ebner
0db951db83 elan: 0.3.2 -> 0.5.0 2018-05-14 09:40:13 +02:00
Austin Seipp
04002e2b71 tamarin-prover: 1.3.1 -> 1.4.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-05-07 11:17:49 -05:00
Jörg Thalheim
d1ad5bf95d
Merge pull request #40113 from wchresta/tamarin/fix 
tamarin-prover: Fix compile issues
 2018-05-07 13:49:50 +01:00
Wanja Chresta
ee95ed11ca tamarin-prover: Fix compile issues 2018-05-07 12:18:06 +02:00
Gabriel Ebner
5347d89420
Merge pull request #40093 from r-ryantm/auto-update/lean 
lean: 3.3.0 -> 3.4.1
 2018-05-07 11:31:23 +02:00
R. RyanTM
639376aff6 lean: 3.3.0 -> 3.4.1 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/lean/versions.

These checks were done:

- built on NixOS
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean -h’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/lean --help’ got 0 exit code
- ran ‘/nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1/bin/leanpkg help’ got 0 exit code
- found 3.4.1 with grep in /nix/store/kdbjdracd2m6fv18k9kc5bcmr0p60glx-lean-3.4.1
- directory tree listing: https://gist.github.com/198504c00746718749b3019653fe78fd
 2018-05-07 02:24:49 -07:00
Austin Seipp
301f14e993 symbiyosys: 2018.03.21 -> 2018.05.03 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-05-03 20:06:20 -05:00
Matthew Bauer
143978a477 treewide: remove platform assertions 
linux: readd assertion
 2018-05-03 13:09:20 -05:00
Jörg Thalheim
838db3b85d
Merge pull request #39529 from r-ryantm/auto-update/ott 
ott: 0.27 -> 0.28
 2018-04-26 09:14:36 +01:00
R. RyanTM
769093b867 ott: 0.27 -> 0.28 
Semi-automatic update generated by https://github.com/ryantm/nixpkgs-update tools.

This update was made based on information from https://repology.org/metapackage/ott/versions.

These checks were done:

- built on NixOS
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott --help’ got 0 exit code
- ran ‘/nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28/bin/ott.opt --help’ got 0 exit code
- found 0.28 with grep in /nix/store/2lbl8zpp2lrrh9pgh2gnyhimq6i86rl1-ott-0.28
- directory tree listing: https://gist.github.com/177f63b8c23bae6301ced29fb0e617c4
 2018-04-26 00:52:29 -07:00
Michiel Derhaeg
189a4f3656 verifast: 14.5 -> 18.02 (#39480) 2018-04-25 22:54:57 +01:00
Matthew Justin Bauer
0d8e415d6b
Merge pull request #38969 from vbgl/coq-findlib 
coq: fix installation of OCaml libraries
 2018-04-20 18:02:52 -05:00
Vincent Laporte
76a43d765c coq: 8.8+beta1 -> 8.8.0 2018-04-18 14:37:04 +02:00
Jörg Thalheim
5dc7a70f65
Merge pull request #38589 from badi/tlatools 
Add TLAPS and TLA+ Toolbox
 2018-04-17 14:51:35 +01:00
Badi Abdul-Wahid
c4ef846c92
tlaplusToolbox: init at 1.5.6 2018-04-16 22:18:47 -04:00
Badi Abdul-Wahid
d14a476054
tlaps: init at 1.4.3 2018-04-16 21:18:42 -04:00
Vincent Laporte
dc4a8435f0
symbiyosys: larger meta.platforms 2018-04-16 11:47:48 +00:00
Vincent Laporte
caec7dbb9f
coq: fix installation of OCaml libraries 2018-04-15 11:24:17 +00:00
Vincent Laporte
5f97adccdc
coq: move some attributes inside passthru 2018-04-15 11:24:17 +00:00
Gabriel Ebner
9df0c12cde elan: 0.3.0 -> 0.3.2 2018-04-13 09:28:28 +02:00
Gabriel Ebner
99ee7fd311 elan: add leanchecker proxy 2018-04-11 19:08:22 +02:00
Gabriel Ebner
a378389ac2 elan: 0.1.0 -> 0.3.0 2018-04-11 18:05:15 +02:00
Gabriel Ebner
a14ae55c04 elan: init at 0.1.0 2018-04-10 18:38:45 +02:00
Matthew Justin Bauer
72a54f3b6d
Merge pull request #38260 from symphorien/tamarin-vim 
tamarin-prover: install vim syntax highlighting files
 2018-04-08 21:47:12 -05:00
Austin Seipp
86c5420a2e nixpkgs: remove z3 4.5.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-04-07 23:02:59 -05:00
Jörg Thalheim
d307ab5ca3
Merge pull request #38416 from bcdarwin/beluga 
beluga: init at 20180403
 2018-04-06 00:34:47 +01:00
Ben Darwin
9f70551937 beluga: init at 20180403 2018-04-04 17:24:28 -04:00
Ben Darwin
d2c20d3a21 abella: 2.0.4 -> 2.0.5 2018-04-04 08:15:01 +02:00
Matthew Justin Bauer
2cd044b2fe
Merge pull request #37465 from timor/workcraft 
workcraft: init at 3.1.9
 2018-03-31 19:15:13 -05:00
Symphorien Gibol
d432cb7fdb tamarin-prover: install vim syntax highlighting files 
note that this was tested on 13e74a838d
because tamarin-prover does not build on master...
 2018-03-31 23:55:03 +02:00
John Wiegley
bee172501d
Merge pull request #37591 from vbgl/coq-88beta1 
coq: init at 8.8+beta1
 2018-03-23 22:09:06 -07:00
Daiderd Jordan
23d0c17130
picosat: fix darwin build 
/cc ZHF #36454
 2018-03-24 02:11:58 +01:00
Austin Seipp
011e70155b symbiyosys: 2018.03.07 -> 2018.03.21 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-21 16:05:10 -05:00
Vincent Laporte
6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
timor
42368e23f5 workcraft: init at 3.1.9 2018-03-21 14:27:12 +01:00
Gabriel Ebner
fe7d82e6a6
Merge pull request #36933 from Ma27/fix-aspino 
aspino: fix build
 2018-03-17 13:06:23 +01:00
Maximilian Bosch
29bc0a00a1
aspino: fix build 
Aspino patched `libglucose` for their own uses, however they currently
depend on glucose v4.0.
(see e31c3b4e57/patches)

The patches don't apply properly on `glucose-4.1` anymore, furthermore
the new source directory caused the `bootstrap.sh` from `aspino` which
was supposed to apply the patches and recompile the setup to break.

Furthermore some minor changes to the derivation were introduced:

- upgraded from `2016-01-31` to `2017-03-09`
- the name contains an `-unstable-` infix as upstream has no releases
- instead of a `patchPhase` the `postPatch` hook will be used for
  `substituteInPlace` to keep advanced patching features from `nixpkgs`
  available.
- `patchShebangs` will be called to avoid impurities because of the
  implicit reliance on `/bin/sh`
- added myself as second maintainer to have more people available in
  case of any further breackage

See https://hydra.nixos.org/build/70688471/log
See ticket #36453
 2018-03-17 13:02:51 +01:00
Ryan Mulligan
9e0ce6562a ltl2ba: 1.1 -> 1.2b1 
Semi-automatic update generated by https://github.com/ryantm/nix-update tools. These checks were done:

- built on NixOS
- Warning: no binary found that responded to help or version flags. (This warning appears even if the package isn't expected to have binaries.)
- found 1.2b1 in filename of file in /nix/store/jx5s7w6bmd6lfqvxl2lly3ggd4k9ncax-ltl2ba-1.2b1
 2018-03-14 21:06:53 -07:00
volth
7ec0471242 treewide: s/xlibs/xorg/g (#36889) 2018-03-13 10:16:03 +00:00
Vincent Laporte
903f4dd3d4
clingo: fix build on non-sandboxed darwin 2018-03-12 17:07:18 +00:00
Vincent Laporte
eedc173276
clingo: fix URL 2018-03-12 16:51:54 +00:00
Michael Raskin
fafeac185b tptp: 7.0.0 -> 7.1.0 2018-03-12 16:58:21 +01:00
Austin Seipp
de1cb85b20 symbiyosys: 2018.02.04 -> 2018.03.07 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-08 21:23:20 -06:00
wchresta
c6d3f0d3c6 tamarin-prover: 1.3.0 -> 1.3.1 2018-03-08 21:03:18 +01:00
Vladimír Čunát
565bd805e6
Merge branch 'master' 2018-03-05 14:53:27 +01:00
Austin Seipp
7270f2139a tlaplus: init at 1.5.6 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-03-02 21:20:54 -06:00
Ryan Mulligan
72a22296dd cryptoverif: 1.22 -> 1.28 
Semi-automatic update. These checks were performed:

- built on NixOS
- ran `/nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28/bin/cryptoverif --help` got 0 exit code
- found 1.28 with grep in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
- found 1.28 in filename of file in /nix/store/p13fvkr38qrak3ng6lpmj4z1palhr2in-cryptoverif-1.28
 2018-02-26 08:32:20 +01:00
Alexander V. Nikolaev
0acec7e984 treewide: transition mesa to libGLU_combined 2018-02-24 17:06:49 +02:00
Vladimír Čunát
b5aaaf87a7
Merge staging and PR #35021 
It's the last staging commit (mostly) built on Hydra,
and a minimal fix for Darwin regression in pysqlite.
 2018-02-16 09:13:12 +01:00
John Wiegley
90252481bf coq: 8.7.1 -> 8.7.2 2018-02-15 23:12:43 -08:00
Vincent Laporte
e75009ecdc
eprover: fix build in non-GCC environments 2018-02-14 22:46:12 +00:00
Frederik Rietdijk
672bb6b4ab Merge remote-tracking branch 'upstream/master' into HEAD 2018-02-14 21:30:08 +01:00
Jörg Thalheim
6ec8fe0408 z3: also needs setuptools 2018-02-14 10:01:25 +00:00
Will Dietz
2974ed9266 avy: fixes to work with clang and musl 2018-02-13 09:44:52 -06:00
Will Dietz
cbdd20878e cvc4: build in parallel 2018-02-13 09:44:45 -06:00
Will Dietz
12e60c232a cvc4: patch up fpu_control usage 2018-02-13 09:44:45 -06:00
Will Dietz
4c767417ea picosat: fix ar and ranlib usage for cross 2018-02-13 09:44:32 -06:00
Will Dietz
36b2706916 picosat: fixup include for unistd.h 2018-02-13 09:44:32 -06:00
Will Dietz
46cbded0de boolector: patch usage of ar and ranlib for cross 
eep.
 2018-02-13 09:44:32 -06:00
Will Dietz
9138d055bf boolector: fix missing stdint.h include 2018-02-13 09:44:31 -06:00
Austin Seipp
0e371a60a5 symbiyosys: 2018.01.10 -> 2018.02.04 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-02-04 11:59:35 -06:00
Will Dietz
a5a64cfcb1 lean: fixup nativeBuildInputs vs buildInputs 2018-01-22 17:19:02 -06:00
Yegor Timoshenko
506c89c30a maintainers: remove mornfall from packages 2018-01-17 05:17:33 +00:00
Vincent Laporte
aee1cebda7
why3: 0.88.1 -> 0.88.3 2018-01-14 05:51:06 +00:00
Austin Seipp
4d4340805b symbiyosys: 2017.12.06 -> 2018.01.10 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-01-10 14:00:58 -06:00
Austin Seipp
ebeb95d18b z3: 4.5.0-2017-11-06 -> 4.6.0 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2018-01-03 21:44:56 -06:00
Vladimír Čunát
1fcd92ce92
Merge branch 'master' into staging 
A few thousand rebuilds from master, again.
Hydra: ?compare=1422362
 2017-12-31 09:53:49 +01:00
John Ericson
4d2b763817
Merge pull request #26805 from obsidiansystems/cross-elegant 
Make cross compilation elegant
 2017-12-30 22:58:02 -05:00
John Ericson
046f091e0d treewide: Don't use envHook anymore 
This commits needs a MAJOR audit as I oftentimes just guessed which of
`$hostOffset`, `$targetOffset`, or a fixed offset should be used.
 2017-12-30 22:04:22 -05:00
Austin Seipp
ff555bdaeb tamarin-prover: enable tests 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:39:38 -06:00
Austin Seipp
bae2e7ceb3 nixpkgs: add sapic as a dependency to tamarin-prover 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:01:29 -06:00
Austin Seipp
3813ab2589 nixpkgs: init sapic 0.9 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:01:29 -06:00
Austin Seipp
a31bdc0739 nixpkgs: add 'graphviz' to tamarin-prover dependencies 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 19:01:29 -06:00
Austin Seipp
abcfa6f608 nixpkgs: add tamarin-prover 1.3.0 (dev) tool 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-30 18:23:15 -06:00
Vincent Laporte
b320538f4c
coq: lablgtk is only needed for coqide 2017-12-23 11:11:56 +00:00
John Wiegley
f962f33593 Specify the coq version in a more consistent location 2017-12-21 01:24:35 -08:00
Vincent Laporte
4c454a3208
coq: minor cleaning 2017-12-18 15:30:36 +00:00
Orivej Desh
c13c93f03b drat-trim: fix build on darwin 2017-12-17 13:19:34 +00:00
Orivej Desh
d8f668c7b3
Merge pull request #32643 from kini/drat-trim 
drat-trim: init at 2017-08-31
 2017-12-17 00:31:25 +00:00
Keshav Kini
7b6b074829 drat-trim: init at 2017-08-31 
DRAT-trim is a tool which can be used to make SAT solvers (such as
glucose and glucose-syrup, which are in nixpkgs) more useful by
checking their work.  It has become well-accepted in the SAT solver
development community and has been used in the annual SAT competitions
for the last few years.
 2017-12-17 00:27:52 +00:00
Vincent Laporte
12c5fe3e2d ocamlPackages.cairo2: 0.4.6 -> 0.5 2017-12-16 12:14:35 +01:00
John Wiegley
40627000f7 coq_8_7: 8.7.0 -> 8.7.1 2017-12-15 22:09:15 -08:00
John Wiegley
2e93f93b2a z3_4_5_0: New expression, to access the release version's API 2017-12-14 23:32:37 -08:00
Pascal Wittmann
aacf756ed0
Merge pull request #32538 from vbgl/ott-0.27 
ott: 0.25 -> 0.27
 2017-12-14 09:07:46 +01:00
Vincent Laporte
b212125b54
Merge pull request #32250 from vbgl/coq-clean 
coq_HEAD, coqPackages_8_4: remove
 2017-12-11 18:13:24 +01:00
Vincent Laporte
1ccd3b9755
ott: 0.25 -> 0.27 2017-12-10 11:49:05 +00:00
Vladimír Čunát
2309acf723
Merge branch 'master' into staging 2017-12-09 21:00:07 +01:00
Orivej Desh
9f8ec7e4d3 stp: disable parallel building 2017-12-07 08:52:42 +00:00
Austin Seipp
520fa67746 nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-12-06 22:07:57 -06:00
Vincent Laporte
e36cb93283
coq_HEAD: remove 2017-12-02 08:38:58 +00:00
Keshav Kini
2d91801242 glucose-syrup: Remove unused fetchurl argument 2017-12-01 21:13:21 -08:00
Vincent Laporte
a8da423332
acgtk: fix for yojson ≥ 1.4 2017-11-27 17:00:15 +00:00
Moritz Kiefer
c0f08557b9 why3: 0.87.3 -> 0.88.1 2017-11-15 10:15:12 +01:00
Michael Raskin
20b6b3cf0e clingo: init at 5.2.2 
Note that clasp (included in clingo) is already packaged separately, but
only an earlier version. As it is used by OPAM, but will stop being used
by OPAM later (and I want to grab the name for Clasp the Common Lisp
implementation), I decided to package clingo as a whole (as recommended),
but to leave clasp until OPAM stops needing it.
 2017-11-10 14:04:32 +01:00
Austin Seipp
063e4dca79 z3: update to latest git 
This has some nice improvements, like new string and real arithmetic solvers.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-09 13:20:01 -06:00
Michael Raskin
27f7999280 glucose, glucose-syrup: 4.0 -> 4.1 2017-11-08 09:55:29 +01:00
Austin Seipp
5fc4f17862 yices: 2.5.3 -> 2.5.4 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
Austin Seipp
e27e0ebe48 cvc4: unstable-2017-05-18 -> 1.5 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
Austin Seipp
9cb5201d33 yosys/symbiyosys: 2017.10.16 -> 2017.11.05 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-11-05 12:49:38 -06:00
John Wiegley
89720d851a
coqPackages_8_7: New expression, but don't make it the default yet 2017-10-22 12:43:27 -07:00
Austin Seipp
cd52a3d53c aiger: fix stupid incorrect download link 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 13:01:51 -05:00
Austin Seipp
635fbcbd33 nixpkgs: add aiger 1.9.9 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
b72f543f96 picosat: install more stuff 
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
e84cec2762 nixpkgs: add 'avy' -- property directed AIGER model checking 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Austin Seipp
740fb165da nixpkgs: add symbiyosys, for HDL verification flows 
Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-10-16 12:01:17 -05:00
Simon Lackerbauer
800f751740 abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
Vincent Laporte
1529938fc3
cubicle: 1.0.2 -> 1.1.1 2017-10-11 07:38:27 +00:00
Maxime Dénès
d1e1ee7b09 coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
Gabriel Ebner
a936d9d6dc isabelle: 2016-1 -> 2017 2017-10-10 11:18:57 +02:00
Orivej Desh
f137004179 Merge branch 'master' into staging 
* master: (81 commits)
  Add NixOS 17.09 AMIs
  gradle: 4.2 -> 4.2.1
  maintainers.nix: use my GitHub handle as maintainer name
  fcitx-engines.rime: init at 0.3.2
  brise: init at 2017-09-16
  librime: init at 1.2.9
  marisa: init at 0.2.4
  opencc: build shared library and programs
  josm: 12712 -> 12914
  exa: 0.7.0 -> 0.8.0
  krb5: add deprecation date for old configuration
  rustRegistry: 2017-09-10 -> 2017-10-03
  go-ethereum: Fix libusb segmentation faults on Darwin
  tor-browser-bundle-bin: 7.0.5 -> 7.0.6
  libsodium: 1.0.13 -> 1.0.15
  tor-browser-bundle: geoip support
  tor-browser-bundle: support transports obfs2,obfs3
  tor-browser-bundle: bump https-everywhere to 2017.9.12
  tint2: limit platforms to Linux since macOS is not supported and fails the tests
  eclipse-plugin-vrapper: init at 0.72.0
  ...
 2017-10-03 17:46:39 +00:00
Gabriel Ebner
dcd5580909 tptp: 6.4.0 -> 7.0.0 2017-10-02 11:46:33 +02:00
John Ericson
f037625f87 Merge remote-tracking branch 'upstream/staging' into deps-reorg 2017-09-28 12:32:57 -04:00
Tuomas Tynkkynen
4acb425c39 darwin: Disable yet another bunch of packages never having built successfully 
cjdns: https://hydra.nixos.org/build/61134279
jonprl: https://hydra.nixos.org/build/61123711
mate.libmatemixer: https://hydra.nixos.org/build/61126968
dirac: https://hydra.nixos.org/build/61132432
idnkit: https://hydra.nixos.org/build/61123544
trousers: https://hydra.nixos.org/build/61109766
packetdrill: https://hydra.nixos.org/build/61116190
osm2pgsql: https://hydra.nixos.org/build/61118017
nawk: https://hydra.nixos.org/build/61139000
 2017-09-22 21:16:39 +03:00
Vincent Laporte
3b7c68615e abella: fix build with OCaml ≥ 4.03 2017-09-22 03:32:06 +00:00
John Ericson
531e4b80c9 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 
Only acts on one-line dependency lists.
 2017-09-21 15:49:53 -04:00
Franz Pletz
b19fa00e3e
Revert "mcrl2: force use of gcc5 to prevent compilation errors" 
This reverts commit 5e5e57b57b.

Already fixed with edd94f5fcd.
 2017-09-15 21:51:35 +02:00
Gabriel Ebner
aad00e35db lean: 3.2.0 -> 3.3.0 2017-09-15 08:48:02 +02:00
Vincent Laporte
cc5491d02c proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
Maarten Hoogendoorn
5e5e57b57b mcrl2: force use of gcc5 to prevent compilation errors 2017-09-10 15:09:46 +02:00
Markus Mueller
edd94f5fcd mcrl2: 201409 -> 201707 2017-09-08 18:26:25 +02:00
Théo Zimmermann
9efd7a9b6e coq_8_7: init at 8.7+beta1 2017-09-06 21:16:41 +02:00
Théo Zimmermann
a26bbe547e coq: fetch source from GitHub 2017-09-06 21:16:41 +02:00
Gabriel Ebner
b2eff3c60d eprover: 1.9.1 -> 2.0 2017-09-05 13:59:07 +02:00
Austin Seipp
54ae0aa1b0 z3_opt: remove and replace with z3 
Z3 has supported optimization features since the 4.4.x release, so this can be
removed.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-09-02 04:19:11 -05:00
Austin Seipp
583ebc086c yices: now under GPLv3 
This means Hydra can build it now!

Signed-off-by: Austin Seipp <aseipp@pobox.com>
 2017-09-02 04:19:11 -05:00
Will Dietz
c8f2e3f95f cvc3: Add gcc6 patch from Gentoo. 
https://gitweb.gentoo.org/repo/gentoo.git/plain/sci-mathematics/cvc3/files/cvc3-2.4.1-gccv6-fix.patch
 2017-08-29 13:48:09 -05:00
Lukas Werling
f0a1ab78b4 meson/ninja: add setup hooks (#28444) 
* Add setupHook for meson/ninja build

* libhttpseverywhere: Use meson/ninja setupHooks

* jamomacore: Remove superfluous ninja buildInput

* Remove obsolete ninja buildPhases

These are all handled by ninja's setup hook.

* lean2, xcbuild: fix build with ninja setup hook

Ninja is a runtime dependency here. However, cmake can generate Ninja
build files as well to satisfy the setup hook.

* qtwebengine: fix build with ninja setup hook
 2017-08-27 19:42:21 +02:00
Will Dietz
db66c996bf yices: 2.5.2 -> 2.5.3 
Move to github URL, homepage seems to be down currently.
 2017-08-27 10:10:48 -05:00
Will Dietz
3ab85383a0 libpoly: 0.1.3 -> 0.1.4 2017-08-27 10:10:47 -05:00
Gabriel Ebner
7da15a071d open-wbo: init at 2.0 2017-08-20 10:19:46 +02:00
Gabriel Ebner
acf01cbc6c lean2: 2016-11-29 -> 2017-07-22 
This will also fix the build issues with GCC 6.
 2017-08-19 15:24:35 +02:00
Matthew Bauer
b3d8c08a55 acgtk: fix homepage url 2017-08-17 15:04:37 -07:00
Matthew Bauer
99c868c010 use https://github.com for all homepages 
GitHub does a redirect to https:// when you use http://

repology complains with:

“Homepage link "https://github.com/…" is dead (HTTP error 404) for more than a month.”

This will fix some of them (not all though)
 2017-08-17 14:53:40 -07:00
Frederik Rietdijk
6e386925ac Merge pull request #28229 from jpierre03/pr-alt-ergo 
alt-ergo: use https instead of http to fetch archive
 2017-08-13 22:01:59 +02:00
Frederik Rietdijk
13bbaee21d Merge pull request #27881 from mimadrid/fix/http-https 
Update homepage attributes: http -> https
 2017-08-13 21:53:20 +02:00
Jean-Pierre PRUNARET
184d2e7977 alt-ergo: use https instead of http to fetch archive 2017-08-13 13:26:30 +02:00
Will Dietz
fbb6b90ed0 yices: 2.5.1 -> 2.5.2 2017-08-12 13:02:33 -05:00
Théo Zimmermann
057ffcf0dd coq: adding myself to the maintainers 2017-08-04 19:52:55 +02:00
Théo Zimmermann
b25d65e051 coq: use camlp5_strict 
The versions of Coq available through this expression do not actually
require camlp5_transitional. We drop this dependency to see if, in the
future, the package camlp5_transitional can be removed from nixpkgs.
 2017-08-04 19:52:54 +02:00
Théo Zimmermann
c0dca2fb00 coq: 8.6 -> 8.6.1 2017-08-04 19:52:51 +02:00
mimadrid
09e0cc7cc7
Update homepage attributes: http -> https 
Homepage link "http://.../" is a permanent redirect to "https://.../" and should be updated
https://repology.org/repository/nix_stable/problems
 2017-08-03 11:56:15 +02:00
Silvan Mosberger
f5fa5fa4d6 pkgs: refactor needless quoting of homepage meta attribute (#27809) 
* pkgs: refactor needless quoting of homepage meta attribute

A lot of packages are needlessly quoting the homepage meta attribute
(about 1400, 22%), this commit refactors all of those instances.

* pkgs: Fixing some links that were wrongfully unquoted in the previous
commit

* Fixed some instances
 2017-08-01 22:03:30 +02:00
John Wiegley
ea8798acc6
coq2html: New expression 2017-08-01 09:30:20 -07:00
Peter Hoeg
45248be2aa cryptominisat: use new xxd package instead of vim 2017-07-24 09:37:58 +08:00
Franz Pletz
e69dfc252a
Revert "coq2html: New expression" 
This reverts commit 31437ccf7a.
 2017-07-20 19:36:50 +02:00
John Wiegley
31437ccf7a
coq2html: New expression 2017-07-20 11:51:25 -04:00
Symphorien Gibol
d7103eadc8 boolector: 1.{5,6} -> 2.4.1 2017-07-18 23:50:31 +02:00
Gabriel Ebner
7ba1c7a9fb iprover: 0.8.1 -> 2.5 2017-07-17 22:45:27 +01:00
Vladimír Čunát
371ad29661
abc-verifier: fix typo in meta 2017-07-15 09:27:41 +02:00
Michael Raskin
dcbe96d260 Merge pull request #27197 from kquick/master 
yices library: enable full functionality by adding libpoly polynomial library and fix soname linking.
 2017-07-08 22:37:12 +02:00
Vincent Laporte
eb2be6d97e acgtk: 1.1 -> 1.3.1 2017-07-08 08:52:02 +02:00
Vincent Laporte
43b2b55743 hol_light: 2016-07-23 -> 2017-07-06 2017-07-08 06:14:43 +00:00
Kevin Quick
6cbd9ce8f9 Fix license reference for added libpoly library. 2017-07-07 12:54:32 -07:00
Kevin Quick
6387a7ec8b Update yices to add libpoly/mcsat functionality and add soname target. 2017-07-06 21:31:38 -07:00
Kevin Quick
8ff05c85ee Add poly library for manipulating polynomials. 2017-07-06 21:30:30 -07:00
Gabriel Ebner
89e02c7516 lean: 3.1.0 -> 3.2.0 2017-06-18 20:04:30 +02:00
Samuel Leathers
fdbcee03fe minisat: fix maintainer 2017-05-22 23:55:05 -04:00
Jörg Thalheim
2549be898d
stp: 2014.01.07 -> 2.2.0 2017-05-22 22:25:45 +01:00
Jörg Thalheim
893c7b6112
cryptominisat: init at 5.0.1 2017-05-22 22:25:14 +01:00
Jörg Thalheim
7786922240
minisatUnstable: init at 2013-09-25 2017-05-22 22:24:58 +01:00
Shea Levy
b1b61d0988 coq: nix-buffer: Inherit variables to PG shell 2017-05-22 00:45:54 -04:00
marcnnn
e46ca1b95f cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808) 
* cvc4: 1.5pre-smtcomp2016 -> 1.5pre-20170514

* cvc4: use stable url

upstream delete their tarballs
 2017-05-20 14:00:39 +01:00
Shea Levy
b21540c4a6 coq: Add emacs buffer setup 2017-05-20 08:34:33 -04:00
Michael Raskin
41475012eb Merge pull request #25164 from marsam/master 
Homogenize abc-verifier, dwm, osmctools homepages
 2017-05-01 15:47:15 +02:00
Michael Raskin
49c419cf3e Merge pull request #25117 from lucas8/cubicle 
cubicle: init at 1.0.2
 2017-05-01 14:26:52 +02:00
Michael Raskin
ce9c7dd0d6 Merge pull request #21822 from rht/master 
coq_HEAD: Update to the latest commit
 2017-04-30 12:49:20 +02:00
lucas8
eedc6799b6
cubicle: init at 1.0.2 2017-04-25 22:02:42 +02:00
Mario Rodas
0e7b608ab0 abc-verifier: Add http url scheme to abc homepage 2017-04-23 18:45:36 -05:00
James ‘Twey’ Kay
c54588d250 redprl: 2016-09-22 -> 2017-03-28 2017-03-28 21:02:30 +01:00
rht
bbd1c3d58a
coq_HEAD: Update once more 2017-03-18 01:51:38 +03:00
rht
7264efb5cb
Fold in specific ocaml version choice into let 2017-03-18 01:51:37 +03:00
rht
975d040f07
coq_HEAD: Update to the latest commit 2017-03-18 01:50:26 +03:00
Robin Gloster
f70a896094
hol: mark as broken 2017-03-14 15:36:06 +01:00
Christopher League
242f6caac6 logisim: use better jar wrapper, closes #23068 2017-02-26 10:19:32 +01:00
Gabriel Ebner
cc647804f1 lean: 3.0.0 -> 3.1.0 2017-02-26 08:50:15 +01:00
Gabriel Ebner
ac10c19746 veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00
Vincent Laporte
d40b680101 coq-8.4: fix build of ssreflect and mathcomp 2017-01-25 13:14:31 +00:00
Vincent Laporte
798a87159b Coq: propagates the findlib package 
So that Coq libraries that need it can easyly use it
 2017-01-25 10:29:13 +00:00
Vincent Laporte
9b949be617 coq: minor refactoring 2017-01-25 10:29:13 +00:00
Vincent Laporte
a30e8db9f0 coq: merge files 8.5.nix and 8.6.nix into default.nix 2017-01-25 10:29:13 +00:00
Vincent Laporte
86b74fb76b alt-ergo: 0.99.1 -> 1.30 2017-01-21 13:44:41 +00:00
Vincent Laporte
8c928cd55a why3: 0.87.1 -> 0.87.3 2017-01-21 13:31:10 +00:00
Gabriel Ebner
6c9f4a61be lean: 2017-01-14 -> 3.0.0 2017-01-20 10:59:54 +01:00
Gabriel Ebner
5ad75554b6 lean: 2017-01-06 -> 2017-01-14 2017-01-14 09:37:48 +01:00
Pascal Wittmann
89dfe67f81 Merge pull request #21819 from AtnNn/isabelle 
isabelle: 2016 -> 2016-1
 2017-01-13 21:58:57 +01:00
Etienne Laurin
3d301e384e isabelle: 2016 -> 2016-1 2017-01-11 17:33:04 -05:00
Gabriel Ebner
74a97421ce lean: 2016-12-30 -> 2017-01-06 2017-01-06 11:57:40 +01:00
Domen Kožar
af2cfc076f haskellPackages.z3: fix #16357 2017-01-03 23:10:24 +01:00
Gabriel Ebner
68b2d43c88 lean: 2016-12-08 -> 2016-12-30 2016-12-31 13:51:10 +01:00
John Wiegley
4888bfecc2
coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflect 
Addresses #14829
 2016-12-22 10:35:56 -08:00
John Wiegley
838a3b4294
coq_8_6: 8.6rc1 -> 8.6 2016-12-14 13:46:07 -08:00
John Wiegley
62934023c3
coq_HEAD: Update to the latest commit as of 2016-12-13 2016-12-13 08:09:23 -08:00
John Wiegley
360234dab6
coq_8_6: new package, based on Coq 8.6rc1 2016-12-13 07:27:15 -08:00
Eelco Dolstra
c5b96ca801 minisat: Fix build on Darwin 2016-12-09 19:57:07 +01:00
Gabriel Ebner
a2210a9efd lean: init at 2016-12-08 2016-12-08 10:30:28 -05:00
Gabriel Ebner
ce2a9a8f9b lean2: 2016-07-05 -> 2016-11-29 
Renamed from lean since upstream renamed it as well.  The lean attribute
in nixpkgs will now refer to the new lean 3 version.
 2016-12-08 10:30:28 -05:00
Vincent Laporte
431c564993 hol_light: fix build with Camlp5-6.17 2016-11-29 18:34:21 +00:00