about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* 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
|\
| * abc-verifier: Add http url scheme to abc homepageMario Rodas2017-04-23
* | Merge pull request #25117 from lucas8/cubicleMichael Raskin2017-05-01
|\ \
| * | cubicle: init at 1.0.2lucas82017-04-25
| |/
* | Merge pull request #21822 from rht/masterMichael Raskin2017-04-30
|\ \ | |/ |/|
| * coq_HEAD: Update once morerht2017-03-18
| * Fold in specific ocaml version choice into letrht2017-03-18
| * coq_HEAD: Update to the latest commitrht2017-03-18
* | redprl: 2016-09-22 -> 2017-03-28James ‘Twey’ Kay2017-03-28
|/
* hol: mark as brokenRobin Gloster2017-03-14
* logisim: use better jar wrapper, closes #23068Christopher League2017-02-26
* lean: 3.0.0 -> 3.1.0Gabriel Ebner2017-02-26
* veriT: 201506 -> 2016Gabriel Ebner2017-02-01
* coq-8.4: fix build of ssreflect and mathcompVincent Laporte2017-01-25
* Coq: propagates the findlib packageVincent Laporte2017-01-25
* coq: minor refactoringVincent Laporte2017-01-25
* coq: merge files 8.5.nix and 8.6.nix into default.nixVincent Laporte2017-01-25
* alt-ergo: 0.99.1 -> 1.30Vincent Laporte2017-01-21
* why3: 0.87.1 -> 0.87.3Vincent Laporte2017-01-21
* lean: 2017-01-14 -> 3.0.0Gabriel Ebner2017-01-20
* lean: 2017-01-06 -> 2017-01-14Gabriel Ebner2017-01-14
* Merge pull request #21819 from AtnNn/isabellePascal Wittmann2017-01-13
|\
| * isabelle: 2016 -> 2016-1Etienne Laurin2017-01-11
* | lean: 2016-12-30 -> 2017-01-06Gabriel Ebner2017-01-06
* | haskellPackages.z3: fix #16357Domen Kožar2017-01-03
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-16 06:03:36 +0000