Programming Languages Research Group: Git - satune.git/history

2017-08-21	bdemsky	edit	blob \| commitdiff \| raw
2017-08-18	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-17	bdemsky	Move constraints to set	blob \| commitdiff \| raw \| diff to current
2017-08-17	bdemsky	Merge branch 'hamed'	blob \| commitdiff \| raw \| diff to current
2017-08-17	bdemsky	Big Tabbing Change	blob \| commitdiff \| raw \| diff to current
2017-08-09	bdemsky	Inter Order is gone...	blob \| commitdiff \| raw \| diff to current
2017-08-09	Hamed	Adding new API for defining an order constraint on...	blob \| commitdiff \| raw \| diff to current
2017-07-31	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-24	Hamed	Testing one-hot encoding + fixing bugs ...	blob \| commitdiff \| raw \| diff to current
2017-07-21	bdemsky	resolve conflict	blob \| commitdiff \| raw \| diff to current
2017-07-20	Hamed	Adding a new test case for testing FLAGIFFUNDEFINED...	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Adding a boolean for undefinedStatus	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Adding UndefinedBehavior + TablePredicate to client...	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Adding a elemconst testcase + its bug fixe	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Modify API to work for partial order as well + adding...	blob \| commitdiff \| raw \| diff to current
2017-07-18	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Adding an API for translating the value of an BooleanOrder	blob \| commitdiff \| raw \| diff to current
2017-07-14	bdemsky	Add Const API to frontend	blob \| commitdiff \| raw \| diff to current
2017-07-13	bdemsky	Check in bug fix	blob \| commitdiff \| raw \| diff to current
2017-07-12	bdemsky	Small edits	blob \| commitdiff \| raw \| diff to current
2017-07-12	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-12	Hamed	Adding SAT translator	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Rename some functions and cleanup	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Minor formatting issues	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Fixing bugs + resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Fixing more bugs in generating constraint and getting...	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	It compiles	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Merge branch 'hamed' into brian	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Fix some of the memory leaks	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	SAT solver is now connected to csolver	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-10	Hamed	Integrating with sat_solver ...	blob \| commitdiff \| raw \| diff to current
2017-07-09	bdemsky	merge	blob \| commitdiff \| raw \| diff to current
2017-07-07	Hamed	Fixing some bugs + improving the testcase ...	blob \| commitdiff \| raw \| diff to current
2017-07-04	Hamed	Fixing some bugs	blob \| commitdiff \| raw \| diff to current
2017-06-30	Hamed	Fixing the constraint. Adding predicateTable	blob \| commitdiff \| raw \| diff to current
2017-06-29	Hamed	Fixing some bugs, using InUseArray, and completing...	blob \| commitdiff \| raw \| diff to current
2017-06-28	Hamed	Fix some bugs, Moving backend codes to SATEncoder	blob \| commitdiff \| raw \| diff to current
2017-06-27	Hamed	Binary encoding for ElementSet and table-based ElementF...	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-21	Hamed	Keeping the type of Boolean/Element struct, as well...	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Fix tabbing	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	fixing elementSet and TablePredicate	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	Commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	New type of Element and Boolean.	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Fix delete function	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Fix warnings, merge, and check my code in	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	commit after resolving conflict	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	developing function struct	blob \| commitdiff \| raw \| diff to current
2017-06-17	bdemsky	Fix some things that C++ doesn't like so we don't lose...	blob \| commitdiff \| raw \| diff to current
2017-06-17	bdemsky	Fix Warnings	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	adding TableEntries and ...	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	Commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Fix tabbing on everything	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Fix freelist management	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Fix warnings	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	Partial commit for Boolean, Predicate, and Order	blob \| commitdiff \| raw \| diff to current
2017-06-15	Hamed	commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-15	Hamed	Implementing client interfaces regarding Sets	blob \| commitdiff \| raw \| diff to current
2017-06-15	bdemsky	Add Set AST Constructor	blob \| commitdiff \| raw \| diff to current
2017-06-14	bdemsky	switch to C	blob \| commitdiff \| raw \| diff to current
2017-06-14	bdemsky	Switch to C for Zach	blob \| commitdiff \| raw \| diff to current

SATune Repository

RSS Atom