nixpkgs/pkgs/applications/science/logic/ at v192 · pyrox.dev/nixpkgs

abc

nixpkgs: abc-verifier 20150406 -> 20150614

10 years ago

abella

new package: abella 2.0.2

11 years ago

acgtk

acgtk: fix build with OCaml 4.02

10 years ago

alt-ergo

alt-ergo: update from 0.95.2 to 0.99.1

11 years ago

boolector

boolector: add version 1.5 and 1.6

12 years ago

coq

coq: Add csdp dependency The csdp program is invoked for some uses of Micromega tactics.

10 years ago

cvc3

Turn more licenses into lib.licenses style

11 years ago

cvc4

cvc4: regenerate ./configure on rebuild

10 years ago

ekrhyper

Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgs

12 years ago

eprover

E prover: 1.8 -> 1.9

10 years ago

gappa

Adds gappa 1.2.0

10 years ago

hol

hol: k.8 -> k.10, closes #8477

10 years ago

hol_light

Merge commit 'a6f6c0e' into master.upstream

10 years ago

iprover

Merge remote-tracking branch 'origin/master' into staging.

11 years ago

isabelle

Isabelle: fix download URL

10 years ago

jonprl

nixpkgs/jonprl: minor touchups

10 years ago

lci

Don't use "with licenses;" for single licences

10 years ago

lean

nixpkgs: lean 20150328 -> 20150821

10 years ago

leo2

Fix license attribute of many bsd-like licensed packages

11 years ago

logisim

Turn some license strings into lib.licenses values

11 years ago

ltl2ba

nixpkgs: add ltl2ba 1.1

11 years ago

matita

matita_130312: mark as broken

11 years ago

minisat

Merge remote-tracking branch 'origin/master' into staging.

11 years ago

opensmt

Merge 'staging' into master

11 years ago

ott

Turn more licenses into lib.licenses style

11 years ago

otter

mass rewrite of find parameters to cross-platform style

10 years ago

picosat

nixpkgs: picosat 936 -> 960, add myself as a maintainer

10 years ago

prooftree

Fix many package descriptions

11 years ago

prover9

More description fixes

12 years ago

satallax

Turn more licenses into lib.licenses style

11 years ago

saw-tools

nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731

10 years ago

spass

Fix license attribute of many bsd-like licensed packages

11 years ago

stp

Don't use "with licenses;" for single licences

10 years ago

tptp

Update TPTP

11 years ago

twelf

twelf: fix by actually including the Twelf SML heap image in the package and referencing the SML interpreter so the smlnj package won't be gc'd

11 years ago

verifast

rename all occurrences of stdenv.cc.gcc to stdenv.cc.cc

11 years ago

verit

veriT: 201410 -> 201506

10 years ago

why3

why3: update from 0.85 to 0.86.1

10 years ago

yices

nixpkgs: yices 2.2.1 -> 2.3.1, now with source

10 years ago

z3

nixpkgs: z3 4.3.2 -> 4.4.0

10 years ago

z3_opt

z3 opt

10 years ago