satune.git
2017-08-30 bdemskyAdd support for true and false and normalizing them...
2017-08-29 bdemskyTranslate expressions only once
2017-08-29 bdemskyDeduplication Support
2017-08-29 bdemskyFinish hash/comparison functions
2017-08-29 bdemskyAdd AST Hashing and Equals Functions
2017-08-29 bdemskyGet rid of silly macros
2017-08-28 bdemskySmall edit
2017-08-28 Brian DemskyBug fixes
2017-08-28 bdemskyAuto Tuner Initial Full Checkin
2017-08-28 bdemskyAutotune Framework
2017-08-28 bdemskyMore of Tuning Framework
2017-08-28 bdemskyMore tuner framework code
2017-08-28 bdemskyClass renaming
2017-08-28 bdemskyedit
2017-08-28 bdemskyMore OO conversion
2017-08-28 bdemskyedits
2017-08-27 bdemskyConvert structs to classes...
2017-08-27 bdemskyFinish clone
2017-08-27 bdemskytowards cloning
2017-08-27 bdemskyRun tabbing pass
2017-08-27 bdemskyTry to fix encapsulation
2017-08-26 bdemskyFix Tuner framework to be OO
2017-08-26 bdemskyFully convert ordergraph to objects
2017-08-26 bdemskyMore conversion to classes
2017-08-26 bdemskyStyle change...
2017-08-26 bdemskyFix bogus test case
2017-08-26 bdemskyBug fixes
2017-08-26 bdemskyUpdate test files
2017-08-26 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-26 HamedFixing the Integer encoding ...
2017-08-26 bdemskyFix memory leaks
2017-08-26 HamedAdding back the IntegerEncoding ...
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 Hamededit
2017-08-25 bdemskyBig Bug Fix
2017-08-25 HamedMerge with branch master ...
2017-08-25 bdemskyFix bug
2017-08-25 bdemskyReorg code
2017-08-25 bdemskyReorg code
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 bdemskyedits
2017-08-25 bdemskyedits
2017-08-25 bdemskyGet rid of OrderPair warning
2017-08-25 bdemskySwitch hashtable/hashset
2017-08-25 bdemskySwitch to vector class
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 Hamedreplacing booleanOrder with booleanPredicate in Integer...
2017-08-25 bdemskySwitch array struct to class
2017-08-25 HamedAdding ASTTransform ...
2017-08-25 bdemskyedit
2017-08-25 bdemskyMove
2017-08-25 bdemskyMove Files
2017-08-25 bdemskyfix bug
2017-08-25 bdemskyedits
2017-08-25 Brian Demskyedits
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 Brian Demskyedits
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 bdemskymore
2017-08-25 bdemskyMore fixes
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-24 bdemskyRename everything
2017-08-24 bdemskyAdd LTE function for completeness and fix bug in LT
2017-08-24 Hamedremoving true nodes from the OrderGraph
2017-08-22 HamedFixin memory bug
2017-08-22 HamedAdding support for Integer Encoding ...
2017-08-22 HamedAdding circuit-based encoding for LT and GT
2017-08-22 HamedAfter merging with master branch ...
2017-08-23 bdemskyFix memory bugs
2017-08-23 bdemskyImplement Partial->Total Conversion
2017-08-23 bdemskyGet rid of redundant code
2017-08-22 bdemskyedits
2017-08-22 bdemskyAdd option to optimize edges in final encoding
2017-08-22 HamedAdd printings ...
2017-08-22 HamedTestcase for ordergraph
2017-08-22 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-22 bdemskyAdd calls into tuner framework
2017-08-22 HamedFixin some bugs ..
2017-08-21 bdemskyedit
2017-08-21 bdemskyedits
2017-08-21 bdemskyBug fix for pseudoPos edges
2017-08-21 bdemskyedit
2017-08-21 bdemskyStarting tuner framework
2017-08-18 bdemskyFix bug where we assumed sccNum could be used even...
2017-08-18 bdemskyedits
2017-08-18 bdemskyfix logic
2017-08-18 bdemskyedits
2017-08-17 bdemskyTowards a bug fix
2017-08-17 bdemskyMove constraints to set
2017-08-17 bdemskyFix bug and add support for computing transitive closur...
2017-08-17 bdemskyMerge branch 'hamed'
2017-08-17 bdemskyFinish order decompose function
2017-08-17 bdemskyBig Tabbing Change
2017-08-17 bdemskyAdd rewriting support
2017-08-16 bdemskyExtend Must Analysis
2017-08-16 bdemskyGive vector more specific type
2017-08-16 bdemskyGet rid of last bits of nodeinfo
2017-08-16 bdemskyJust push status enum into the node...
2017-08-16 bdemskyMore graph analysis
2017-08-15 bdemskybase version
next