Gabriel Ebner 8279979f38 lean: build olean files		2020-11-04 16:32:56 +01:00
..
abc
abella
acgtk
aiger
alt-ergo	alt-ergo: 2.3.2 → 2.3.3	2020-08-29 06:21:23 +02:00
aspino
avy	avy: 2017.10.16 -> 2019.05.01	2020-09-20 16:13:29 +02:00
beluga
boolector
btor2tools	btor2tools: enable unix platforms	2020-10-16 19:39:46 +02:00
cadical
cedille
celf
clprover
coq	Revert "coq: propagate and install ocaml and findlib"	2020-10-31 09:08:06 +01:00
coq2html	treewide: remove package names from prefix of descriptions	2020-10-27 09:15:07 -07:00
cryptominisat
cryptoverif	cryptoverif: 2.01pl1 → 2.03pl1	2020-10-23 10:20:09 +02: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
lci
lean	lean: build olean files	2020-11-04 16:32:56 +01:00
lean2
leo2
leo3	leo3: fix executable	2020-09-19 15:05:02 +02:00
lingeling
logisim
ltl2ba
mcrl2
mcy	mcy: 2020.07.06 -> 2020.08.03	2020-08-23 11:01:24 -05:00
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	treewide: simplify rev/repo arguments in src	2020-11-01 23:02:24 -08:00
prooftree
prover9
proverif	proverif: 2.01 → 2.02pl1	2020-09-07 09:54:54 +02:00
redprl
sad
satallax
saw-tools
spass
statverif
stp
symbiyosys	symbiyosys: 2020.07.03 -> 2020.08.22	2020-08-23 11:01:24 -05:00
tamarin-prover	tamarin-prover: 1.4.1 → 1.6.0 (#100148)	2020-10-13 10:16:11 +02:00
tlaplus	tlaplus: remove myself from maintainers list	2020-09-09 10:40:46 -05:00
tptp
twelf
vampire	vampire: 4.4 -> 4.5.1	2020-08-17 19:39:32 +02:00
verifast
verit
why3	why3: 1.3.1 -> 1.3.3	2020-09-23 03:24:02 +02:00
workcraft
yices
z3	Revert "Merge #101508: libraw: 0.20.0 -> 0.20.2"	2020-10-25 09:41:51 +01:00