Adding checks to avoid further processing on UNSAT Problems
[satune.git] / src / Backend / satencoder.cc
2019-03-19 Hamed GorjiaraAdding checks to avoid further processing on UNSAT...
2018-10-02 Hamed GorjiaraMerge scratch with master branch
2018-10-02 bdemskyTurn off print statements
2018-09-29 Hamed Gorjiara1)Making naiveencoder and encoding graph use tuner...
2018-09-24 Hamed GorjiaraMerging with branch scratch and cleaning the code
2018-09-21 bdemskyMerge branch 'scratch' of ssh://plrg.eecs.uci.edu/home...
2018-09-21 Hamed GorjiaraCommiting my local changes ...
2018-08-27 Hamed Gorjiaraafter merge (mostly tabbing issues)
2018-08-17 bdemskyFix tabbing
2018-08-02 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2018-08-02 bdemskyBug was introduced in proxy variable changes
2018-07-27 Hamed Gorjiarachecking the the variable isn't constant in generating...
2018-07-27 Hamed GorjiaraNow the Tuner decides about creating proxy variables
2018-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2018-07-18 bdemskyedit
2018-01-23 Hamed GorjiaraResolving conflicts after merging with altgen
2018-01-14 bdemskyEdits
2018-01-11 bdemskyBug fixes
2018-01-09 Hamed Gorjiaracommit after merge
2018-01-06 Brian DemskyReduce unnecessary vector alloc/free
2017-12-31 Brian Demskybug fixes
2017-11-27 Hamed GorjiaraAdding reset to the solver
2017-10-23 Hamed GorjiaraAfter resolving conflicts
2017-10-18 bdemskyFix tabbing
2017-10-18 bdemskyEdits to merge
2017-10-17 Hamed GorjiaraBug Fixes + add more tracing prints + turning off some...
2017-09-29 Hamed GorjiaraAdding pring option for AST
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
2017-09-09 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-09-09 bdemskyedits
2017-09-03 bdemskyCompiles
2017-09-02 bdemskyWork on canonicalizing the AST so our analysis can...
2017-09-02 bdemskyRestructure transforms a little and run make tabbing
2017-08-31 bdemskyMerge branch 'master' of ssh://plrg.eecs.uci.edu/home...
2017-08-31 bdemskyAdd IFF support
2017-08-31 HamedMerging with branch Master
2017-08-30 bdemskyRenaming
2017-08-30 Brian Demskyrenaming
2017-08-29 HamedMerging with branch master and fixing bugs
2017-08-29 bdemskyTranslate expressions only once
2017-08-29 bdemskyGet rid of silly macros
2017-08-28 Brian DemskyBug fixes
2017-08-28 bdemskyMore OO conversion
2017-08-28 bdemskyedits
2017-08-27 bdemskyConvert structs to classes...
2017-08-27 bdemskyRun tabbing pass
2017-08-27 bdemskyTry to fix encapsulation
2017-08-26 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 HamedMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2017-08-25 bdemskyBig Bug Fix
2017-08-25 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
2017-08-25 bdemskySwitch hashtable/hashset
2017-08-25 bdemskySwitch array struct to class
2017-08-25 HamedAdding ASTTransform ...
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