Programming Languages Research Group: Git

2017-07-20	Hamed	adding different handlers for predicatetable	commit \| commitdiff \| tree
2017-07-20	Hamed	Fixing spell of entries	commit \| commitdiff \| tree
2017-07-20	Hamed	breaking functionencoding to different files	commit \| commitdiff \| tree
2017-07-20	Hamed	Using hashset for tableEntries + adding handlers for...	commit \| commitdiff \| tree
2017-07-19	Hamed	Fixing memory leaks ...	commit \| commitdiff \| tree
2017-07-19	Hamed	Adding a logicOp test case + fixing bugs	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding a boolean for undefinedStatus	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding UndefinedBehavior + TablePredicate to client...	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding a elemconst testcase + its bug fixe	commit \| commitdiff \| tree
2017-07-18	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-18	Hamed	bug fix for the order test case ...	commit \| commitdiff \| tree
2017-07-18	Hamed	Fixing memory leaks	commit \| commitdiff \| tree
2017-07-18	Hamed	Modify order test case ...	commit \| commitdiff \| tree
2017-07-18	Hamed	Modify API to work for partial order as well + adding...	commit \| commitdiff \| tree
2017-07-18	Hamed	test file name convention ...	commit \| commitdiff \| tree
2017-07-18	Hamed	Translating one-item sets by using number of vars	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding an API for translating the value of an BooleanOrder	commit \| commitdiff \| tree
2017-07-17	Hamed	Translating back the set with one item (iff and ite...	commit \| commitdiff \| tree
2017-07-17	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-17	Hamed	Add some printings for debugging ...	commit \| commitdiff \| tree
2017-07-14	Hamed	Getting some bugs fixed ...	commit \| commitdiff \| tree
2017-07-14	Hamed	Fixing the test case's bug	commit \| commitdiff \| tree
2017-07-14	Hamed	Adding a new test case	commit \| commitdiff \| tree
2017-07-14	Hamed	2 testcases are added + their bugs are fixed ...	commit \| commitdiff \| tree
2017-07-13	Hamed	resolving conflict ...	commit \| commitdiff \| tree
2017-07-13	Hamed	changing printfs to model_prints	commit \| commitdiff \| tree
2017-07-13	Hamed	Fixing the testcase bug	commit \| commitdiff \| tree
2017-07-12	Hamed	Adding sat solution translator for binary value encoding	commit \| commitdiff \| tree
2017-07-12	Hamed	Binary value encoding ...	commit \| commitdiff \| tree
2017-07-12	Hamed	Adding unary encoding in sat solution translator ...	commit \| commitdiff \| tree
2017-07-12	Hamed	One-hot encoding sat solution translator	commit \| commitdiff \| tree
2017-07-12	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-12	Hamed	Adding SAT translator	commit \| commitdiff \| tree
2017-07-11	Hamed	Fixing bugs + renaming ...	commit \| commitdiff \| tree
2017-07-11	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-11	Hamed	Adding a general function for encoding elements	commit \| commitdiff \| tree
2017-07-11	Hamed	Fixing bugs + resolving conflicts	commit \| commitdiff \| tree
2017-07-11	Hamed	Fixing more bugs in generating constraint and getting...	commit \| commitdiff \| tree
2017-07-10	Hamed	SAT solver is now connected to csolver	commit \| commitdiff \| tree
2017-07-10	Hamed	fixing more bugs ...	commit \| commitdiff \| tree
2017-07-10	Hamed	Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-10	Hamed	Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-10	Hamed	Integrating with sat_solver ...	commit \| commitdiff \| tree
2017-07-08	Hamed	Fixing more bugs	commit \| commitdiff \| tree
2017-07-07	Hamed	Fixing more bugs regarding generating constraint variables ...	commit \| commitdiff \| tree
2017-07-07	Hamed	Fixing assert_hook bug	commit \| commitdiff \| tree
2017-07-07	Hamed	Fixing ASSERT statement bugs	commit \| commitdiff \| tree
2017-07-07	Hamed	Fixing some bugs + improving the testcase ...	commit \| commitdiff \| tree
2017-07-06	Hamed	Adding function operator handler+ omitting some redundant...	commit \| commitdiff \| tree
2017-07-04	Hamed	Fixing some bugs	commit \| commitdiff \| tree
2017-07-03	Hamed	Adding predicateOperator (equality operation ...)	commit \| commitdiff \| tree
2017-07-03	Hamed	Adding table-based implementation of predicates and...	commit \| commitdiff \| tree
2017-07-02	Hamed	New approach for Total Order	commit \| commitdiff \| tree
2017-07-01	Hamed	After resolving conflicts ...	commit \| commitdiff \| tree
2017-06-30	Hamed	Starting predicates ...	commit \| commitdiff \| tree
2017-06-30	Hamed	fixing some bugs ...	commit \| commitdiff \| tree
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... ...home/git/constraint_compiler into hamed	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
2017-06-14	hamed	Adding set and other types	commit \| commitdiff \| tree
2017-05-29	Hamed Gorjiara	Adding .gitignore	commit \| commitdiff \| tree

SATune Repository

RSS Atom