Mrmaxmeier 4929601fe9 bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07		2022-08-14 22:58:44 +02:00
..
abc	yosys: 0.18 -> 0.20	2022-08-12 13:23:18 -05:00
abella
acgtk
aiger
alt-ergo
anders
aspino
avy
beluga
bitwuzla	bitwuzla: unstable-2021-07-01 -> unstable-2022-08-07	2022-08-14 22:58:44 +02: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
cedille
celf
clprover
coq	Split out CoqIDE by default when Coq >= 8.14.	2022-07-10 15:49:44 +02:00
cryptominisat
cryptoverif
cubicle
cvc3	cvc3: unbreak on aarch64-darwin	2022-07-21 08:09:26 +08:00
cvc4
cvc5	cvc5: 1.0.0 -> 1.0.1	2022-07-28 10:49:58 +00:00
drat-trim
easycrypt
ekrhyper
elan
eprover
fast-downward
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
klee	klee: 2.2 -> 2.3	2022-07-07 09:18:27 -03:00
lci
lean	lean: 3.45.0 -> 3.46.0	2022-08-09 22:21:39 +02:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2	mcrl2: 201707 -> 202206	2022-07-27 01:25:01 -04:00
mcy
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
nuXmv	treewide/applications: add sourceType binaryNativeCode for many packages	2022-06-23 18:38:19 +01:00
open-wbo
opensmt	opensmt: 2.3.1 -> 2.4.1	2022-07-29 14:26:39 +00:00
ott
petrinizer
picosat
poly
potassco
prooftree
prover9
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
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
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
workcraft	workcraft: 3.3.6 -> 3.3.8	2022-07-31 06:18:04 +00:00
yices
z3	z3_4_4_0: Fix build on darwin.	2022-06-23 12:40:46 -04:00
zchaff	zchaff: 2004.5.13 -> 2007.3.12	2022-06-05 23:22:06 -07:00