Michael Raskin 178014373e E prover: switch to the new location

2015-07-05 18:52:42 +03:00

..

abc

nixpkgs: abc-verifier 20150406 -> 20150614

2015-06-14 19:48:11 -05:00

abella

new package: abella 2.0.2

2015-03-24 00:54:03 -04:00

acgtk

acgtk: fix build with OCaml 4.02

2015-06-25 08:55:30 +02:00

alt-ergo

alt-ergo: update from 0.95.2 to 0.99.1

2014-12-31 15:48:39 +01:00

boolector

boolector: add version 1.5 and 1.6

2014-04-07 09:17:05 -05:00

coq

coq-8.3: fix (needs make 3)

2015-06-25 08:55:31 +02:00

cvc3

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

cvc4

cvc4: regenerate ./configure on rebuild

2015-06-14 19:48:11 -05:00

ekrhyper

Update EKRHyper

2014-03-08 21:12:59 +04:00

eprover

E prover: switch to the new location

2015-07-05 18:52:42 +03:00

gappa

Adds gappa 1.2.0

2015-05-25 19:32:09 +02:00

hol

hol: k.8 -> k.10, closes #8477

2015-06-24 10:04:54 +02:00

hol_light

Update HOL Light to svn r232 (2015-05-31)

2015-06-03 11:17:39 +02:00

iprover

Fix broken license references.

2014-07-28 11:43:20 +02:00

isabelle

Isabelle: fix download URL

2015-06-21 00:45:38 +02:00

lci

Don't use "with licenses;" for single licences

2015-05-28 19:20:29 +02:00

lean

lean: fixed build

2015-05-16 12:12:58 +02:00

leo2

Fix license attribute of many bsd-like licensed packages

2014-12-21 00:00:35 +01:00

logisim

Turn some license strings into lib.licenses values

2014-07-28 11:31:14 +02:00

ltl2ba

nixpkgs: add ltl2ba 1.1

2014-05-01 02:30:34 -05:00

matita

matita_130312: mark as broken

2015-01-07 02:15:26 -05:00

minisat

Fix broken license references.

2014-07-28 11:43:20 +02:00

opensmt

Mark a bunch of packages as broken or not supported on Darwin

2014-08-08 17:59:02 +02:00

ott

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

otter

Add package versions to some of the packages or fix existing ones to conform to nixpkgs conventions.

2013-06-07 03:15:45 +03:00

picosat

nixpkgs: picosat 936 -> 960, add myself as a maintainer

2015-06-14 19:48:12 -05:00

prooftree

Fix many package descriptions

2014-08-24 22:31:37 +02:00

prover9

More description fixes

2013-10-06 12:01:38 +02:00

satallax

Turn more licenses into lib.licenses style

2014-11-06 00:48:16 +00:00

saw-tools

nixpkgs: saw-tools 0.1-20150609

2015-06-18 11:37:51 -05:00

spass

Fix license attribute of many bsd-like licensed packages

2014-12-21 00:00:35 +01:00

stp

Don't use "with licenses;" for single licences

2015-05-28 19:20:29 +02:00

tptp

Update TPTP

2014-08-31 19:25:32 +04:00

twelf

twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd

2015-03-31 01:11:57 -04:00

verifast

rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc

2015-01-14 20:27:55 -08:00

verit

Add veriT.

2015-03-31 09:14:38 +02:00

why3

why3: update from 0.85 to 0.86.1

2015-06-01 05:57:19 +02:00

yices

nixpkgs: yices 2.2.1 -> 2.3.1, now with source

2015-06-14 19:48:11 -05:00

z3

nixpkgs: z3 4.3.2 -> 4.4.0

2015-06-11 22:10:56 -05:00

z3_opt

z3 opt

2015-05-08 23:45:07 -07:00