about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* tlaplus: init at 1.5.6Austin Seipp2018-03-02
* cryptoverif: 1.22 -> 1.28Ryan Mulligan2018-02-26
* Merge staging and PR #35021Vladimír Čunát2018-02-16
|\
| * Merge remote-tracking branch 'upstream/master' into HEADFrederik Rietdijk2018-02-14
| |\
| * | avy: fixes to work with clang and muslWill Dietz2018-02-13
| * | cvc4: build in parallelWill Dietz2018-02-13
| * | cvc4: patch up fpu_control usageWill Dietz2018-02-13
| * | picosat: fix ar and ranlib usage for crossWill Dietz2018-02-13
| * | picosat: fixup include for unistd.hWill Dietz2018-02-13
| * | boolector: patch usage of ar and ranlib for crossWill Dietz2018-02-13
| * | boolector: fix missing stdint.h includeWill Dietz2018-02-13
* | | coq: 8.7.1 -> 8.7.2John Wiegley2018-02-15
* | | eprover: fix build in non-GCC environmentsVincent Laporte2018-02-14
| |/ |/|
* | z3: also needs setuptoolsJörg Thalheim2018-02-14
|/
* symbiyosys: 2018.01.10 -> 2018.02.04Austin Seipp2018-02-04
* lean: fixup nativeBuildInputs vs buildInputsWill Dietz2018-01-22
* maintainers: remove mornfall from packagesYegor Timoshenko2018-01-17
* why3: 0.88.1 -> 0.88.3Vincent Laporte2018-01-14
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-17 03:33:13 +0000