about summary refs log tree commit diff
path: root/pkgs/applications/science/logic/cryptominisat
AgeCommit message (Expand)AuthorFilesLines
2024-06-09treewide: Remove indefinite article from meta.descriptionAlexis Hildebrandt1-1/+1
2024-04-03cryptominisat: fix static buildGuillaume Girol1-2/+8
2024-03-19treewide: add meta.mainProgram to packages with a single binarystuebinm1-0/+1
2024-02-09cryptominisat: 5.11.15 -> 5.11.21R. Ryantm1-2/+2
2023-10-25cryptominisat: 5.11.14 -> 5.11.15R. Ryantm1-2/+2
2023-10-04cryptominisat: 5.11.12 -> 5.11.14R. Ryantm1-2/+2
2023-08-24cryptominisat: 5.11.11 -> 5.11.12R. Ryantm1-2/+2
2023-06-28cryptominisat: 5.11.4 -> 5.11.11R. Ryantm1-2/+2
2023-02-24cryptominisat: 5.8.0 -> 5.11.4kilianar1-18/+16
2021-01-20treewide: editorconfig fixeszowoq1-1/+1
2021-01-11treewide: with stdenv.lib; in meta -> with lib;Profpatsch1-2/+2
2020-07-09cryptominisat: use fetchpatchJörg Thalheim2-31/+8
2020-07-09cryptominisat: fix build on darwinJörg Thalheim2-0/+31
2020-07-08cryptominisat: 5.7.1 -> 5.8.0R. RyanTM1-2/+2
2020-05-27cryptominisat: 5.7.0 -> 5.7.1R. RyanTM1-2/+2
2020-05-04cryptominisat: 5.6.8 -> 5.7.0R. RyanTM1-2/+2
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-1/+1
2019-08-15treewide: name -> pname (easy cases) (#66585)volth1-1/+1
2019-06-16treewide: remove unused variables (#63177)volth1-1/+1
2019-03-01cryptominisat: 5.6.6 -> 5.6.8R. RyanTM1-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
2017-07-24cryptominisat: use new xxd package instead of vimPeter Hoeg1-9/+8
2017-05-22cryptominisat: init at 5.0.1Jörg Thalheim1-0/+31
generated by cgit-pink 1.4.1 (git 2.36.1) at 2024-07-10 05:46:21 +0000