about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2017-08-03Update homepage attributes: http -> httpsmimadrid1-1/+1
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger15-15/+15
2017-08-01coq2html: New expressionJohn Wiegley1-0/+38
2017-07-24cryptominisat: use new xxd package instead of vimPeter Hoeg1-9/+8
2017-07-20Revert "coq2html: New expression"Franz Pletz1-38/+0
2017-07-20coq2html: New expressionJohn Wiegley1-0/+38
2017-07-18boolector: 1.{5,6} -> 2.4.1Symphorien Gibol1-36/+11
2017-07-17iprover: 0.8.1 -> 2.5Gabriel Ebner1-10/+7
2017-07-15abc-verifier: fix typo in metaVladimír Čunát1-1/+1
2017-07-08Merge pull request #27197 from kquick/masterMichael Raskin2-5/+33
2017-07-08acgtk: 1.1 -> 1.3.1Vincent Laporte1-11/+11
2017-07-08hol_light: 2016-07-23 -> 2017-07-06Vincent Laporte2-18/+11
2017-07-07Fix license reference for added libpoly library.Kevin Quick1-1/+1
2017-07-06Update yices to add libpoly/mcsat functionality and add soname target.Kevin Quick1-5/+11
2017-07-06Add poly library for manipulating polynomials.Kevin Quick1-0/+22
2017-06-18lean: 3.1.0 -> 3.2.0Gabriel Ebner1-2/+2
2017-05-22minisat: fix maintainerSamuel Leathers1-1/+1
2017-05-22stp: 2014.01.07 -> 2.2.0Jörg Thalheim3-254/+26
2017-05-22cryptominisat: init at 5.0.1Jörg Thalheim1-0/+31
2017-05-22minisatUnstable: init at 2013-09-25Jörg Thalheim1-0/+23
2017-05-22coq: nix-buffer: Inherit variables to PG shellShea Levy1-0/+31
2017-05-20cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)marcnnn1-7/+10
2017-05-20coq: Add emacs buffer setupShea Levy1-4/+15
2017-05-01Merge pull request #25164 from marsam/masterMichael Raskin1-1/+1
2017-05-01Merge pull request #25117 from lucas8/cubicleMichael Raskin1-0/+20
2017-04-30Merge pull request #21822 from rht/masterMichael Raskin1-9/+12
2017-04-25cubicle: init at 1.0.2lucas81-0/+20
2017-04-23abc-verifier: Add http url scheme to abc homepageMario Rodas1-1/+1
2017-03-28redprl: 2016-09-22 -> 2017-03-28James ‘Twey’ Kay1-3/+3
2017-03-18coq_HEAD: Update once morerht1-3/+3
2017-03-18Fold in specific ocaml version choice into letrht1-5/+8
2017-03-18coq_HEAD: Update to the latest commitrht1-4/+4
2017-03-14hol: mark as brokenRobin Gloster1-0/+1
2017-02-26logisim: use better jar wrapper, closes #23068Christopher League1-10/+5
2017-02-26lean: 3.0.0 -> 3.1.0Gabriel Ebner1-4/+4
2017-02-01veriT: 201506 -> 2016Gabriel Ebner1-3/+3
2017-01-25coq-8.4: fix build of ssreflect and mathcompVincent Laporte1-0/+1
2017-01-25Coq: propagates the findlib packageVincent Laporte1-0/+3
2017-01-25coq: minor refactoringVincent Laporte1-7/+9
2017-01-25coq: merge files 8.5.nix and 8.6.nix into default.nixVincent Laporte2-96/+8
2017-01-21alt-ergo: 0.99.1 -> 1.30Vincent Laporte1-3/+3
2017-01-21why3: 0.87.1 -> 0.87.3Vincent Laporte1-3/+3
2017-01-20lean: 2017-01-14 -> 3.0.0Gabriel Ebner1-3/+3
2017-01-14lean: 2017-01-06 -> 2017-01-14Gabriel Ebner1-3/+3
2017-01-13Merge pull request #21819 from AtnNn/isabellePascal Wittmann1-9/+15
2017-01-11isabelle: 2016 -> 2016-1Etienne Laurin1-9/+15
2017-01-06lean: 2016-12-30 -> 2017-01-06Gabriel Ebner1-3/+3
2017-01-03haskellPackages.z3: fix #16357Domen Kožar1-2/+2
2016-12-31lean: 2016-12-08 -> 2016-12-30Gabriel Ebner1-3/+3
2016-12-22coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley1-0/+0
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-01 09:09:11 +0000