Henner Zeller 50c509ecf3 surelog: 1.40 -> 1.45 ... Update Surelog (going along with uhdm 1.45). Fix flaky tests to to parallel execution of ctest by patching in a fix that is already upstream. Result zero hydra failures #199919 Also: using flatbuffers from nix environment instead of third_party/ Signed-off-by: Henner Zeller <h.zeller@acm.org>		2022-11-08 12:47:27 -08:00
..
abc	abc-verifier: 2022.07.27 -> unstable-2022-09-08	2022-10-14 19:27:01 -05:00
abella
acgtk	ocamlPackages.cmdliner: default to 1.1	2022-09-18 15:03:10 +02:00
aiger
alt-ergo	ocamlPackages.cmdliner: default to 1.1	2022-09-18 15:03:10 +02:00
anders
aspino
avy
beluga
bitwuzla	bitwuzla: unstable-2022-08-07 -> unstable-2022-10-03	2022-10-04 18:14:31 +00:00
boolector
btor2tools	treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'	2022-07-12 18:25:19 +03:00
cadical	cadical: 1.5.0 -> 1.5.3	2022-09-26 00:00:17 +09:00
cbmc	cbmc: 5.69.0 -> 5.69.1	2022-10-29 13:42:50 +00:00
cedille
celf
clprover
coq	coq_8_16: use OCaml 4.14	2022-10-12 20:38:44 +02:00
cryptominisat
cryptoverif
cubicle
cvc3	cvc3: reenable stackprotector on aarch64-darwin	2022-08-25 19:11:45 -07:00
cvc4
cvc5	cvc5: 1.0.1 -> 1.0.2	2022-08-29 17:17:59 +00:00
drat-trim
easycrypt	easycrypt-runtest: use other format	2022-09-19 16:05:27 +02:00
ekrhyper
elan	elan: 1.4.1 -> 1.4.2	2022-09-13 11:02:26 +02:00
eprover
fast-downward	treewide: optional -> optionals where the argument is a list	2022-10-10 15:40:21 +03:00
formula	formula: add mainProgram	2022-07-15 11:41:08 -07:00
gappa
glucose
hol
hol_light
iprover
isabelle	Merge pull request #176823 from risicle/ris-native-source-provenance-applications	2022-06-23 20:55:09 +02:00
key
kissat	kissat: 2.0.1 -> 3.0.0	2022-09-02 10:24:30 +02:00
klee	klee: use the same LLVM version for clang	2022-08-30 15:08:15 +09:00
lci
lean	lean: 3.47.0 -> 3.48.0	2022-08-31 11:32:21 +02:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2	mcrl2: 201707 -> 202206	2022-07-27 01:25:01 -04:00
mcy	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
metis-prover	metis-prover: 2.3.20160713 -> 2.4.20200713	2022-07-08 22:22:33 +02:00
minisat
monosat	treewide: fix fallout from 'cmake/setup-hook.sh: Don't skip build-RPATH'	2022-07-15 02:50:09 +03:00
naproche
nusmv	nusmv: init at 2.6.0	2022-10-16 18:21:19 +02:00
nuXmv	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
open-wbo
opensmt	opensmt: 2.4.1 -> 2.4.2	2022-10-25 02:23:41 +00:00
ott
petrinizer	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
picosat
poly
potassco	clingcon: 5.0.0 -> 5.2.0 and fix build	2022-11-07 00:41:21 +01:00
prooftree
prover9	licenses: remove gpl1	2022-09-29 10:54:21 +02:00
proverif
redprl
sad
satallax
saw-tools	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
spass
statverif
stp
surelog	surelog: 1.40 -> 1.45	2022-11-08 12:47:27 -08:00
symbiyosys
symfpu
tamarin-prover	tamarin-prover: remove darwin from hydraPlatforms	2022-06-17 19:20:10 +09:00
tlaplus	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
tptp	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
twelf
uhdm	uhdm: 0.9.1.40 -> 1.45	2022-11-08 12:47:14 -08:00
vampire
verifast	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
verit	veriT: Fix build on macos	2022-06-22 16:57:33 -03:00
why3	pkgs.applications: remove unused args	2022-10-12 16:00:16 +02:00
workcraft	workcraft: 3.3.6 -> 3.3.8	2022-07-31 06:18:04 +00:00
yices
z3	z3: 4.8 -> 4.11 https://github.com/Z3Prover/z3/releases/tag/z3-4.11.0	2022-08-28 11:06:19 -05:00
zchaff