about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2014-08-24Fix many package descriptionsBjørn Forsman5-5/+5
2014-08-22Fix various evaluation problemsEelco Dolstra2-0/+4
2014-08-19ssreflect: 1.4 -> 1.5John Wiegley1-3/+3
2014-08-16coq_HEAD: 8.5pre-fff9e2f7 -> 8.5pre-8bc01590John Wiegley1-3/+3
2014-08-12Update and fix LEO2 proverMichael Raskin2-10/+18
2014-08-08Add an expression for building Coq HEADJohn Wiegley1-0/+57
2014-08-08Merge 'staging' into masterVladimír Čunát1-4/+4
2014-08-08Mark a bunch of packages as broken or not supported on DarwinEelco Dolstra1-6/+3
2014-08-04Merge remote-tracking branch 'origin/master' into staging.Peter Simons7-22/+20
2014-07-28Fix broken license references.Peter Simons3-15/+16
2014-07-28Turn some license strings into lib.licenses valuesMateusz Kowalczyk7-10/+7
2014-07-22Don't use ensureDirEelco Dolstra1-4/+4
2014-06-28fetchbzr, fetchdarcs, fetchhg: use `rev` attrBenno Fünfstück1-1/+1
2014-06-27twelf: Fix the source URLJohn Wiegley1-1/+1
2014-06-26twelf: new expression; prover for PL theory and logicJohn Wiegley1-0/+46
2014-06-10verifast: 14.5, x86_64 linux onlyAustin Seipp1-14/+10
2014-06-08prooftree: new expression 0.12John Wiegley1-0/+40
2014-05-17Merge pull request #2514 from jwiegley/coqAustin Seipp1-1/+1
2014-05-17nixpkgs: add abc version 040509Austin Seipp1-0/+27
2014-05-12Bump coq version to 8.4pl4.Russell O'Connor1-2/+2
2014-05-05Make Coq buildable on any UnixJohn Wiegley1-1/+1
2014-05-03Update TPTP and make URL set robust to moving old versions to archiveMichael Raskin1-4/+8
2014-05-01z3/verifast: update licenseAustin Seipp2-2/+2
2014-05-01nixpkgs: add alt-ergo 0.95.2Austin Seipp1-0/+23
2014-05-01nixpkgs: add why3 0.83Austin Seipp1-0/+22
2014-05-01nixpkgs: add ltl2ba 1.1Austin Seipp1-0/+24
2014-04-28nixpkgs: verifast 13.11.14Austin Seipp1-0/+47
2014-04-27hol_light: fix script, upgrade to r189Austin Seipp1-17/+11
2014-04-27nixpkgs: yices 2.2.1Austin Seipp1-0/+40
2014-04-07boolector: add version 1.5 and 1.6Austin Seipp1-0/+47
2014-03-28Merge branch 'z3' of git://github.com/thoughtpolice/nixpkgsShea Levy1-0/+46
2014-03-21z3: version 4.3.1Austin Seipp1-0/+46
2014-03-15Merge branch 'coq' of git://github.com/thoughtpolice/nixpkgsShea Levy1-3/+3
2014-03-08Update EKRHyperMichael Raskin1-4/+4
2014-03-07coq: add myself to maintainer list.Austin Seipp1-1/+1
2014-03-07coq: 8.4pl2 -> 8.4pl3Austin Seipp1-2/+2
2014-01-25STP: Simple Theorem Prover (a SMT solver for bitvectors & arrays).Petr Rockai3-0/+260
2014-01-14Update HOL Light to revision 179Marco Maggesi1-3/+3
2013-12-18cvc3: update from 2.2 to 2.4.1Nixpkgs Monitor1-2/+2
2013-11-25Updating EKRHuperMichael Raskin1-4/+4
2013-11-16Fix HOL documentation buildKarn Kallio1-3/+16
2013-11-16HOL: update to k.8Tom Ridge1-18/+5
2013-11-05Set meta.hydraPlatforms instead of meta.platforms for some packagesEelco Dolstra1-2/+1
2013-10-20Updating EProver to 1.8Michael Raskin1-4/+4
2013-10-20Updating EkrhyperMichael Raskin1-4/+4
2013-10-11hol: fix access to dotPeter Simons1-3/+16
2013-10-10hol: update to version k.8Peter Simons1-8/+11
2013-10-06More description fixesBjørn Forsman4-15/+11
2013-08-28Add platforms to coq, so it's built on HydraGergely Risko1-0/+1
2013-07-14Update download link for ssreflect.Russell O'Connor1-1/+1
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-07 20:07:55 +0000