summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* isabelle: 2014 -> 2015Sven Keidel2016-02-03
* tptp: replace use of builderDefsPackageGabriel Ebner2016-01-29
* tptp: 6.1.0 -> 6.3.0Gabriel Ebner2016-01-29
* coq_8_5: 8.5rc1 -> 8.5John Wiegley2016-01-25
* Remove no longer (or never) referenced patchesTobias Geerinckx-Rice2016-01-24
* Merge pull request #12519 from gebner/metis-20160102Arseniy Seroka2016-01-21
|\
| * metis-prover: 2.3.20160101 -> 2.3.20160102Gabriel Ebner2016-01-21
* | z3: 4.4.0 -> 4.4.1Ricardo M. Correia2016-01-21
|/
* lean: add wrapper for linjaGabriel Ebner2016-01-17
* lean: 20150821 -> 20160117Gabriel Ebner2016-01-17
* alt-ergo: also supported on DarwinVincent Laporte2016-01-04
* metis-prover: 2.3 -> 2.3.20160101Gabriel Ebner2016-01-02
* coqPackages_8_5.coq: 8.5b2 -> 8.5rc1John Wiegley2015-12-21
* why3: 0.86.1 -> 0.86.2Vincent Laporte2015-12-01
* Merge pull request #11302 from fkz/sadArseniy Seroka2015-11-27
|\
| * system for automated deduction: init at 2.3-25Fabian Schmitthenner2015-11-27
* | Revert "coq: 8.5b2 -> 8.5b3"John Wiegley2015-11-25
* | spass: reimplement using mkDerivationJoachim Fasting2015-11-24
* | opensmt: reimplement using mkDerivationJoachim Fasting2015-11-24
* | iprover: reimplement using mkDerivationJoachim Fasting2015-11-24
* | cvc3: reimplement using mkDerivationJoachim Fasting2015-11-24
* | coq: 8.5b2 -> 8.5b3Russell O'Connor2015-11-19
* | Update HOL Light to version 2015-11-02Marco Maggesi2015-11-03
|/
* hol_light: add support for camlp5 > 6.12Vincent Laporte2015-09-23
* metis-prover: init at 2.3Gabriel Ebner2015-09-21
* Merge commit 'a6f6c0e' into master.upstreamWilliam A. Kennington III2015-09-15
|\
| * mass rewrite of find parameters to cross-platform styleVladimír Čunát2015-09-06
* | HOL Light: findlib is not necessary (nor actually used). Remove dependency.Marco Maggesi2015-09-13
* | coq: Add csdp dependencyRussell O'Connor2015-09-10
* | nixpkgs/jonprl: minor touchupsAustin Seipp2015-09-09
* | JonPRL: init at 0.1.0Brian McKenna2015-09-09
|/
* Update HOL Light to svn r244.Marco Maggesi2015-09-01
* nixpkgs: saw-tools 0.1-20150609 -> 0.1.1-20150731Austin Seipp2015-08-30
* veriT: 201410 -> 201506Gabriel Ebner2015-08-26
* nixpkgs: lean 20150328 -> 20150821Austin Seipp2015-08-21
* E prover: 1.8 -> 1.9Michael Raskin2015-08-08
* E prover: switch to the new locationMichael Raskin2015-07-05
* Merge pull request #8296 from vbgl/ocamlp4vbgl2015-06-25
|\
| * coq-8.3: fix (needs make 3)Vincent Laporte2015-06-25
| * acgtk: fix build with OCaml 4.02Vincent Laporte2015-06-25
* | E prover: do not build the manualVincent Laporte2015-06-25
|/
* hol: k.8 -> k.10, closes #8477laMudri2015-06-24
* Isabelle: fix download URLVincent Laporte2015-06-21
* nixpkgs: saw-tools 0.1-20150609Austin Seipp2015-06-18
* nixpkgs: picosat 936 -> 960, add myself as a maintainerAustin Seipp2015-06-14
* cvc4: regenerate ./configure on rebuildAustin Seipp2015-06-14
* nixpkgs: yices 2.2.1 -> 2.3.1, now with sourceAustin Seipp2015-06-14
* nixpkgs: abc-verifier 20150406 -> 20150614Austin Seipp2015-06-14
* nixpkgs/cvc4: touchups, add myself as maintainerAustin Seipp2015-06-14
* nixpkgs: z3 4.3.2 -> 4.4.0Austin Seipp2015-06-11
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 15:10:15 +0000