Commit graph

921 commits

Author SHA1 Message Date
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
Shea Levy 2ded9f3f7b coq: Improve emacs buffer handling 2016-11-13 14:01:01 -05:00
Austin Seipp 0bdc0143fe nixpkgs: proverif 1.94 -> 1.95
Signed-off-by: Austin Seipp <aseipp@pobox.com>
2016-11-10 03:45:51 +00:00
Gabriel Ebner 8c4aee4c79 z3: 4.4.1 -> 4.5.0 2016-11-08 16:14:16 -05:00
Vincent Laporte b028b5f4ef coq-8.5: ease the selection of an older (patch level) version 2016-11-02 19:39:22 +01:00
Vincent Laporte b840da02cd coq: build and install the votour utility 2016-11-02 19:23:15 +01:00
Vincent Laporte da68cc24f0 coq: 8.5pl2 -> 8.5pl3 2016-11-02 19:23:15 +01:00
Will Dietz 0443affe17 yices: Add darwin to meta.platforms 2016-10-30 13:38:07 -05:00
Will Dietz 3cf27a654a yices: Build in parallel, run tests, fix test shebang. 2016-10-26 13:01:21 -05:00