Weijia Wang fc653e9de0 avy: fix build on aarch64-linux		2022-11-25 16:48:03 +01:00
..
abc	abc-verifier: 2022.07.27 -> unstable-2022-09-08	2022-10-14 19:27:01 -05:00
abella
acgtk
aiger
alt-ergo
anders
aspino	aspino: fix build	2022-11-25 16:48:03 +01:00
avy	avy: fix build on aarch64-linux	2022-11-25 16:48:03 +01:00
beluga	ocamlPackages.extlib: rename from ocaml_extlib	2022-11-16 14:30:37 +01:00
bitwuzla	bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03	2022-10-04 18:14:31 +00:00
boolector
btor2tools
cadical
cbmc	cbmc: 5.69.1 -> 5.70.0	2022-11-11 18:08:36 +08:00
cedille
celf
clprover
coq	coq_8_16: use OCaml 4.14	2022-10-12 20:38:44 +02:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
cvc5
drat-trim
easycrypt
ekrhyper
elan
eprover
fast-downward	treewide: optional -> optionals where the argument is a list	2022-10-10 15:40:21 +03:00
formula
gappa
glucose	glucose: fix build on aarch64-linux	2022-11-25 16:48:03 +01:00
hol
hol_light
iprover
isabelle
key
kissat
klee
lci
lean	lean: 3.48.0 -> 3.49.0	2022-11-11 17:33:01 -03:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
metis-prover
minisat
monosat
naproche
nusmv	nusmv: init at 2.6.0	2022-10-16 18:21:19 +02:00
nuXmv
open-wbo
opensmt	opensmt: 2.4.2 -> 2.4.3	2022-11-22 20:15:56 +00:00
ott
petrinizer	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
picosat
poly
potassco	clingo: 5.6.1 -> 5.6.2	2022-11-07 17:55:20 +00:00
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
surelog	surelog: 1.40 -> 1.45	2022-11-08 12:47:27 -08:00
symbiyosys
symfpu
tamarin-prover
tlaplus
tptp
twelf
uhdm	uhdm: 0.9.1.40 -> 1.45	2022-11-08 12:47:14 -08:00
vampire
verifast
verit
why3	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
workcraft
yices
z3
zchaff