summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* treewide: update which packages I'm currently maintainingMaximilian Bosch2019-12-26
* treewide: fix cargoSha256 (again)Alyssa Ross2019-12-20
* z3: 4.8.5 -> 4.8.7Austin Seipp2019-12-14
* Merge pull request #75141 from vbgl/coq-8.11β1Vincent Laporte2019-12-14
|\
| * coq_8_11: init at 8.11+β1Vincent Laporte2019-12-07
* | btor2tools: correct meta informationRobert Scott2019-12-12
* | boolector: add patch for CVE-2019-7560Robert Scott2019-12-12
* | lingeling: enable for darwinRobert Scott2019-12-08
* | aiger: enable for darwinRobert Scott2019-12-08
|/
* symbiyosys: add yices dependencyMatt Huszagh2019-12-04
* coq_8_10: 8.10.1 → 8.10.2Vincent Laporte2019-12-03
* Merge branch 'master' into staging-nextJonathan Ringer2019-11-27
|\
| * coq: Fix setup hookJohn Ericson2019-11-25
* | Merge staging-next into stagingFrederik Rietdijk2019-11-19
|\|
| * Treewide: fix URL permanent redirectsc0bw3b2019-11-16
* | treewide: Get rid of libGLU_combinedadisbladis2019-11-18
|/
* why3: 1.2.0 → 1.2.1Vincent Laporte2019-11-11
* Merge pull request #70641 from maggesi/rename-z77z-into-maggesiMatthew Bauer2019-11-07
|\
| * Merge branch 'master' into rename-z77z-into-maggesiMarco Maggesi2019-10-13
| |\
| * | Rename z77z into maggesiMarco Maggesi2019-10-07
* | | eprover: 2.3 -> 2.4R. RyanTM2019-11-01
* | | coq_8_10: 8.10.0 → 8.10.1Vincent Laporte2019-10-25
* | | coq_8_10: enable CoqIDEVincent Laporte2019-10-25
* | | ott: 0.28 -> 0.29R. RyanTM2019-10-23
* | | symbiyosys: 2019.08.13 -> 2019.10.11Emily2019-10-19
* | | coq_8_10: 8.10+β3 → 8.10.0Vincent Laporte2019-10-16
* | | coq: do not build CoqIDE for Coq 8.10Vincent Laporte2019-10-16
* | | coq_8_10: do not take “camlp5” as inputVincent Laporte2019-10-16
* | | coq_8_10: fix CoqIDE on darwinVincent Laporte2019-10-16
* | | monosat: 60528a3 -> 1.8.0Aiken Cairncross2019-10-15
* | | monosat: Add self as maintainerAiken Cairncross2019-10-15
| |/ |/|
* | hol_light: 2019-03-27 -> 2019-10-06Marco Maggesi2019-10-09
* | treewide: mark some broken packages as brokenLinus Heckemann2019-10-08
|/
* Merge pull request #69477 from r-ryantm/auto-update/clingoMichael Raskin2019-09-27
|\
| * clingo: 5.3.0 -> 5.4.0R. RyanTM2019-09-26
* | Merge pull request #69345 from joachifm/feat/split-versionJoachim F2019-09-27
|\ \
| * | tree-wide: replace uses of splitString "." with lib.versionsJoachim Fasting2019-09-26
* | | treewide: remove empty buildInputsJörg Thalheim2019-09-26
| |/ |/|
* | tamarin-prover: mark as broken because upstream is brokenKierán Meinhardt2019-09-24
* | treewide: use libtinfo.so.5 where neededMatthew Bauer2019-09-18
|/
* coq_8_10: 8.10+β2 → 8.10+β3Vincent Laporte2019-09-16
* petrinizer: fix build by pinning the neccessary library versionsMichael Raskin2019-09-07
* Merge branch 'master' into stagingVladimír Čunát2019-09-02
|\
| * symbiyosys: fix path to bash (again)Emily2019-09-01
* | treewide: name -> pname (#67513)volth2019-08-31
* | treewide: remove redundant recvolth2019-08-28
* | Merge staging-next into stagingFrederik Rietdijk2019-08-28
|\|
| * Merge master into staging-nextFrederik Rietdijk2019-08-27
| |\
| | * stp: 2.2.0 -> 2.3.3Jonathan Ringer2019-08-26
| | * vampire: 4.2.2 -> 4.4Gabriel Ebner2019-08-25
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 14:00:13 +0000