Programming Languages Research Group: Git

2017-06-30	Hamed	Fixing the constraint. Adding predicateTable	commit \| commitdiff \| tree
2017-06-29	Hamed	getting two of FIXMEs fixed	commit \| commitdiff \| tree
2017-06-29	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2017-06-29	Hamed	Pushing my own branch, do some cleanings ...	commit \| commitdiff \| tree
2017-06-29	Hamed	Fixing some bugs, using InUseArray, and completing...	commit \| commitdiff \| tree
2017-06-28	Hamed	Generating constraints for BooleanOrder	commit \| commitdiff \| tree
2017-06-28	Hamed	Fixing inline functions	commit \| commitdiff \| tree
2017-06-28	Hamed	Fix some bugs, Moving backend codes to SATEncoder	commit \| commitdiff \| tree
2017-06-27	Hamed	Using inline functions instead of macros for accessing...	commit \| commitdiff \| tree
2017-06-27	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2017-06-27	Hamed	Moving back getBinaryConstraint	commit \| commitdiff \| tree
2017-06-27	Hamed	Binary encoding for ElementSet and table-based ElementFunction	commit \| commitdiff \| tree
2017-06-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2017-06-24	Hamed	Fixing bug with running the test	commit \| commitdiff \| tree
2017-06-24	Hamed	DecideEncoding	commit \| commitdiff \| tree
2017-06-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2017-06-24	Hamed	Fixing compile bugs	commit \| commitdiff \| tree
2017-06-23	Hamed	Resolving Conflicts ... Still there're errors that...	commit \| commitdiff \| tree
2017-06-23	Hamed	Adding naive encoding pass. functionEncoding partially...	commit \| commitdiff \| tree
2017-06-21	Hamed	Keeping the type of Boolean/Element struct, as well...	commit \| commitdiff \| tree
2017-06-20	Hamed	fixing elementSet and TablePredicate	commit \| commitdiff \| tree
2017-06-20	Hamed	Adding TablePredicate	commit \| commitdiff \| tree
2017-06-20	Hamed	Commit after resolving conflicts	commit \| commitdiff \| tree
2017-06-20	Hamed	New type of Element and Boolean.	commit \| commitdiff \| tree
2017-06-20	Hamed	commit after resolving conflict	commit \| commitdiff \| tree
2017-06-20	Hamed	developing function struct	commit \| commitdiff \| tree
2017-06-16	Hamed	commit after resolving conflicts	commit \| commitdiff \| tree
2017-06-16	Hamed	adding TableEntries and ...	commit \| commitdiff \| tree
2017-06-16	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree
2017-06-16	Hamed	Commit after resolving conflicts	commit \| commitdiff \| tree
2017-06-16	Hamed	adding fucntion's fields	commit \| commitdiff \| tree
2017-06-16	Hamed	Partial commit for Boolean, Predicate, and Order	commit \| commitdiff \| tree
2017-06-15	Hamed	commit after resolving conflicts	commit \| commitdiff \| tree
2017-06-15	Hamed	Implementing client interfaces regarding Sets	commit \| commitdiff \| tree

SATune Repository

RSS Atom