about summary refs log tree commit diff
path: root/utils/optimin/src/CMakeLists.txt
AgeCommit message (Expand)Author
2022-05-31remove optiminvanhauser-thc
2021-10-27optimin: fix cmake flagsAdrian Herrera
2021-07-21utils: added optimin corpus minimizerAdrian Herrera