projects / satune.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Run tabbing pass
[satune.git] / src / Encoders /
2017-08-27 bdemskyRun tabbing pass tree | commitdiff
2017-08-27 bdemskyTry to fix encapsulation tree | commitdiff
2017-08-26 bdemskyBug fixes tree | commitdiff
2017-08-25 bdemskyedits tree | commitdiff
2017-08-25 bdemskySwitch hashtable/hashset tree | commitdiff
2017-08-25 bdemskySwitch to vector class tree | commitdiff
2017-08-25 bdemskySwitch array struct to class tree | commitdiff
2017-08-25 bdemskyMove tree | commitdiff
2017-08-25 bdemskyMove Files tree | commitdiff
2017-08-25 bdemskyfix bug tree | commitdiff
2017-08-25 Brian Demskyedits tree | commitdiff
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-08-25 bdemskyMore fixes tree | commitdiff
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-08-24 bdemskyRename everything tree | commitdiff
2017-08-24 Hamedremoving true nodes from the OrderGraph tree | commitdiff
2017-08-22 HamedAdding support for Integer Encoding ... tree | commitdiff
2017-08-22 HamedAfter merging with master branch ... tree | commitdiff
2017-08-23 bdemskyFix memory bugs tree | commitdiff
2017-08-23 bdemskyImplement Partial->Total Conversion tree | commitdiff
2017-08-23 bdemskyGet rid of redundant code tree | commitdiff
2017-08-22 bdemskyAdd option to optimize edges in final encoding tree | commitdiff
2017-08-22 HamedAdd printings ... tree | commitdiff
2017-08-22 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-08-22 bdemskyAdd calls into tuner framework tree | commitdiff
2017-08-22 HamedFixin some bugs .. tree | commitdiff
2017-08-21 bdemskyedits tree | commitdiff
2017-08-21 bdemskyBug fix for pseudoPos edges tree | commitdiff
2017-08-18 bdemskyFix bug where we assumed sccNum could be used even... tree | commitdiff
2017-08-18 bdemskyedits tree | commitdiff
2017-08-18 bdemskyfix logic tree | commitdiff
2017-08-17 bdemskyTowards a bug fix tree | commitdiff
2017-08-17 bdemskyMove constraints to set tree | commitdiff
2017-08-17 bdemskyFix bug and add support for computing transitive closur... tree | commitdiff
2017-08-17 bdemskyMerge branch 'hamed' tree | commitdiff
2017-08-17 bdemskyFinish order decompose function tree | commitdiff
2017-08-17 bdemskyBig Tabbing Change tree | commitdiff
2017-08-17 bdemskyAdd rewriting support tree | commitdiff
2017-08-16 bdemskyExtend Must Analysis tree | commitdiff
2017-08-16 bdemskyGive vector more specific type tree | commitdiff
2017-08-16 bdemskyJust push status enum into the node... tree | commitdiff
2017-08-16 bdemskyMore graph analysis tree | commitdiff
2017-08-15 bdemskybase version tree | commitdiff
2017-08-15 bdemskyGet rid of OrderEncoder Structure tree | commitdiff
2017-08-15 bdemskyBuild graph tree | commitdiff
2017-08-14 bdemskymore edits tree | commitdiff
2017-08-12 bdemskyGet rid of refs to order in graph tree | commitdiff
2017-08-09 HamedComputing SCC ... tree | commitdiff
2017-08-09 HamedBuilding a graph for each order tree | commitdiff
2017-08-09 HamedBuilding the OrderGraph ... tree | commitdiff
2017-08-09 bdemskyClean up polarity pass tree | commitdiff
2017-08-08 HamedJust start working on OrderGraph + memory bug fix for... tree | commitdiff
2017-08-07 HamedAssigning Polarity and BooleanValue to All the Boolean... tree | commitdiff
2017-07-31 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-07-25 HamedAdding a new testcase for circuit-based equals + bug... tree | commitdiff
2017-07-25 HamedFixing bugs for Unary encoding ... tree | commitdiff
2017-07-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-07-24 HamedTesting one-hot encoding + fixing bugs ... tree | commitdiff
2017-07-19 HamedAdding a logicOp test case + fixing bugs tree | commitdiff
2017-07-18 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-07-18 bdemskyInclude encoding for values tree | commitdiff
2017-07-12 HamedBinary value encoding ... tree | commitdiff
2017-07-12 bdemskyAdd OneHot Encoding tree | commitdiff
2017-07-12 bdemskyAdd CIRCUIT Encoding for Equals tree | commitdiff
2017-07-12 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-07-12 bdemskyTraverse entire AST, but only assign encodings once... tree | commitdiff
2017-07-12 Brian DemskyMake naive encoding follow AST Tree tree | commitdiff
2017-07-11 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-07-11 bdemskyRename some functions and cleanup tree | commitdiff
2017-07-11 HamedFixing bugs + resolving conflicts tree | commitdiff
2017-07-11 bdemskyMerge branch 'master' into brian tree | commitdiff
2017-07-11 bdemskyIt compiles tree | commitdiff
2017-07-11 bdemskyMerge branch 'hamed' into brian tree | commitdiff
2017-07-11 bdemskyFix memory allocation error tree | commitdiff
2017-07-09 bdemskymerge tree | commitdiff
2017-07-08 HamedFixing more bugs tree | commitdiff
2017-07-07 HamedFixing more bugs regarding generating constraint variab... tree | commitdiff
2017-07-05 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-07-05 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-07-03 HamedAdding table-based implementation of predicates and... tree | commitdiff
2017-06-29 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-06-29 bdemskyFix encoding bug and fix misconception of how memory... tree | commitdiff
2017-06-29 HamedPushing my own branch, do some cleanings ... tree | commitdiff
2017-06-29 HamedFixing some bugs, using InUseArray, and completing... tree | commitdiff
2017-06-28 HamedGenerating constraints for BooleanOrder tree | commitdiff
2017-06-28 HamedFix some bugs, Moving backend codes to SATEncoder tree | commitdiff
2017-06-27 HamedUsing inline functions instead of macros for accessing... tree | commitdiff
2017-06-27 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-06-27 bdemskyAdd comments to code of things Hamed should fix (in... tree | commitdiff
2017-06-27 HamedBinary encoding for ElementSet and table-based ElementF... tree | commitdiff
2017-06-24 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home... tree | commitdiff
2017-06-24 Brian DemskyAdd Order Encoding tree | commitdiff
2017-06-24 bdemskyFix double free bug in function encoding tree | commitdiff
2017-06-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-06-24 HamedFixing bug with running the test tree | commitdiff
2017-06-24 HamedDecideEncoding tree | commitdiff
2017-06-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu... tree | commitdiff
2017-06-24 HamedFixing compile bugs tree | commitdiff
next
SATune Repository