summaryrefslogtreecommitdiffstats
path: root/src/base/cmd/cmdAuto.c
Commit message (Expand)AuthorAgeFilesLines
* Adding APIs to mark cones. Creating test-bench for incremental solving &satok...Alan Mishchenko2017-02-111-3/+3
* Updates to the autotuner.Alan Mishchenko2017-02-101-23/+186
* Word-level abstraction.Alan Mishchenko2017-02-091-2/+2
* Editing output messages.Alan Mishchenko2017-02-081-3/+3
* Compiler warning.Alan Mishchenko2017-02-081-7/+6
* Autotuner for 'satoko'.Alan Mishchenko2017-02-081-0/+522