superherointj 5c30c1cbf1 Merge pull request #183064 from bcdarwin/update-mcrl2 ... mcrl2: 201707 -> 202206		2022-08-02 15:50:46 -03:00
..
abc	abc-verifier: 2022.03.22 -> 2022.05.06	2022-06-20 10:40:17 +02:00
abella
acgtk
aiger
alt-ergo
anders
aspino
avy
beluga
bitwuzla
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.44.1 -> 3.45.0	2022-07-21 13:03:03 -03:00
lean2
leo2
leo3
lingeling
logisim
logisim-evolution
ltl2ba
mcrl2	mcrl2: 201707 -> 202206	2022-07-27 01:25:01 -04:00
mcy
metis-prover
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
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