summary refs log tree commit diff
path: root/pkgs/applications/science/logic
Commit message (Expand)AuthorAge
* 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
* | lean: 2016-12-08 -> 2016-12-30Gabriel Ebner2016-12-31
|/
* coq_8_6: 8.6 is now default, 8.4 optional, updated mathcomp/ssreflectJohn Wiegley2016-12-22
* coq_8_6: 8.6rc1 -> 8.6John Wiegley2016-12-14
* coq_HEAD: Update to the latest commit as of 2016-12-13John Wiegley2016-12-13
* coq_8_6: new package, based on Coq 8.6rc1John Wiegley2016-12-13
* minisat: Fix build on DarwinEelco Dolstra2016-12-09
* lean: init at 2016-12-08Gabriel Ebner2016-12-08
* lean2: 2016-07-05 -> 2016-11-29Gabriel Ebner2016-12-08
* hol_light: fix build with Camlp5-6.17Vincent Laporte2016-11-29
* coq: Improve emacs buffer handlingShea Levy2016-11-13
* nixpkgs: proverif 1.94 -> 1.95Austin Seipp2016-11-10
* z3: 4.4.1 -> 4.5.0Gabriel Ebner2016-11-08
* coq-8.5: ease the selection of an older (patch level) versionVincent Laporte2016-11-02
* coq: build and install the votour utilityVincent Laporte2016-11-02
* coq: 8.5pl2 -> 8.5pl3Vincent Laporte2016-11-02
* yices: Add darwin to meta.platformsWill Dietz2016-10-30
* yices: Build in parallel, run tests, fix test shebang.Will Dietz2016-10-26
* yices: fix install target by using 'true' as ldconfigWill Dietz2016-10-26
* yices: 2.3.1 -> 2.5.1Will Dietz2016-10-26
* z3: use python2Frederik Rietdijk2016-10-18
* nix-buffer support improvements.Shea Levy2016-10-07
* treewide: use ocaml.version (#19192)Kirill Boltaev2016-10-05
* Remove redundant -DCMAKE_BUILD_TYPE=Release flagsAneesh Agrawal2016-10-01
* redprl: remove explicit builderBrian McKenna2016-09-29
* redprl: patch install script shebangsAnthony Cowley2016-09-27
* treewide: move to ocaml-ng systemKirill Boltaev2016-09-26
* redprl: init at 2016-09-22Anthony Cowley2016-09-23
* eprover: 1.9 -> 1.9.1Gabriel Ebner2016-09-20
* treewide: explicitly specify gtk and related package versionsKirill Boltaev2016-09-12
* twelf: fix emacs modeDan Peebles2016-09-08
* tptp: take into account upstream tarball hash change; one file got renamed an...Michael Raskin2016-09-08
* Disable bunch of non-compiling packages on DarwinTuomas Tynkkynen2016-09-01
* treewide: fix darwin builds by using getOutputRobin Gloster2016-08-25
* treewide: fix darwin builds by referring to stdenv's libcFranz Pletz2016-08-25
* boolector: fix build with multiple outputsRobin Gloster2016-08-24
* Merge branch 'master' into stagingobadz2016-08-23
|\
| * treewide: Use more makeBinPathTuomas Tynkkynen2016-08-23
* | Merge branch 'hardened-stdenv' into stagingobadz2016-08-22
|\ \ | |/ |/|
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-05 06:35:17 +0000