satune.git
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
2017-08-15 bdemskyGet rid of OrderEncoder Structure
2017-08-15 bdemskyBuild graph
2017-08-14 bdemskymore edits
2017-08-12 bdemskyGet rid of refs to order in graph
2017-08-12 bdemskyJust use standard values for hash function
2017-08-09 HamedComputing SCC ...
2017-08-09 HamedBuilding a graph for each order
2017-08-09 HamedBuilding the OrderGraph ...
2017-08-09 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-08-09 Hamedadding new hash functions ...
2017-08-09 bdemskyClean up polarity pass
2017-08-09 bdemskyInter Order is gone...
2017-08-09 HamedAdding new API for defining an order constraint on...
2017-08-08 HamedJust start working on OrderGraph + memory bug fix for...
2017-08-07 HamedAssigning Polarity and BooleanValue to All the Boolean...
2017-08-05 HamedFixing some bugs ...
2017-07-31 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-07-25 HamedAdding a new testcase for circuit-based equals + bug...
2017-07-25 HamedFixing bugs for Unary encoding ...
2017-07-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
next