summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* fontconfig: split into multiple outputsVladimír Čunát2015-10-05
* Merge commit staging+systemd into closure-sizeVladimír Čunát2015-10-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
| * Update HOL Light to svn r232 (2015-05-31)Marco2015-06-03
| * why3: update from 0.85 to 0.86.1Vincent Laporte2015-06-01
| * Don't use "with licenses;" for single licencesTobias Geerinckx-Rice2015-05-28
| * Adds gappa 1.2.0Vincent Laporte2015-05-25
| * lean: fixed buildPascal Wittmann2015-05-16
| * z3 optAistis Raulinaitis2015-05-08
| * meta.description fixupsJoachim Fasting2015-04-30
* | fix "libc}/lib" and similar referencesVladimír Čunát2015-05-05
|/
* coq_8_5: New expressionJohn Wiegley2015-04-26
* coq: update from 8.4pl5 to 8.4pl6Vincent Laporte2015-04-15
* nixpkgs: abc-verifier 20140509 -> 20150406Austin Seipp2015-04-06
* Merge pull request #7103 from gebner/veritlethalman2015-03-31
|\
| * Add veriT.Gabriel Ebner2015-03-31
* | twelf: fix by actually including the Twelf SML heap image in the package and ...Ben Darwin2015-03-31
|/
* nixpkgs: add lean-20150328, a theorem prover.Austin Seipp2015-03-28
* nixpkgs: z3 is now MIT licensed.Austin Seipp2015-03-28
* z3: copy all headers into nix storeEric Seidel2015-03-26
* new package: abella 2.0.2Ben Darwin2015-03-24
* Update HOL Light to r218Marco2015-02-17
* Merge branch 'master' into stagingVladimír Čunát2015-01-31
|\
| * Why3: build also the Coq tactic.Vincent Laporte2015-01-29
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-04 05:11:44 +0000