summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* ocamlPackages_3_11_2: removeThéo Zimmermann2018-10-08
* hol_light: 2017-07-06 -> 2018-09-30Marco Maggesi2018-10-06
* elan: 0.5.0 -> 0.7.1Gabriel Ebner2018-10-04
* symbiyosys: 2018.07.26 -> 2018.09.12Austin Seipp2018-10-01
* tree-wide: patchelf used during build -> nativeBuildInputsWill Dietz2018-09-28
* coq: 8.8.1 -> 8.8.2 (#47388)Vincent Laporte2018-09-26
* Merge master into staging-nextFrederik Rietdijk2018-09-18
|\
| * tamarin-prover: fix ghc 8.4 build (#46597)Maximilian Bosch2018-09-13
* | Merge branch 'master' into staging-nextUli Baum2018-09-13
|\|
| * prooftree: add licenseMarkus Kowalewski2018-09-08
* | Merge master into stagingFrederik Rietdijk2018-09-02
|\|
| * jonprl: update homepageMarkus Kowalewski2018-09-02
* | Merge branch 'master' into stagingVladimír Čunát2018-09-01
|\|
| * vampire: fix nondeterministic hashGabriel Ebner2018-09-01
| * reewide: Purge all uses `stdenv.system` and top-level `system`John Ericson2018-08-30
* | gnome-documents, tlaplus: fix glib referencesVladimír Čunát2018-08-30
|/
* Revert "treewide: fixup breakage due to absolute compiler path"Matthew Bauer2018-08-22
* treewide: fixup breakage due to absolute compiler pathVladimír Čunát2018-08-21
* Merge branch 'master' into staging-nextVladimír Čunát2018-08-17
|\
| * boolector: 2.4.1 -> 3.0.0, relicensed to MITAustin Seipp2018-08-15
| * btor2tools: init at pre55_8c150b39Austin Seipp2018-08-15
| * lingeling: init at pre1_03b4860dAustin Seipp2018-08-15
| * aiger: clean up configurePhase, install multi-output objects/headersAustin Seipp2018-08-15
* | Merge branch 'master' into staging-nextVladimír Čunát2018-08-12
|\|
| * Merge pull request #44837 from Infinisil/fix/sadSilvan Mosberger2018-08-09
| |\
| | * sad: fix buildSilvan Mosberger2018-08-09
* | | Merge master into stagingFrederik Rietdijk2018-08-09
|\| |
| * | symbiyosys: 2018.05.03 -> 2018.07.26Austin Seipp2018-08-08
* | | treewide: Make configureFlags listsJohn Ericson2018-08-03
|/ /
* | Merge pull request #43899 from r-ryantm/auto-update/tla-toolboxFrederik Rietdijk2018-07-22
|\ \
| * | tlaplusToolbox: 1.5.6 -> 1.5.7R. RyanTM2018-07-21
* | | why3: 0.88.3 -> 1.0.0Ricardo M. Correia2018-07-21
* | | Merge branch 'master' into unused5Jörg Thalheim2018-07-21
|\ \ \
| * | | [bot] treewide: remove unused 'inherit' in let blocksvolth2018-07-20
| |/ /
* / / pkgs/*: remove unreferenced function argumentsvolth2018-07-21
|/ /
* | cvc4: fix homepage urlGabriel Ebner2018-07-16
* | z3: fix darwin build (#43526)Mario Rodas2018-07-14
* | Merge pull request #43445 from dtzWill/fix/yices-symlinkWill Dietz2018-07-13
|\ \
| * | yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz2018-07-12
| * | yices: simplify ln commandWill Dietz2018-07-12
| * | yices: fix symlink to match version of packageWill Dietz2018-07-12
* | | abc-verifier: 20160818 -> 2018-07-08Will Dietz2018-07-12
* | | libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz2018-07-12
|/ /
* | z3: move to multiple output packagesAustin Seipp2018-07-12
* | Merge pull request #43333 from r-ryantm/auto-update/libpolyFrederik Rietdijk2018-07-11
|\ \
| * | libpoly: 0.1.4 -> 0.1.5R. RyanTM2018-07-11
| |/
* / yices: 2.5.4 -> 2.6.0R. RyanTM2018-07-11
|/
* monosat: update build to use handy new environment variableDan Peebles2018-07-08
* monosat: cbaf79cf -> 2deeadefDan Peebles2018-07-08
* monosat: init at 1nx3wh34Dan Peebles2018-07-08
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-03 05:07:37 +0000