Mauricio Collares 2082422786 Merge pull request #206238 from collares/lean-3.50.0 ... lean: 3.49.0 -> 3.50.3		2022-12-31 13:55:52 -03:00
..
abc	abc-verifier: unstable-2022-09-08 -> unstable-2022-11-09	2022-12-06 18:58:31 +01:00
abella
acgtk
aiger
alt-ergo	alt-ergo: fix version string	2022-12-03 00:00:05 +01:00
anders
aspino	aspino: remove patchShebangs	2022-11-25 16:48:27 +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
boolector
btor2tools
cadical
cbmc	cbmc: 5.70.0 -> 5.71.0	2022-11-25 08:37:13 +00:00
cedille
celf
clprover
coq	coqPackages.coq: fix typo	2022-12-27 20:44:32 +02:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4
cvc5	cvc5: 1.0.2 -> 1.0.3	2022-12-15 20:56:58 +00:00
drat-trim
easycrypt
ekrhyper
elan
eprover
fast-downward
formula	treewide: update all dotnet lockfiles	2022-12-19 15:36:25 -04:00
gappa
glucose	glucose: fix build on aarch64-linux	2022-11-25 16:48:03 +01:00
hol
hol_light
iprover
isabelle	isabelle: fix build on MacOS	2022-12-06 18:05:26 +00:00
key
kissat
klee
lci
lean	lean: 3.50.2 -> 3.50.3	2022-12-26 19:05:40 -03:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat	treewide: fix typos	2022-12-17 19:39:44 -05:00
naproche
nusmv
nuXmv
open-wbo
opensmt	opensmt: 2.4.2 -> 2.4.3	2022-11-22 20:15:56 +00:00
ott
petrinizer	petrinizer: mark as broken because sbv no longer builds	2022-12-24 16:05:31 +09: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: use latest OpenJDK	2022-11-25 20:10:49 -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
workcraft	workcraft: 3.3.8 -> 3.3.9	2022-12-30 23:45:14 +08:00
yices
z3
zchaff