about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cvc4
AgeCommit message (Expand)AuthorFilesLines
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2023-09-08treewide: replace -DCMAKE_BUILD_TYPE in cmakeFlags with cmakeBuildTypeSandro Jäckel1-3/+2
2023-02-18cvc4: Fix build failure from new bash 5.2 featureBoey Maun Suang2-0/+43
2022-05-31cvc4: fix build on darwinBen Siraphob1-3/+3
2021-01-19treewide: pkgs.pkgconfig -> pkgs.pkg-config, move pkgconfig to alias.nixJonathan Ringer1-2/+2
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2021-01-03treewide: remove enableParallelBuilding = true if using cmakeBen Siraphob1-3/+0
2020-07-18cvc4: 1.6 -> 1.8Martin Lundfall1-9/+14
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2018-07-16cvc4: fix homepage urlGabriel Ebner1-1/+1
2018-07-05cvc4: 1.5 -> 1.6Gabriel Ebner1-5/+5
2018-06-28treewide: http -> https sources (#42676)Silvan Mosberger1-1/+1
2018-02-13cvc4: build in parallelWill Dietz1-0/+2
2018-02-13cvc4: patch up fpu_control usageWill Dietz2-0/+70
2017-11-05cvc4: unstable-2017-05-18 -> 1.5Austin Seipp1-9/+10
2017-09-21misc pkgs: Basic sed to get fix `pkgconfig` and `autoreconfHook` `buildInputs`John Ericson1-1/+2
2017-05-20cvc4: 1.5pre-smtcomp2016 -> unstable-2017-05-18 (#25808)marcnnn1-7/+10
2016-07-24cvc4: 1.4 -> 1.5pre-smtcomp2016Gabriel Ebner1-9/+12
2016-03-31cvc4: fix the build by skipping line markers in cpp expansions during configu...Michael Raskin1-1/+6
2015-06-14cvc4: regenerate ./configure on rebuildAustin Seipp1-2/+2
2015-06-14nixpkgs/cvc4: touchups, add myself as maintainerAustin Seipp1-11/+11
2015-01-08Revert "Introduce patchShebangsPhase ran in preConfigurePhases"Domen Kožar1-0/+2
2015-01-02Introduce patchShebangsPhase ran in preConfigurePhasesDomen Kožar1-2/+0
2014-10-12cvc4: new derivationVincent Laporte1-0/+23
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-08-04 17:23:34 +0000