nixpkgs/pkgs/applications/science/logic
Michael Weiss 8ae8602bf7
Merge branch 'master' into staging-next
Manually resolved a conflict in
pkgs/development/libraries/libbladeRF/default.nix.
2021-01-09 12:16:11 +01:00
..
abc treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
abella
acgtk
aiger
alt-ergo
aspino
avy treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
beluga
boolector boolector: fix darwin build 2020-11-29 22:31:54 +01:00
btor2tools btor2tools: fix install_name on darwin 2020-11-29 22:31:31 +01:00
cadical
cedille cedille: 1.1.1 -> 1.1.2; fix build 2020-12-10 23:07:32 +00:00
celf
clprover
coq coqPackages: refactor 2021-01-09 11:56:17 +01:00
coq2html treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
cryptominisat
cryptoverif cryptoverif: 2.03pl1 → 2.04 2020-12-18 08:20:10 +01:00
cubicle
cvc3 cvc3: enable for darwin 2020-09-22 23:06:45 -07:00
cvc4 treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
drat-trim
ekrhyper
elan
eprover
fast-downward treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
gappa
glucose
hol
hol_light
iprover
isabelle
jonprl
key key: init at 2.6.3 2020-10-06 17:37:23 +02:00
lci
lean Merge branch 'master' into staging-next 2021-01-07 13:04:31 +01:00
lean2 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
leo2
leo3 leo3: fix executable 2020-09-19 15:05:02 +02:00
lingeling
logisim
ltl2ba
mcrl2 treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
mcy
metis-prover
minisat
monosat treewide: cmake buildInputs to nativeBuildInputs, minor cleanups 2021-01-01 11:52:33 +07:00
open-wbo
opensmt
ott treewide: remove package names from prefix of descriptions 2020-10-27 09:15:07 -07:00
otter
petrinizer
picosat
poly
potassco clingo: 5.4.0 -> 5.4.1 2020-12-07 13:03:03 +00:00
prooftree
prover9
proverif proverif: install emacs mode 2020-11-29 14:05:14 +01:00
redprl
sad
satallax
saw-tools
spass
statverif
stp treewide: remove enableParallelBuilding = true if using cmake 2021-01-03 18:37:40 +07:00
symbiyosys
tamarin-prover tamarin-prover: 1.4.1 → 1.6.0 (#100148) 2020-10-13 10:16:11 +02:00
tlaplus Merge pull request #92646 from r-ryantm/auto-update/tla-toolbox 2020-11-29 04:01:21 +01:00
tptp
twelf
vampire
verifast
verit
why3 why3: 1.3.1 -> 1.3.3 2020-09-23 03:24:02 +02:00
workcraft workcraft: 3.3.1 -> 3.3.2 2020-11-27 01:53:34 +00:00
yices
z3 z3: enable build on non-x86_64 unix; checked the build on aarch64-linux 2020-11-27 11:52:07 +01:00