about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
...
* | misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson2017-09-21
|/
* Revert "mcrl2: force use of gcc5 to prevent compilation errors"Franz Pletz2017-09-15
* lean: 3.2.0 -> 3.3.0Gabriel Ebner2017-09-15
* proverif: 1.95 -> 1.97pl1Vincent Laporte2017-09-13
* mcrl2: force use of gcc5 to prevent compilation errorsMaarten Hoogendoorn2017-09-10
* mcrl2: 201409 -> 201707Markus Mueller2017-09-08
* coq_8_7: init at 8.7+beta1Théo Zimmermann2017-09-06
* coq: fetch source from GitHubThéo Zimmermann2017-09-06
* eprover: 1.9.1 -> 2.0Gabriel Ebner2017-09-05
* z3_opt: remove and replace with z3Austin Seipp2017-09-02
* yices: now under GPLv3Austin Seipp2017-09-02
* cvc3: Add gcc6 patch from Gentoo.Will Dietz2017-08-29
* meson/ninja: add setup hooks (#28444)Lukas Werling2017-08-27
* yices: 2.5.2 -> 2.5.3Will Dietz2017-08-27
* libpoly: 0.1.3 -> 0.1.4Will Dietz2017-08-27
* open-wbo: init at 2.0Gabriel Ebner2017-08-20
* lean2: 2016-11-29 -> 2017-07-22Gabriel Ebner2017-08-19
* acgtk: fix homepage urlMatthew Bauer2017-08-17
* use https://github.com for all homepagesMatthew Bauer2017-08-17
* Merge pull request #28229 from jpierre03/pr-alt-ergoFrederik Rietdijk2017-08-13
|\
| * alt-ergo: use https instead of http to fetch archiveJean-Pierre PRUNARET2017-08-13
* | Merge pull request #27881 from mimadrid/fix/http-httpsFrederik Rietdijk2017-08-13
|\ \
| * | Update homepage attributes: http -> httpsmimadrid2017-08-03
* | | yices: 2.5.1 -> 2.5.2Will Dietz2017-08-12
| |/ |/|
* | coq: adding myself to the maintainersThéo Zimmermann2017-08-04
* | coq: use camlp5_strictThéo Zimmermann2017-08-04
* | coq: 8.6 -> 8.6.1Théo Zimmermann2017-08-04
|/
* pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger2017-08-01
* coq2html: New expressionJohn Wiegley2017-08-01
* cryptominisat: use new xxd package instead of vimPeter Hoeg2017-07-24
* Revert "coq2html: New expression"Franz Pletz2017-07-20
* coq2html: New expressionJohn Wiegley2017-07-20
* boolector: 1.{5,6} -> 2.4.1Symphorien Gibol2017-07-18
* iprover: 0.8.1 -> 2.5Gabriel Ebner2017-07-17
* abc-verifier: fix typo in metaVladimír Čunát2017-07-15
* Merge pull request #27197 from kquick/masterMichael Raskin2017-07-08
|\
| * Fix license reference for added libpoly library.Kevin Quick2017-07-07
| * Update yices to add libpoly/mcsat functionality and add soname target.Kevin Quick2017-07-06
| * Add poly library for manipulating polynomials.Kevin Quick2017-07-06
* | acgtk: 1.1 -> 1.3.1Vincent Laporte2017-07-08
* | hol_light: 2016-07-23 -> 2017-07-06Vincent Laporte2017-07-08
|/
* lean: 3.1.0 -> 3.2.0Gabriel Ebner2017-06-18
* minisat: fix maintainerSamuel Leathers2017-05-22
* stp: 2014.01.07 -> 2.2.0Jörg Thalheim2017-05-22
* cryptominisat: init at 5.0.1Jörg Thalheim2017-05-22
* minisatUnstable: init at 2013-09-25Jörg Thalheim2017-05-22
* coq: nix-buffer: Inherit variables to PG shellShea Levy2017-05-22
* cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)marcnnn2017-05-20
* coq: Add emacs buffer setupShea Levy2017-05-20
* Merge pull request #25164 from marsam/masterMichael Raskin2017-05-01
|\
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-29 02:30:49 +0000