about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* symbiyosys: 2017.12.06 -> 2018.01.10Austin Seipp2018-01-10
* z3: 4.5.0-2017-11-06 -> 4.6.0Austin Seipp2018-01-03
* Merge branch 'master' into stagingVladimír Čunát2017-12-31
|\
| * tamarin-prover: enable testsAustin Seipp2017-12-30
| * nixpkgs: add sapic as a dependency to tamarin-proverAustin Seipp2017-12-30
| * nixpkgs: init sapic 0.9Austin Seipp2017-12-30
| * nixpkgs: add 'graphviz' to tamarin-prover dependenciesAustin Seipp2017-12-30
| * nixpkgs: add tamarin-prover 1.3.0 (dev) toolAustin Seipp2017-12-30
* | Merge pull request #26805 from obsidiansystems/cross-elegantJohn Ericson2017-12-30
|\ \ | |/ |/|
| * treewide: Don't use envHook anymoreJohn Ericson2017-12-30
* | coq: lablgtk is only needed for coqideVincent Laporte2017-12-23
* | Specify the coq version in a more consistent locationJohn Wiegley2017-12-21
|/
* coq: minor cleaningVincent Laporte2017-12-18
* drat-trim: fix build on darwinOrivej Desh2017-12-17
* Merge pull request #32643 from kini/drat-trimOrivej Desh2017-12-17
|\
| * drat-trim: init at 2017-08-31Keshav Kini2017-12-17
* | ocamlPackages.cairo2: 0.4.6 -> 0.5Vincent Laporte2017-12-16
* | coq_8_7: 8.7.0 -> 8.7.1John Wiegley2017-12-15
* | z3_4_5_0: New expression, to access the release version's APIJohn Wiegley2017-12-14
* | Merge pull request #32538 from vbgl/ott-0.27Pascal Wittmann2017-12-14
|\ \ | |/ |/|
| * ott: 0.25 -> 0.27Vincent Laporte2017-12-10
* | Merge pull request #32250 from vbgl/coq-cleanVincent Laporte2017-12-11
|\ \
| * | coq_HEAD: removeVincent Laporte2017-12-02
* | | Merge branch 'master' into stagingVladimír Čunát2017-12-09
|\ \ \ | | |/ | |/|
| * | nixpkgs: symbiyosys 2017.11.05 -> 2017.12.06Austin Seipp2017-12-06
| |/
* / stp: disable parallel buildingOrivej Desh2017-12-07
|/
* glucose-syrup: Remove unused fetchurl argumentKeshav Kini2017-12-01
* acgtk: fix for yojson ≥ 1.4Vincent Laporte2017-11-27
* why3: 0.87.3 -> 0.88.1Moritz Kiefer2017-11-15
* clingo: init at 5.2.2Michael Raskin2017-11-10
* z3: update to latest gitAustin Seipp2017-11-09
* glucose, glucose-syrup: 4.0 -> 4.1Michael Raskin2017-11-08
* yices: 2.5.3 -> 2.5.4Austin Seipp2017-11-05
* cvc4: unstable-2017-05-18 -> 1.5Austin Seipp2017-11-05
* yosys/symbiyosys: 2017.10.16 -> 2017.11.05Austin Seipp2017-11-05
* coqPackages_8_7: New expression, but don't make it the default yetJohn Wiegley2017-10-22
* aiger: fix stupid incorrect download linkAustin Seipp2017-10-16
* nixpkgs: add aiger 1.9.9Austin Seipp2017-10-16
* picosat: install more stuffAustin Seipp2017-10-16
* nixpkgs: add 'avy' -- property directed AIGER model checkingAustin Seipp2017-10-16
* nixpkgs: add symbiyosys, for HDL verification flowsAustin Seipp2017-10-16
* abella: 2.0.2 -> 2.0.4Simon Lackerbauer2017-10-16
* cubicle: 1.0.2 -> 1.1.1Vincent Laporte2017-10-11
* coq: 8.7+beta1 -> 8.7+beta2Maxime Dénès2017-10-11
* isabelle: 2016-1 -> 2017Gabriel Ebner2017-10-10
* Merge branch 'master' into stagingOrivej Desh2017-10-03
|\
| * tptp: 6.4.0 -> 7.0.0Gabriel Ebner2017-10-02
* | Merge remote-tracking branch 'upstream/staging' into deps-reorgJohn Ericson2017-09-28
|\|
| * darwin: Disable yet another bunch of packages never having built successfullyTuomas Tynkkynen2017-09-22
| * abella: fix build with OCaml ≥ 4.03Vincent Laporte2017-09-22
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 21:48:19 +0000