Vincent Laporte 66c0fc3609 cryptoverif: 2.03pl1 → 2.04		2020-12-18 08:20:10 +01:00
..
abc	abc-verifier: 2020.06.22 -> 2020.11.24	2020-12-02 07:18:05 -06:00
abella
acgtk
aiger
alt-ergo
aspino
avy	avy: 2017.10.16 -> 2019.05.01	2020-09-20 16:13:29 +02:00
beluga
boolector	boolector: fix darwin build	2020-11-29 22:31:54 +01:00
btor2tools	btor2tools: fix install_name on darwin	2020-11-29 22:31:31 +01:00
cadical
cedille	cedille: 1.1.1 -> 1.1.2; fix build	2020-12-10 23:07:32 +00:00
celf
clprover
coq	coq_8_12: 8.12.1 → 8.12.2	2020-12-16 07:45:54 +01:00
coq2html	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
cryptominisat
cryptoverif	cryptoverif: 2.03pl1 → 2.04	2020-12-18 08:20:10 +01:00
cubicle
cvc3	cvc3: enable for darwin	2020-09-22 23:06:45 -07:00
cvc4
drat-trim
ekrhyper
elan
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
key	key: init at 2.6.3	2020-10-06 17:37:23 +02:00
lci
lean	lean: 3.21.0 -> 3.23.0	2020-11-11 15:16:44 -08:00
lean2
leo2
leo3	leo3: fix executable	2020-09-19 15:05:02 +02:00
lingeling
logisim
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
open-wbo
opensmt
ott	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
otter
petrinizer
picosat
poly
potassco	clingo: 5.4.0 -> 5.4.1	2020-12-07 13:03:03 +00:00
prooftree
prover9
proverif	proverif: install emacs mode	2020-11-29 14:05:14 +01:00
redprl
sad
satallax
saw-tools
spass
statverif
stp
symbiyosys
tamarin-prover	tamarin-prover: 1.4.1 → 1.6.0 (#100148)	2020-10-13 10:16:11 +02:00
tlaplus	Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox	2020-11-29 04:01:21 +01:00
tptp
twelf
vampire
verifast
verit
why3	why3: 1.3.1 -> 1.3.3	2020-09-23 03:24:02 +02:00
workcraft	workcraft: 3.3.1 -> 3.3.2	2020-11-27 01:53:34 +00:00
yices
z3	z3: enable build on non-x86_64 unix; checked the build on aarch64-linux	2020-11-27 11:52:07 +01:00