about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cvc3
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-11-11treewide: fix redirected and broken URLsAnthony Roussel1-3/+3
2022-08-25cvc3: reenable stackprotector on aarch64-darwinTheodore Ni1-4/+0
2022-07-21cvc3: unbreak on aarch64-darwinJiajie Chen1-0/+7
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-09-22cvc3: enable for darwinRobert Scott1-1/+1
2020-09-22cvc3: fix build against bison 3.7Robert Scott1-1/+6
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-2/+2
2017-08-29cvc3: Add gcc6 patch from Gentoo.Will Dietz2-0/+78
2017-08-01pkgs: refactor needless quoting of homepage meta attribute (#27809)Silvan Mosberger1-1/+1
2015-11-24cvc3: reimplement using mkDerivationJoachim Fasting1-39/+18
2014-11-06Turn more licenses into lib.licenses styleMateusz Kowalczyk1-6/+5
2013-12-18cvc3: update from 2.2 to 2.4.1Nixpkgs Monitor1-2/+2
2010-12-05Adding CVC3 satisfiability modulo theory (SMT) solverMichael Raskin1-0/+54
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 05:10:40 +0000