Henner Zeller 10e4eb07ad surelog: 1.73 -> 1.76		2023-10-15 09:30:13 -05:00
..
abc	abc-verifier: unstable-2023-06-28 -> unstable-2023-09-13	2023-10-07 11:52:04 -05:00
abella
acgtk
aiger
alt-ergo	alt-ergo: 2.4.3 → 2.5.1	2023-09-29 06:43:44 +02:00
anders
aspino
avy
beluga	beluga: 1.1 -> 1.1.1	2023-09-22 11:56:33 +00:00
bitwuzla
boolector
btor2tools
cadical	cadical: 1.5.3 -> 1.8.0	2023-10-09 18:01:10 +00:00
cbmc	cbmc: 5.90.0 -> 5.91.0	2023-09-13 00:11:49 +00:00
cedille
celf
clprover
coq	coq: 8.17.1 -> 8.18.0	2023-09-21 11:02:55 +02:00
cryptominisat	cryptominisat: 5.11.12 -> 5.11.14	2023-10-04 02:13:39 +00:00
cryptoverif	cryptoverif: 2.05 -> 2.07	2023-10-10 14:23:06 +02:00
cubicle
cvc3
cvc4	treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType	2023-09-08 14:18:26 +00:00
cvc5	Merge master into staging-next	2023-09-22 12:01:02 +00:00
dafny	dafny: 4.2.0 -> 4.3.0	2023-10-06 15:48:28 -04:00
drat-trim	Update pkgs/applications/science/logic/drat-trim/default.nix	2023-09-12 14:52:16 -04:00
easycrypt	easycrypt: 2022.04 → 2023.09	2023-09-29 10:33:21 +02:00
egglog	egglog: unstable-2023-08-29 -> unstable-2023-09-12	2023-09-13 11:32:01 -04:00
ekrhyper
elan	elan: 2.0.1 -> 3.0.0	2023-09-10 04:20:00 +00:00
eprover
fast-downward
formula
gappa
glucose
hol
hol_light
iprover
isabelle
key
kissat	kissat: 3.1.0 -> 3.1.1	2023-10-10 14:10:55 +00:00
klee	treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildType	2023-09-08 14:18:26 +00:00
lci
lean
lean2
lean4	lean4: 4.0.0 -> 4.1.0	2023-09-26 04:20:00 +00:00
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2
mcy
metis-prover
minisat
monosat
naproche
netlistsvg	netlistsvg: update meta.homepage	2023-09-09 22:53:54 +02:00
nusmv
nuXmv
open-wbo
opensmt
ott
petrinizer
picosat
poly
potassco
prooftree
prover9
proverif
redprl
satallax
saw-tools
sharpsat-td
spass
statverif
stp
surelog	surelog: 1.73 -> 1.76	2023-10-15 09:30:13 -05:00
symbiyosys
symfpu
tamarin-prover	tamarin-prover: 1.6.1 -> 1.8.0	2023-08-31 10:57:38 -05:00
tlaplus
tptp
twelf
uhdm	uhdm: 1.74 -> 1.76	2023-10-15 09:30:13 -05:00
vampire
verifast
verit
why3
workcraft	workcraft: 3.4.0 -> 3.4.1	2023-08-29 19:57:19 +00:00
yices
z3
zchaff