talexander/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Releases Activity
nixpkgs/pkgs/applications/science/logic
History
Jake Waksbaum 3ab32ee8f6 framac: 18 -> 19 and update why3
2019-08-03 14:03:22 +00:00
..
abc
…
abella
…
acgtk
…
aiger
…
alt-ergo
…
aspino
…
avy
…
beluga
…
boolector
…
btor2tools
…
cedille
cedille: fix hash
2019-05-05 20:47:29 -05:00
celf
…
clprover
treewide: remove unused variables (#63177)
2019-06-16 19:59:05 +00:00
coq
coq: 8.10+beta1 -> 8.10+beta2
2019-07-14 14:58:49 +00:00
coq2html
…
cryptominisat
treewide: remove unused variables (#63177)
2019-06-16 19:59:05 +00:00
cryptoverif
cryptoverif: 2.01 -> 2.01pl1
2019-07-23 19:32:45 -05:00
cubicle
…
cvc3
…
cvc4
…
drat-trim
…
ekrhyper
…
elan
treewide: update cargoSha256 hashes for cargo-vendor upgrade
2019-06-01 15:17:52 +00:00
eprover
eprover: 2.2 -> 2.3
2019-04-30 10:05:27 -07:00
fast-downward
fast-downward: init at 2019-05-13
2019-06-24 15:59:57 +03:00
gappa
gappa: 1.2 -> 1.3.5
2019-06-19 09:24:34 +00:00
glucose
…
hol
…
hol_light
hol_light: 2018-09-30 -> 2019-03-27
2019-04-06 11:03:29 +02:00
iprover
…
isabelle
isabelle: refactor
2019-03-14 11:48:30 +01:00
jonprl
…
lci
…
lean
…
lean2
…
leo2
…
leo3
treewide: use runtimeShell instead of stdenv.shell whenever possible
2019-02-26 14:10:49 +00:00
lingeling
…
logisim
…
ltl2ba
…
mcrl2
…
metis-prover
…
minisat
…
monosat
…
open-wbo
…
opensmt
…
ott
…
otter
treewide: Change URLs to HTTPS
2019-04-22 10:19:54 +02:00
petrinizer
petrinizer: init at 0.9.1.1
2019-04-16 15:11:03 +02:00
picosat
…
poly
…
potassco
…
prooftree
…
prover9
treewide: fix redirect URLs
2019-07-10 12:52:51 -07:00
proverif
treewide: Change URLs to HTTPS
2019-04-22 10:19:54 +02:00
redprl
…
sad
sad: Fix build
2019-03-09 01:07:18 +01:00
satallax
…
saw-tools
…
spass
…
statverif
treewide: Change URLs to HTTPS
2019-04-22 10:19:54 +02:00
stp
…
symbiyosys
symbiyosys: fix path to bash
2019-05-12 20:00:10 +02:00
tamarin-prover
…
tlaplus
…
tptp
tptp: switch to new base URL for source tarball
2019-05-09 22:57:59 +02:00
twelf
…
vampire
vampire: switch off the fragile fetchSubmodules/leaveDotGit
2019-05-09 22:57:59 +02:00
verifast
gdk-pixbuf: rename from gdk_pixbuf
2019-07-22 18:50:57 -04:00
verit
…
why3
framac: 18 -> 19 and update why3
2019-08-03 14:03:22 +00:00
workcraft
…
yices
…
z3
z3: 4.8.4 -> 4.8.5
2019-06-10 17:55:26 -07:00