summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* 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
| * 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
|/ /
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-28 06:59:44 +0000