Mario Rodas b9a67f7317 lean4: fix build on darwin		2023-11-23 04:20:00 +00:00
..
abc	abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13	2023-11-08 15:21:35 +01:00
abella	abella: 2.0.7 -> 2.0.8	2023-11-14 13:38:26 +08:00
acgtk
aiger	Merge master into staging-next	2023-11-11 18:00:58 +00:00
alt-ergo
anders
aspino
avy
beluga
bitwuzla
boolector
btor2tools
cadical	cadical: 1.8.0 -> 1.9.0	2023-11-21 17:11:06 +00:00
cbmc
cedille
celf
clprover
coq	coq: fix hompage url	2023-11-02 15:26:30 +01:00
cryptominisat
cryptoverif
cubicle
cvc3	treewide: fix redirected and broken URLs	2023-11-11 10:49:01 +01:00
cvc4
cvc5
dafny
drat-trim
easycrypt	easycrypt: fix runtest command	2023-11-20 09:04:33 +01:00
egglog
ekrhyper
elan
eprover	eprover: update hash - target modified inplace	2023-11-17 04:12:46 +00:00
fast-downward
formula
gappa
glucose
hol
hol_light	hol_light: 2023-07-21 → 2023-11-03	2023-11-20 07:03:45 +01:00
iprover
isabelle
key
kissat	treewide: fix redirected and broken URLs	2023-11-11 10:49:01 +01:00
klee
lci
lean
lean2
lean4	lean4: fix build on darwin	2023-11-23 04:20:00 +00:00
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
naproche
netlistsvg
nusmv
nuXmv
open-wbo
opensmt
ott
petrinizer
picosat	treewide: fix redirected and broken URLs	2023-11-11 10:49:01 +01:00
poly
potassco
prooftree
prover9
proverif
redprl
satallax
saw-tools
sharpsat-td
spass
statverif
stp
surelog
symbiyosys
symfpu
tamarin-prover
tlaplus
tptp
twelf
uhdm	uhdm: 1.76 -> 1.77	2023-11-04 09:08:43 -07:00
vampire
verifast
verit
why3
workcraft
yices
z3	treewide: change pythonForBuild to pythonOnBuildForHost	2023-11-05 17:42:12 -08:00
zchaff