summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'origin/master' into gcc-9Franz Pletz2019-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
* | | | minisatUnstable: fix build with gcc9Franz Pletz2019-11-05
* | | | minisat: fix build with gcc9Franz Pletz2019-11-04
|/ / /
* | | 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
| |\
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-05-30 08:11:50 +0000