Bug fix: typos
[satune.git] / src / Tuner / basictuner.cc
2019-11-22 Hamed GorjiaraBug fix: typos master
2019-11-22 Hamed GorjiaraBug fix: consider the cases when the tuner gets timeout
2019-10-17 Hamed GorjiaraLimiting satune timeout
2019-09-05 Hamed GorjiaraMerging + fixing memory bugs
2019-08-26 bdemskyfix tabbing
2019-03-29 Hamed GorjiaraAdding settings to usedsettings when tuner hits timeout
2019-03-26 bdemskytabbing more tuners
2019-03-26 bdemskyMerge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci...
2019-03-24 Hamed GorjiaraAdding timeout for SATTune
2019-03-21 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2019-03-21 Hamed Gorjiaracommit after merge
2019-03-21 Hamed GorjiaraBug Fix: when a tuner cannot solve any problems ...
2019-03-19 bdemskyFix tabbing
2019-02-22 Hamed GorjiaraMerging with Tuner branch
2019-01-04 Hamed GorjiaraAdding Simulated Annealing Tuner ...
2018-12-19 Hamed GorjiaraChanging the design by adding basic tuner