bug fix
[satune.git] / src / Backend / satelemencoder.cc
2018-10-23 bdemskybug fix
2018-10-23 Hamed Gorjiarafixing the heuristic for the BinaryIndex anyvalue const...
2018-10-23 bdemskymerge
2018-10-23 bdemskyClean up merge heuristic to do what we said it did
2018-10-23 Hamed GorjiaraBug fix
2018-10-22 Hamed GorjiaraBug fix: Droping the log from the anyvalue heuristic...
2018-10-21 Hamed GorjiaraFixing the anyvalue heuristic for binaryIndex
2018-10-12 bdemskytabbing
2018-10-04 Hamed GorjiaraAdding a directed search based config for the tuner
2018-10-02 Hamed GorjiaraMerge scratch with master branch
2018-09-29 Hamed Gorjiara1)Making naiveencoder and encoding graph use tuner...
2018-09-12 Hamed GorjiaraBug fix for the tuner: missing mustHaveValue constraints
2018-08-27 Hamed Gorjiaraafter merge (mostly tabbing issues)
2018-08-17 bdemskyFix tabbing
2018-07-24 bdemskyedits
2018-07-24 bdemskyremove redundant constraint
2018-07-23 bdemskyremove redundant domains
2018-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2018-07-18 Hamed GorjiaraMerge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
2018-05-09 Hamed GorjiaraRemoving extra constraints for the unary encoding
2018-05-08 Hamed GorjiaraAdding a new abstraction for elements: must have value
2018-01-23 Hamed GorjiaraResolving conflicts after merging with altgen
2018-01-14 bdemskyEdits
2017-09-20 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-09-19 Hamedmerge to branch master
2017-09-19 HamedFixing header bugs
2017-09-11 bdemskyMerge branch 'encoding'
2017-09-11 bdemskyMerge
2017-09-11 bdemskyRemove unimplemented enum
2017-08-29 HamedMerging with branch master and fixing bugs
2017-08-29 bdemskyGet rid of silly macros
2017-08-28 bdemskyMore OO conversion
2017-08-28 bdemskyedits
2017-08-25 bdemskyedits
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-24 bdemskyRename everything