Ben Siraphob 6ad0e10dd3 coq: add meta.mainProgram		2022-02-06 15:42:47 -06:00
..
abc	yosys: 0.10+1 -> 0.11+52, with abc update	2021-12-02 21:48:51 -06:00
abella	abella: 2.0.6 -> 2.0.7	2021-10-19 13:25:44 -04:00
acgtk	ocamlPackages.menhir: 20190626 → 20210419	2021-06-05 13:38:01 +02:00
aiger
alt-ergo	alt-ergo: 2.4.0 → 2.4.1	2021-10-12 14:41:54 +02:00
aspino	pkgs/applications: rename name to pname&version part 2	2021-11-07 14:53:06 +01:00
avy
beluga	beluga: 2020-03-11 -> 1.0	2021-04-01 04:20:00 +00:00
bitwuzla	bitwuzla: init at unstable-2021-07-01	2021-07-25 15:52:25 +02:00
boolector	boolector: add patch fixing build on aarch64-linux	2021-11-13 19:45:51 -06:00
btor2tools
cadical	cadical: include C++ headers	2021-10-14 15:23:05 -07:00
cedille	cedille: set no hydra platforms	2021-07-17 11:17:09 +09:00
celf
clprover
coq	coq: add meta.mainProgram	2022-02-06 15:42:47 -06:00
cryptominisat
cryptoverif	cryptoverif: 2.04 -> 2.05	2021-12-11 10:05:51 +00:00
cubicle
cvc3
cvc4
drat-trim
ekrhyper	ekrhyper: refactor	2021-12-21 12:44:01 +01:00
elan	elan: set LEAN_CC to stdenv cc	2021-12-19 17:27:10 +01:00
eprover	eprover: Add option to enable LFHOL reasoning	2022-01-02 20:53:32 +01:00
fast-downward	treewide: fix homepages with permanent redirect to https	2021-12-29 22:06:47 +07:00
gappa	pkgs/applications: rename name to pname&version part 2	2021-11-07 14:53:06 +01:00
glucose
hol	hol: expand platforms to unix	2021-07-01 22:19:02 +07:00
hol_light	pkgs/applications: rename name to pname&version part 2	2021-11-07 14:53:06 +01:00
iprover
isabelle	isabelle: patch jni libs for nitpick	2022-01-11 21:09:27 +11:00
jonprl
key	test-utilities: version test	2021-05-07 09:53:35 +02:00
kissat	kissat: init at 2.0.1	2021-10-04 08:45:36 +09:00
klee	klee: init at 2.2	2022-01-08 15:49:07 -07:00
lci
lean	lean: 3.36.0 -> 3.37.0	2022-01-07 16:51:55 -03:00
lean2	lean2: stay with python2	2021-04-03 17:06:21 +02:00
leo2	leo2: 1.6.2 → 1.7.0	2021-10-14 09:45:49 +02:00
leo3	leo3-bin: deprecate phases	2021-07-14 16:38:38 +02:00
lingeling	lingeling: pre1_03b4860d -> pre1_708beb26	2021-11-13 19:45:51 -06:00
logisim	logisim: create desktop entry (#131450)	2021-07-25 17:46:34 -04:00
logisim-evolution	logisim-evolution: 3.7.1 -> 3.7.2	2021-12-07 12:21:37 +00:00
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat	treewide: refactor isi686 && isx86_64 -> isx86	2021-11-20 17:50:41 -08:00
open-wbo	pkgs/applications: rename name to pname&version part 2	2021-11-07 14:53:06 +01:00
opensmt	opensmt: 2.1.1 -> 2.2.0	2021-11-03 18:03:12 +00:00
ott
otter
petrinizer	petrinizer: restrict platforms by sbv	2021-05-06 16:24:58 +02:00
picosat
poly	libpoly: 0.1.10 -> 0.1.11	2022-01-02 17:38:00 +01:00
potassco	potassco: switch to fetchFromGitHub	2021-12-23 19:11:17 +01:00
prooftree
prover9	fixup! prover9: convert patchPhase to postPatch, cleanup meta	2021-11-09 20:26:04 +01:00
proverif	proverif: 2.03 → 2.04	2021-12-09 17:45:15 +01:00
redprl	redprl: unstable-2017-03-28 -> unstable-2019-11-04	2021-11-12 19:24:17 -06:00
sad	pkgs/applications: rename name to pname&version part 2	2021-11-07 14:53:06 +01:00
satallax	treewide: remove meta.version	2021-07-18 00:07:38 +02:00
saw-tools	saw-tools: remove phases	2021-08-03 00:03:41 +02:00
spass
statverif
stp
symbiyosys	symbiyosys: 2021.09.13 -> 2021.11.30	2021-12-02 21:48:51 -06:00
tamarin-prover	tamarin-prover: 1.6.0 → 1.6.1	2021-10-22 07:38:30 +02:00
tlaplus	tlaplus: 1.7.0 -> 1.7.1	2021-11-25 10:56:11 +01:00
tptp
twelf
vampire	vampire: 4.5.1 -> 4.6.1	2022-01-01 22:13:11 +01:00
verifast	verifast: 19.12 -> 21.04	2021-08-23 07:29:27 +00:00
verit	verit: 2016 -> 2021.06.2	2021-12-31 13:00:43 +01:00
why3	why3.withProvers: add dontUnpack	2021-12-12 20:33:14 +01:00
workcraft	workcraft: 3.3.2 -> 3.3.5	2021-08-23 08:01:40 +00:00
yices	yices: 2.6.2 -> 2.6.4	2022-01-02 10:15:42 +01:00
z3	z3: 4.8.12 -> 4.8.14	2022-01-02 12:45:59 -06:00