Anderson Torres 97f37b6e05 Merge pull request #178307 from Luflosi/update/yosys ... yosys: 0.16 -> 0.18		2022-06-20 22:35:38 -03:00
..
abc	abc-verifier: 2022.03.22 -> 2022.05.06	2022-06-20 10:40:17 +02:00
abella
acgtk
aiger
alt-ergo	alt-ergo: ensure compatibility with Menhir ≥ 20211215	2022-06-05 15:44:28 +02:00
anders
aspino	aspino: mark broken for x86_64 Darwin	2022-05-29 10:56:02 +02:00
avy
beluga	ocamlPackages: rename sedlex_2 into sedlex	2022-05-29 08:48:00 +02:00
bitwuzla
boolector
btor2tools
cadical
cedille
celf
clprover
coq	coq_8_16: init at 8.16+rc1	2022-06-08 18:42:10 +02:00
cryptominisat
cryptoverif
cubicle
cvc3
cvc4	cvc4: fix build on darwin	2022-05-31 23:56:18 -07:00
cvc5
drat-trim
easycrypt
ekrhyper
elan
eprover
fast-downward
formula	formula: update dependencies	2022-06-17 10:12:42 +02:00
gappa
glucose
hol	treewide: pkgs/applications: mark broken for aarch64-linux	2022-05-30 13:42:58 +02:00
hol_light
iprover
isabelle
key
kissat
klee
lci
lean
lean2
leo2
leo3	treewide: set sourceProvenance for packages containing downloaded jars	2022-06-04 19:47:57 +01:00
lingeling
logisim	treewide: set sourceProvenance for packages containing downloaded jars	2022-06-04 19:47:57 +01:00
logisim-evolution	treewide: set sourceProvenance for packages containing downloaded jars	2022-06-04 19:47:57 +01:00
ltl2ba
mcrl2	treewide: pkgs/applications: mark broken for darwin	2022-05-29 10:56:04 +02:00
mcy
metis-prover
minisat
monosat
naproche
nuXmv
open-wbo	treewide: pkgs/applications: mark broken for aarch64-linux	2022-05-30 13:42:58 +02:00
opensmt	treewide: pkgs/applications: mark broken for aarch64-linux	2022-05-30 13:42:58 +02:00
ott
petrinizer
picosat
poly
potassco
prooftree
prover9
proverif
redprl
sad
satallax
saw-tools
spass
statverif
stp
symbiyosys
symfpu
tamarin-prover	tamarin-prover: remove darwin from hydraPlatforms	2022-06-17 19:20:10 +09:00
tlaplus	treewide: set sourceProvenance for packages containing downloaded jars	2022-06-04 19:47:57 +01:00
tptp
twelf
vampire	treewide: pkgs/applications: mark broken for aarch64-linux	2022-05-30 13:42:58 +02:00
verifast
verit	treewide: pkgs/applications: mark broken for darwin	2022-05-29 10:56:04 +02:00
why3
workcraft
yices
z3
zchaff