summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* glucose: Disable build on aarch64-linuxSamuel Dionne-Riel2018-12-10
* z3: 4.8.1 -> 4.8.3Will Dietz2018-11-27
* vampire: fix nondeterministic hashGabriel Ebner2018-11-22
* iprover: 2.5 -> 2018_Jul_24_11hGabriel Ebner2018-11-21
* ltl2ba: 1.2b1 -> 1.2R. RyanTM2018-11-19
* Merge pull request #50324 from asymmetric/solcJörg Thalheim2018-11-15
|\
| * z3: restrict to x86_64Jörg Thalheim2018-11-15
* | coq2html: switch to default makePiotr Bogdan2018-11-15
* | tptp: use urls instead of urlGabriel Ebner2018-11-15
* | tptp: 7.1.0 -> 7.2.0Gabriel Ebner2018-11-15
|/
* eprover: 2.1 -> 2.2Gabriel Ebner2018-11-07
* Merge pull request #49728 from vbgl/acgtk-1.5.0Jörg Thalheim2018-11-04
|\
| * acgtk: 1.3.1 -> 1.5.0Vincent Laporte2018-11-04
* | coq_8_9: init at 8.9+beta1Théo Zimmermann2018-11-04
|/
* yices: 2.6.0 -> 2.6.1Kevin Quick2018-11-02
* Merge pull request #48579 from dtzWill/update/z3-4.8.1Will Dietz2018-11-02
|\
| * z3: 4.7.1 -> 4.8.1Will Dietz2018-10-16
* | coq_8_4: removeJörg Thalheim2018-10-30
* | Merge pull request #48812 from mpickering/cedilleJoachim F2018-10-24
|\ \
| * | cedille: Make a seperate output for the base libraryMatthew Pickering2018-10-22
| * | cedille: Apply patch which unbreaks the options fileMatthew Pickering2018-10-22
| |/
* | Merge pull request #48617 from Zimmi48/passthru-ocamlPackages-in-coq-packageVincent Laporte2018-10-19
|\ \
| * | coq: add ocamlPackages in passthruThéo Zimmermann2018-10-17
| |/
* / why3: 1.0.0 -> 1.1.0Vincent Laporte2018-10-18
|/
* cedille: init at 1.0.0Matthew Pickering2018-10-14
* alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4Moritz Kiefer2018-10-13
* prooftree: cleaningVincent Laporte2018-10-11
* camlp5_transitional: remove in favor of camlp5 (strict)Théo Zimmermann2018-10-10
* prooftree: 0.12 -> 0.13Théo Zimmermann2018-10-10
* matita: remove broken packageThéo Zimmermann2018-10-09
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-30 18:30:40 +0000