R. Ryantm 68c5d276f1 cbmc: 5.86.0 -> 5.87.0		2023-07-11 05:28:30 +00:00
..
abc
abella
acgtk	ocamlPackages.mtime: create 1.x fork for compat	2023-06-13 13:14:38 +07:00
aiger
alt-ergo	alt-ergo: 2.4.2 → 2.4.3	2023-05-31 06:06:49 +02:00
anders	pkgs/applications: replace "${version}" with version	2023-07-02 14:39:50 -04:00
aspino
avy
beluga
bitwuzla
boolector
btor2tools
cadical
cbmc	cbmc: 5.86.0 -> 5.87.0	2023-07-11 05:28:30 +00:00
cedille
celf
clprover
coq	coq: 8.17.0 → 8.17.1	2023-06-30 06:48:15 +02:00
cryptominisat	cryptominisat: 5.11.4 -> 5.11.11	2023-06-28 02:05:20 +00:00
cryptoverif
cubicle
cvc3
cvc4
cvc5
dafny	dafny: remove unused deps	2023-04-29 19:13:11 -04:00
drat-trim
easycrypt
egglog	egglog: unstable-2023-06-11 -> unstable-2023-06-26	2023-07-04 11:57:03 -04:00
ekrhyper
elan	elan: 1.4.5 -> 1.4.6	2023-06-25 17:27:10 +00:00
eprover
fast-downward
formula
gappa
glucose
hol
hol_light
iprover
isabelle	isabelle-components.isabelle-linter: add platforms	2023-05-17 23:01:48 +03:00
key
kissat
klee	klee: 2.3 -> 3.0	2023-06-21 18:16:44 +09:00
lci
lean	lean: 3.50.3 -> 3.51.0	2023-05-22 18:10:56 +02:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
naproche
nusmv
nuXmv
open-wbo
opensmt	opensmt: 2.5.0 -> 2.5.1	2023-05-26 22:27:08 +00:00
ott
petrinizer
picosat
poly
potassco
prooftree
prover9
proverif
redprl
satallax
saw-tools
sharpsat-td	sharpsat-td: patch with updated version of mpreal/mpfrc++	2023-05-27 20:49:34 +01:00
spass
statverif
stp
surelog	surelog: 1.45 -> 1.57	2023-04-26 01:47:32 -05:00
symbiyosys
symfpu
tamarin-prover	tamarin-prover: allow maude 3.1.1	2023-05-10 16:30:39 +02:00
tlaplus	tlaplus18: init at 1.8.0	2023-06-30 16:09:41 -07:00
tptp
twelf
uhdm	uhdm: 1.45 -> 1.57	2023-04-26 01:47:32 -05:00
vampire
verifast
verit
why3
workcraft	workcraft: 3.3.9 -> 3.4.0	2023-04-23 00:06:26 +00:00
yices
z3	z3_4_12: 4.12.1 -> 4.12.2	2023-06-24 04:20:00 +00:00
zchaff