Henner Zeller 568398e338 uhdm: 0.9.1.40 -> 1.45 ... Update UHDM and also fix for Darwin build. The gtest version used in the project unconditionally uses /tmp as temporary directory in Darwin and does not honor the environment variables introduced in gtest 1.12. Use that gtest version so that it will work in the Hydra build environment. Related: #199919 as this is fixing the Darwin build. Signed-off-by: Henner Zeller <h.zeller@acm.org>		2022-11-08 12:47:14 -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: update to 1.40	2022-09-27 18:05:51 -07:00
symbiyosys
symfpu
tamarin-prover
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