summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
...
* | cvc4: fix homepage urlGabriel Ebner2018-07-16
* | z3: fix darwin build (#43526)Mario Rodas2018-07-14
* | Merge pull request #43445 from dtzWill/fix/yices-symlinkWill Dietz2018-07-13
|\ \
| * | yices: use lib.splitString, not everyone has builtins.splitVersionWill Dietz2018-07-12
| * | yices: simplify ln commandWill Dietz2018-07-12
| * | yices: fix symlink to match version of packageWill Dietz2018-07-12
* | | abc-verifier: 20160818 -> 2018-07-08Will Dietz2018-07-12
* | | libpoly: 0.1.5 -> 0.1.7 (noop), cleanup a bit to modern styleWill Dietz2018-07-12
|/ /
* | z3: move to multiple output packagesAustin Seipp2018-07-12
* | Merge pull request #43333 from r-ryantm/auto-update/libpolyFrederik Rietdijk2018-07-11
|\ \
| * | libpoly: 0.1.4 -> 0.1.5R. RyanTM2018-07-11
| |/
* / yices: 2.5.4 -> 2.6.0R. RyanTM2018-07-11
|/
* monosat: update build to use handy new environment variableDan Peebles2018-07-08
* monosat: cbaf79cf -> 2deeadefDan Peebles2018-07-08
* monosat: init at 1nx3wh34Dan Peebles2018-07-08
* Merge pull request #43071 from dtzWill/fix/vampire-portabilityWill Dietz2018-07-05
|\
| * vampire: enable parallel buildingWill Dietz2018-07-05
| * vampire: portability fixesWill Dietz2018-07-05
| * vampire: use CC/CXX from env, instead of always g++Will Dietz2018-07-05
* | cvc4: 1.5 -> 1.6Gabriel Ebner2018-07-05
|/
* eprover: 2.0 -> 2.1Gabriel Ebner2018-07-05
* vampire: init at 4.2.2Gabriel Ebner2018-07-05
* clingo: 5.2.2 -> 5.3.0R. RyanTM2018-07-04
* coq_8_8: 8.8.0 -> 8.8.1Théo Zimmermann2018-06-29
* treewide: http -> https sources (#42676)Silvan Mosberger2018-06-28
* treewide: http -> https (#42665)Ryan Mulligan2018-06-27
* treewide: http -> httpsRyan Mulligan2018-06-23
* cryptoverif: 1.28 -> 2.00R. RyanTM2018-06-06
* z3: 4.6.0 -> 4.7.1Will Dietz2018-05-30
* celf: init at 2013-07-25 (#41141)Ben Darwin2018-05-28
* proverif: 1.97pl1 -> 2.00Vincent Laporte2018-05-22
* elan: 0.3.2 -> 0.5.0Gabriel Ebner2018-05-14
* tamarin-prover: 1.3.1 -> 1.4.0Austin Seipp2018-05-07
* Merge pull request #40113 from wchresta/tamarin/fixJörg Thalheim2018-05-07
|\
| * tamarin-prover: Fix compile issuesWanja Chresta2018-05-07
* | Merge pull request #40093 from r-ryantm/auto-update/leanGabriel Ebner2018-05-07
|\ \ | |/ |/|
| * lean: 3.3.0 -> 3.4.1R. RyanTM2018-05-07
* | symbiyosys: 2018.03.21 -> 2018.05.03Austin Seipp2018-05-03
|/
* treewide: remove platform assertionsMatthew Bauer2018-05-03
* Merge pull request #39529 from r-ryantm/auto-update/ottJörg Thalheim2018-04-26
|\
| * ott: 0.27 -> 0.28R. RyanTM2018-04-26
* | verifast: 14.5 -> 18.02 (#39480)Michiel Derhaeg2018-04-25
|/
* Merge pull request #38969 from vbgl/coq-findlibMatthew Justin Bauer2018-04-20
|\
| * coq: fix installation of OCaml librariesVincent Laporte2018-04-15
| * coq: move some attributes inside `passthru`Vincent Laporte2018-04-15
* | coq: 8.8+beta1 -> 8.8.0Vincent Laporte2018-04-18
* | 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
| |/ |/|
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-06-30 17:34:31 +0000