JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity
154,717 Commits 2 Branches 0 Tags 12 GiB
04dc2d75fa
Commit Graph

641 Commits

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