Austin Seipp 3d8efecda1 symbiyosys: fix calls to external programs ... 48085826f broke symbiyosys when it needed to call `yosys-abc`: when `ABCEXTERNAL` is set in the Makefile, then `yosys-abc` is not built. But in general `sby` was just calling programs out of the ambient environment. Fix that for most programs it can invoke: it now has a direct dependency on boolector, aiger, abc, yosys, etc. This also does some other minor clean up. Signed-off-by: Austin Seipp <aseipp@pobox.com>		2020-02-27 21:52:15 -06:00
..
abc	abc-verifier: passthru rev	2020-02-01 12:49:45 +01:00
abella
acgtk
aiger	aiger: enable for darwin	2019-12-08 18:31:49 +00:00
alt-ergo
aspino	treewide: update which packages I'm currently maintaining	2019-12-26 15:27:47 +01:00
avy	treewide: NIX_*_COMPILE -> string	2019-12-31 00:10:18 +01:00
beluga
boolector	boolector: add patch for CVE-2019-7560	2019-12-12 10:37:02 -06:00
btor2tools	btor2tools: correct meta information	2019-12-12 10:37:02 -06:00
cedille
celf
clprover	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
coq	coqPackages_8_11.coq: 8.11+β1 → 8.11.0	2020-01-31 14:09:51 +01:00
coq2html	treewide: name -> pname	2019-08-17 10:54:38 +00:00
cryptominisat
cryptoverif
cubicle	Renamed maintainer lucas8 -> dwarfmaster	2020-01-21 16:39:52 +10:00
cvc3
cvc4
drat-trim	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
ekrhyper
elan	elan: upgrade cargo fetcher and cargoSha256	2020-02-19 18:17:27 -05:00
eprover	eprover: 2.3 -> 2.4	2019-11-01 14:00:31 -07:00
fast-downward	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
gappa
glucose
hol
hol_light	Merge branch 'master' into rename-z77z-into-maggesi	2019-10-13 18:06:23 +02:00
iprover	iprover: 2018_Jul_24_11h -> 3.1	2020-02-09 09:38:57 +01:00
isabelle
jonprl	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
lci
lean	lean: 3.5.1 -> 3.6.0	2020-02-26 18:00:00 -05:00
lean2	treewide: mark some broken packages as broken	2019-10-08 17:14:26 +02:00
leo2
leo3
lingeling	lingeling: enable for darwin	2019-12-08 18:32:04 +00:00
logisim	treewide: name -> pname	2019-08-17 10:54:38 +00:00
ltl2ba
mcrl2	treewide: Get rid of libGLU_combined	2019-11-18 20:10:43 +00:00
metis-prover	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
minisat	minisat: 2.2.0 -> 2.2.1	2019-12-30 03:50:35 +01:00
monosat	monosat: 60528a3 -> 1.8.0	2019-10-15 16:52:25 -04:00
open-wbo	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
opensmt
ott	ott: 0.29 -> 0.30	2020-01-26 09:43:23 +00:00
otter
petrinizer	petrinizer: fix build by pinning the neccessary library versions	2019-09-07 13:33:50 +03:00
picosat
poly
potassco	Merge pull request #69477 from r-ryantm/auto-update/clingo	2019-09-27 10:12:24 +00:00
prooftree
prover9	treewide: replace make/build/configure/patchFlags with nix lists	2019-12-30 12:58:11 +01:00
proverif
redprl
sad
satallax
saw-tools	saw-tools: use default llvm	2020-01-30 18:35:30 -05:00
spass	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
statverif
stp	minisat: 2.2.0 -> 2.2.1	2019-12-30 03:50:35 +01:00
symbiyosys	symbiyosys: fix calls to external programs	2020-02-27 21:52:15 -06:00
tamarin-prover	tamarin-prover: mark as broken because upstream is broken	2019-09-24 15:25:43 +02:00
tlaplus	Merge master into staging-next	2019-08-18 12:53:44 +02:00
tptp
twelf
vampire	vampire: 4.2.2 -> 4.4	2019-08-25 14:43:51 +02:00
verifast	verifast: 18.02 -> 19.12	2020-02-09 14:29:31 -06:00
verit	treewide: remove redundant rec	2019-08-28 11:07:32 +00:00
why3	why3: 1.2.0 → 1.2.1	2019-11-11 11:30:52 +00:00
workcraft	workcraft: 3.1.9 -> 3.2.5	2020-02-07 21:09:41 +00:00
yices	tree-wide: replace uses of splitString "." with lib.versions	2019-09-26 17:42:49 +02:00
z3	z3: 4.8.5 -> 4.8.7	2019-12-14 20:33:59 -06:00