summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Merge pull request #38589 from badi/tlatoolsJörg Thalheim2018-04-17
|\
| * tlaplusToolbox: init at 1.5.6Badi Abdul-Wahid2018-04-16
| * tlaps: init at 1.4.3Badi Abdul-Wahid2018-04-16
* | symbiyosys: larger meta.platformsVincent Laporte2018-04-16
* | elan: 0.3.0 -> 0.3.2Gabriel Ebner2018-04-13
* | elan: add leanchecker proxyGabriel Ebner2018-04-11
* | elan: 0.1.0 -> 0.3.0Gabriel Ebner2018-04-11
* | elan: init at 0.1.0Gabriel Ebner2018-04-10
* | Merge pull request #38260 from symphorien/tamarin-vimMatthew Justin Bauer2018-04-08
|\ \
| * | tamarin-prover: install vim syntax highlighting filesSymphorien Gibol2018-03-31
* | | nixpkgs: remove z3 4.5.0Austin Seipp2018-04-07
| |/ |/|
* | Merge pull request #38416 from bcdarwin/belugaJörg Thalheim2018-04-06
|\ \
| * | beluga: init at 20180403Ben Darwin2018-04-04
* | | abella: 2.0.4 -> 2.0.5Ben Darwin2018-04-04
|/ /
* | Merge pull request #37465 from timor/workcraftMatthew Justin Bauer2018-03-31
|\ \
| * | workcraft: init at 3.1.9timor2018-03-21
* | | Merge pull request #37591 from vbgl/coq-88beta1John Wiegley2018-03-23
|\ \ \
| * | | coq: init at 8.8+beta1Vincent Laporte2018-03-21
| | |/ | |/|
* | | picosat: fix darwin buildDaiderd Jordan2018-03-24
* | | symbiyosys: 2018.03.07 -> 2018.03.21Austin Seipp2018-03-21
| |/ |/|
* | Merge pull request #36933 from Ma27/fix-aspinoGabriel Ebner2018-03-17
|\ \
| * | aspino: fix buildMaximilian Bosch2018-03-17
| |/
* / ltl2ba: 1.1 -> 1.2b1Ryan Mulligan2018-03-14
|/
* treewide: s/xlibs/xorg/g (#36889)volth2018-03-13
* clingo: fix build on non-sandboxed darwinVincent Laporte2018-03-12
* clingo: fix URLVincent Laporte2018-03-12
* tptp: 7.0.0 -> 7.1.0Michael Raskin2018-03-12
* symbiyosys: 2018.02.04 -> 2018.03.07Austin Seipp2018-03-08
* tamarin-prover: 1.3.0 -> 1.3.1wchresta2018-03-08
* Merge branch 'master'Vladimír Čunát2018-03-05
|\
| * tlaplus: init at 1.5.6Austin Seipp2018-03-02
| * cryptoverif: 1.22 -> 1.28Ryan Mulligan2018-02-26
* | treewide: transition mesa to libGLU_combinedAlexander V. Nikolaev2018-02-24
|/
* 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
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-15 05:11:29 +0000