projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Bug fix: typos
[satune.git]
/
src
/
Tuner
/ basictuner.cc
2019-11-22
Hamed Gorjiara
Bug fix: typos
master
commit
|
commitdiff
2019-11-22
Hamed Gorjiara
Bug fix: consider the cases when the tuner gets timeout
commit
|
commitdiff
2019-10-17
Hamed Gorjiara
Limiting satune timeout
commit
|
commitdiff
2019-09-05
Hamed Gorjiara
Merging + fixing memory bugs
commit
|
commitdiff
2019-08-26
bdemsky
fix tabbing
commit
|
commitdiff
2019-03-29
Hamed Gorjiara
Adding settings to usedsettings when tuner hits timeout
commit
|
commitdiff
2019-03-26
bdemsky
tabbing more tuners
commit
|
commitdiff
2019-03-26
bdemsky
Merge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci...
commit
|
commitdiff
2019-03-24
Hamed Gorjiara
Adding timeout for SATTune
commit
|
commitdiff
2019-03-21
Hamed Gorjiara
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
2019-03-21
Hamed Gorjiara
commit after merge
commit
|
commitdiff
2019-03-21
Hamed Gorjiara
Bug Fix: when a tuner cannot solve any problems ...
commit
|
commitdiff
2019-03-19
bdemsky
Fix tabbing
commit
|
commitdiff
2019-02-22
Hamed Gorjiara
Merging with Tuner branch
commit
|
commitdiff
2019-01-04
Hamed Gorjiara
Adding Simulated Annealing Tuner ...
commit
|
commitdiff
2018-12-19
Hamed Gorjiara
Changing the design by adding basic tuner
commit
|
commitdiff