Angus Trau 14580c7f4d logisim-evolution: 3.5.0 -> 3.7.1		2021-11-09 17:33:19 +11:00
..
abc
abella	abella: 2.0.6 -> 2.0.7	2021-10-19 13:25:44 -04:00
acgtk
aiger
alt-ergo	alt-ergo: 2.4.0 → 2.4.1	2021-10-12 14:41:54 +02:00
aspino
avy
beluga
bitwuzla	bitwuzla: init at unstable-2021-07-01	2021-07-25 15:52:25 +02:00
boolector
btor2tools
cadical	cadical: include C++ headers	2021-10-14 15:23:05 -07:00
cedille
celf
clprover
coq	coq_8_14: 8.14+rc1 -> 8.14.0	2021-10-15 18:50:05 +02:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
drat-trim
ekrhyper
elan	elan: 1.3.0 -> 1.3.1	2021-11-03 10:51:13 +01:00
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
key
lci
lean	lean: 3.34.0 -> 3.35.0	2021-11-01 19:17:17 +01:00
lean2
leo2	leo2: 1.6.2 → 1.7.0	2021-10-14 09:45:49 +02:00
leo3
lingeling
logisim	logisim: create desktop entry (#131450)	2021-07-25 17:46:34 -04:00
logisim-evolution	logisim-evolution: 3.5.0 -> 3.7.1	2021-11-09 17:33:19 +11:00
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
open-wbo
opensmt	opensmt: 2.1.1 -> 2.2.0	2021-11-03 18:03:12 +00:00
ott
otter
petrinizer
picosat
poly	libpoly: 0.1.9 -> 0.1.10	2021-07-28 00:31:53 +00:00
potassco
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools	saw-tools: remove phases	2021-08-03 00:03:41 +02:00
spass
statverif
stp
symbiyosys	symbiyosys: 2020.08.22 -> 2021.09.13	2021-09-29 13:14:27 -05:00
tamarin-prover	tamarin-prover: 1.6.0 → 1.6.1	2021-10-22 07:38:30 +02:00
tlaplus	tlaplusToolbox: deprecate phases	2021-08-16 21:54:44 +02:00
tptp
twelf
vampire
verifast	verifast: 19.12 -> 21.04	2021-08-23 07:29:27 +00:00
verit
why3	why3: remove spurious camlp5 dependency	2021-11-01 20:37:57 +01:00
workcraft	workcraft: 3.3.2 -> 3.3.5	2021-08-23 08:01:40 +00:00
yices	yices: drop symlink hack, avoid ldconfig on linux	2021-10-31 09:08:41 +01:00
z3	treewide: use stdenv.hostPlatform.extensions.sharedLibrary where appropriate	2021-10-13 17:39:37 +00:00