Morgan Jones 80d57056bc klee: 3.0 -> 3.1		2024-04-09 19:41:50 -07:00
..
abc	abc-verifier: unstable-2023-09-13 -> unstable-2023-10-13	2023-11-08 15:21:35 +01:00
abella	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
acgtk	acgtk: 1.5.4 → 2.0.0	2023-11-30 05:37:04 +01:00
aiger	Merge master into staging-next	2023-11-11 18:00:58 +00:00
alt-ergo	alt-ergo: 2.5.2 → 2.5.3	2024-03-27 06:30:04 +01:00
anders	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
aspino
avy
beluga
bitwuzla	bitwuzla: test on aarch64-linux	2024-04-03 12:00:00 +00:00
boolector	boolector: 3.2.2 -> 3.2.3 + upstream patch for C++14 compatibility.	2024-02-22 19:48:14 +00:00
btor2tools	btor2tools: fix build with gcc 13	2024-01-29 21:35:06 +01:00
cadical	cadical: fix static build	2024-04-03 12:00:00 +00:00
cbmc
cedille
celf	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
clprover	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
coq	coq_8_19: 8.19.0 → 8.19.1	2024-03-12 05:49:59 +01:00
cryptominisat	cryptominisat: fix static build	2024-04-03 12:00:00 +00:00
cryptoverif	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cubicle	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cvc3	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cvc4	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
cvc5	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
dafny	dafny: 4.5.0 -> 4.6.0	2024-03-29 04:54:25 +00:00
drat-trim
easycrypt	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
egglog	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
ekrhyper
elan	Revert "elan: revert temporary directory creation"	2024-03-09 16:50:49 +01:00
eprover	eprover: 3.0 -> 3.0.03	2023-12-09 18:57:23 +00:00
fast-downward	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
formula
gappa	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
glucose	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
hol
hol_light	hol_light: 2023-07-21 → 2023-11-03	2023-11-20 07:03:45 +01:00
iprover	iprover: 3.1 → 3.8.1	2024-01-10 06:33:50 +01:00
isabelle	isabelle-linter: 1.2.1 -> 2023-1.0.0	2023-12-10 02:27:06 +01:00
key
kissat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
klee	klee: 3.0 -> 3.1	2024-04-09 19:41:50 -07:00
lci	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
lean	lean3: fix gcc-13 build failure)	2024-02-11 19:47:22 +00:00
lean2
lean4	lean4: 4.6.1 -> 4.7.0	2024-04-03 04:20:00 +00:00
leo2	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
leo3	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
lingeling
logisim	logisim: add darwin bundle	2024-03-20 16:37:19 +11:00
logisim-evolution	logisim-evolution: add darwin bundle	2024-03-20 16:28:51 +11:00
ltl2ba	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
mcrl2	mcrl2: 202206 -> 202307	2024-02-10 10:14:43 +00:00
mcy
metis-prover	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
minisat
monosat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
msat	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
naproche	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
netlistsvg
nusmv
nuXmv
open-wbo	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
opensmt	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
ott	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
petrinizer
picosat	treewide: fix redirected and broken URLs	2023-11-11 10:49:01 +01:00
poly
potassco	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
prooftree	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
prover9
proverif
redprl	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
satallax	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
saw-tools
sharpsat-td
spass
statverif
stp	Merge pull request #288470 from McSinyx/stp-u8	2024-02-15 23:07:44 +01:00
surelog	surelog: 1.80 -> 1.82	2024-01-05 21:46:27 +00:00
symbiyosys
symfpu	symfpu: install headers in $out/include, add a pkg-config file	2024-04-03 12:00:00 +00:00
tamarin-prover	tamarin-prover: pick patch for Stackage LTS 22 dependencies	2024-03-22 12:13:05 +01:00
tlaplus	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
tptp
twelf
uhdm	uhdm: 1.80 -> 1.82	2024-03-21 01:10:36 +00:00
vampire	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
verifast
verit
why3	why3: move the OCaml library to its own dev output	2024-01-29 09:40:12 +01:00
workcraft	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
yices
z3	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00
zchaff	treewide: add meta.mainProgram to packages with a single binary	2024-03-19 03:14:51 +01:00