aboutsummaryrefslogtreecommitdiffstats
path: root/test/monniaux/picosat-965/Makefile
Commit message (Collapse)AuthorAgeFilesLines
* store oDavid Monniaux2019-05-041-2/+2
|
* Changes to include a -O1 -fschedule-insns2 gcc run as wellCyril SIX2019-04-261-1/+4
|
* NDEBUGDavid Monniaux2019-03-281-0/+6
|
* picosat now uses the same Makefile system as the restDavid Monniaux2019-03-281-0/+28
we are 27% slower than gcc