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
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
cvc4
drat-trim
ekrhyper
elan
eprover
fast-downward
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
key
lci
lean	lean: 3.21.0 -> 3.23.0	2020-11-11 15:16:44 -08:00
lean2
leo2
leo3
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
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
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