Boolean Variable Ordering optimizations
[satune.git] / src / Tuner / tunable.h
2018-10-13 Hamed GorjiaraBoolean Variable Ordering optimizations
2018-10-12 bdemskyAdd tuner components
2018-10-03 Hamed GorjiaraBug fix for mustHaveValue tuning parameter
2018-10-02 Hamed GorjiaraMerge scratch with master branch
2018-09-29 Hamed Gorjiara1)Making naiveencoder and encoding graph use tuner...
2018-08-27 Hamed Gorjiaraafter merge (mostly tabbing issues)
2018-08-17 bdemskyFix tabbing
2018-08-01 Hamed GorjiaraMerge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
2018-07-27 bdemskymake range closer to what we'd expect
2018-07-27 Hamed Gorjiarachecking the the variable isn't constant in generating...
2018-07-27 Hamed GorjiaraNow the Tuner decides about creating proxy variables
2018-07-24 bdemskyedits
2018-07-23 bdemskyadd new class
2018-04-28 Hamed GorjiaraFixing autoTuner's bug + making logs more legible
2017-10-23 Hamed GorjiaraAfter resolving conflicts ..
2017-10-22 bdemskyMore edits
2017-09-11 bdemskyMerge branch 'encoding'
2017-09-11 bdemskyMerge
2017-09-11 bdemskyMore EncodingGraph work
2017-09-11 bdemskyExtend tuning framework
2017-09-06 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-09-06 bdemskyImprove propagation and add preprocessor pass
2017-08-31 HamedMerging with branch Master
2017-08-30 bdemskyChange dependences
2017-08-29 HamedMerging with branch master and fixing bugs
2017-08-28 Brian DemskyBug fixes
2017-08-28 bdemskyedits
2017-08-27 bdemskyRun tabbing pass
2017-08-26 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-26 bdemskyFix Tuner framework to be OO
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 HamedAdding ASTTransform ...
2017-08-22 HamedAfter merging with master branch ...
2017-08-22 bdemskyAdd option to optimize edges in final encoding
2017-08-22 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-22 bdemskyAdd calls into tuner framework
2017-08-21 bdemskyedit
2017-08-21 bdemskyedit
2017-08-21 bdemskyStarting tuner framework