Gabriel Ebner
|
9082476478
|
cvc4: 1.4 -> 1.5pre-smtcomp2016
|
2016-07-24 13:11:17 +02:00 |
|
Michael Raskin
|
016d523d82
|
cvc4: fix the build by skipping line markers in cpp expansions during configure, helps the configure script to find Boost version
|
2016-03-31 01:52:33 +02:00 |
|
Austin Seipp
|
44ef5a3ab0
|
cvc4: regenerate ./configure on rebuild
Otherwise some absurd error from ./configure crops up.
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2015-06-14 19:48:11 -05:00 |
|
Austin Seipp
|
6cfc2caaeb
|
nixpkgs/cvc4: touchups, add myself as maintainer
Signed-off-by: Austin Seipp <aseipp@pobox.com>
|
2015-06-14 19:48:11 -05:00 |
|
Domen Kožar
|
9b7b2ce8eb
|
Revert "Introduce patchShebangsPhase ran in preConfigurePhases"
This reverts commit 512fbb280f.
See #5368
|
2015-01-08 10:26:49 +01:00 |
|
Domen Kožar
|
512fbb280f
|
Introduce patchShebangsPhase ran in preConfigurePhases
(cherry picked from commit 91c7e8747af1fdc2a70cd98594ccbb12a5c6902d)
Signed-off-by: Domen Kožar <domen@dev.si>
|
2015-01-02 02:58:32 +01:00 |
|
Vincent Laporte
|
fe1d8d0015
|
cvc4: new derivation
CVC4 is an efficient open-source automatic theorem prover for
satisfiability modulo theories (SMT) problems.
Homepage: http://cvc4.cs.nyu.edu/web/
|
2014-10-12 16:21:02 +02:00 |
|