Small edit
[satune.git] / src / Encoders / naiveencoder.h
2017-08-25 bdemskyedits
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-17 bdemskyMerge branch 'hamed'
2017-08-17 bdemskyBig Tabbing Change
2017-07-31 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-07-25 HamedFixing bugs for Unary encoding ...
2017-07-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-24 HamedTesting one-hot encoding + fixing bugs ...
2017-07-12 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-12 Brian DemskyMake naive encoding follow AST Tree
2017-07-11 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-07-11 bdemskyRename some functions and cleanup
2017-06-29 HamedFixing some bugs, using InUseArray, and completing...
2017-06-28 HamedFix some bugs, Moving backend codes to SATEncoder
2017-06-27 HamedBinary encoding for ElementSet and table-based ElementF...
2017-06-24 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-06-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-06-24 HamedFixing bug with running the test
2017-06-24 HamedDecideEncoding
2017-06-24 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-06-24 HamedFixing compile bugs
2017-06-23 HamedResolving Conflicts ... Still there're errors that...
2017-06-22 bdemskyInline Encoding Structs into appropriate AST Nodes