about summary refs log tree commit diff
path: root/pkgs/applications/science/logic
AgeCommit message (Expand)AuthorFilesLines
2019-03-22elan: 0.7.4 -> 0.7.5Gabriel Ebner1-2/+2
2019-03-20elan: 0.7.2 -> 0.7.4Gabriel Ebner1-2/+2
2019-03-14isabelle: refactorGabriel Ebner1-17/+17
2019-03-12isabelle: 2017 -> 2018Gabriel Ebner1-12/+17
2019-03-09sad: Fix buildSilvan Mosberger1-2/+2
2019-03-01cryptominisat: 5.6.6 -> 5.6.8R. RyanTM1-2/+2
2019-02-26Merge pull request #56408 from Mic92/runtime-shellJohn Ericson2-4/+4
2019-02-26treewide: use runtimeShell instead of stdenv.shell whenever possibleJörg Thalheim2-4/+4
2019-02-26clprover: init at 1.0.3 (#56403)Merlin Göttlinger1-0/+27
2019-02-25why3: 1.1.1 -> 1.2.0Vincent Laporte1-3/+3
2019-02-20Merge branch 'staging-next'Vladimír Čunát2-2/+2
2019-02-19Merge pull request #55633 from vbgl/alt-ergo-2.3.0Vincent Laporte1-5/+8
2019-02-16Merge master into staging-nextFrederik Rietdijk2-0/+70
2019-02-14z3: Patch file to get rid of python errorSamuel W. Flint2-0/+70
2019-02-12alt-ergo: 2.2.0 -> 2.3.0Vincent Laporte1-5/+8
2019-01-27Merge remote-tracking branch 'NixOS/master' into stagingMatthew Bauer3-1/+61
2019-01-27leo3: init at 1.2Michael Raskin1-0/+29
2019-01-24coq_8_9: 8.9+beta1 -> 8.9.0Vincent Laporte1-1/+1
2019-01-22z3-tptp: initMichael Raskin1-0/+31
2019-01-22Merge branch 'master' into stagingVladimír Čunát8-457/+94
2019-01-20lean: 3.4.1 -> 3.4.2Mario Rodas1-3/+3
2019-01-19nixpkgs: remove sapic-0.9Austin Seipp2-66/+0
2019-01-19tamarin-prover: 1.4.0 -> 1.4.1, bundled sapicAustin Seipp5-388/+91
2019-01-16treewide: use ${stdenv.shell} instead of /bin/sh where possiblernhmjoj2-2/+2
2019-01-15elan: 0.7.1 -> 0.7.2Gabriel Ebner1-2/+2
2019-01-08yices: s/fetchurl/fetchFromGitHub/Austin Seipp1-6/+7
2019-01-08z3: 4.8.3 -> 4.8.4Austin Seipp1-2/+2
2019-01-08symbiyosys: 2018.09.12 -> 2018.12.09Austin Seipp1-3/+3
2019-01-08abella: 2.0.5 -> 2.0.6Simon Lackerbauer1-2/+2
2019-01-05cryptominisat: switch to python3Jörg Thalheim1-2/+2
2019-01-05cryptominisat: 5.0.1 -> 5.6.6Jörg Thalheim1-11/+5
2018-12-29why3: 1.1.0 -> 1.1.1 (#52980)Vincent Laporte1-5/+5
2018-12-20Merge pull request #51813 from samueldr/aarch64/disable-non-arm-builds-part-1Samuel Dionne-Riel3-0/+7
2018-12-16cubicle: 1.1.1 -> 1.1.2R. RyanTM1-2/+2
2018-12-10avy: Disable build on aarch64-linuxSamuel Dionne-Riel1-0/+3
2018-12-10aspino: Disable build on aarch64-linuxSamuel Dionne-Riel1-0/+2
2018-12-10glucose: Disable build on aarch64-linuxSamuel Dionne-Riel1-0/+2
2018-11-27z3: 4.8.1 -> 4.8.3Will Dietz1-2/+2
2018-11-22vampire: fix nondeterministic hashGabriel Ebner1-1/+1
2018-11-21iprover: 2.5 -> 2018_Jul_24_11hGabriel Ebner1-3/+3
2018-11-19ltl2ba: 1.2b1 -> 1.2R. RyanTM1-2/+2
2018-11-15Merge pull request #50324 from asymmetric/solcJörg Thalheim1-1/+1
2018-11-15z3: restrict to x86_64Jörg Thalheim1-1/+1
2018-11-15coq2html: switch to default makePiotr Bogdan1-2/+2
2018-11-15tptp: use urls instead of urlGabriel Ebner1-1/+1
2018-11-15tptp: 7.1.0 -> 7.2.0Gabriel Ebner1-2/+2
2018-11-07eprover: 2.1 -> 2.2Gabriel Ebner1-2/+2
2018-11-04Merge pull request #49728 from vbgl/acgtk-1.5.0Jörg Thalheim3-74/+10
2018-11-04coq_8_9: init at 8.9+beta1Théo Zimmermann1-0/+1
2018-11-04acgtk: 1.3.1 -> 1.5.0Vincent Laporte3-74/+10
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-13 00:49:40 +0000