Adding a directed search based config for the tuner
[satune.git] / src / Backend /
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://
2018-07-18 Hamed GorjiaraMerge branch 'hamed' of ssh://
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://
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://
2017-08-25 HamedMerge branch 'master' of ssh://
2017-08-24 bdemskyRename everything