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

2017-09-29	Hamed Gorjiara	Fixing missing changes	blob \| commitdiff \| raw
2017-09-11	bdemsky	Merge branch 'encoding'	blob \| commitdiff \| raw \| diff to current
2017-09-11	bdemsky	Merge	blob \| commitdiff \| raw \| diff to current
2017-09-10	bdemsky	More graph building	blob \| commitdiff \| raw \| diff to current
2017-09-10	Hamed	completed serializer/deserializer	blob \| commitdiff \| raw \| diff to current
2017-09-09	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-09-08	Hamed	Merging with branch master	blob \| commitdiff \| raw \| diff to current
2017-09-08	Hamed	(de)serializer: BooleanOrder + BooleanVar	blob \| commitdiff \| raw \| diff to current
2017-09-06	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-09-05	bdemsky	Found bug... Don't update parent's list until we know...	blob \| commitdiff \| raw \| diff to current
2017-09-04	bdemsky	Bug Fix	blob \| commitdiff \| raw \| diff to current
2017-09-04	bdemsky	Bug fix	blob \| commitdiff \| raw \| diff to current
2017-09-03	bdemsky	Handle optimizations for mustbetrue/mustbefalse automat...	blob \| commitdiff \| raw \| diff to current
2017-09-03	bdemsky	Compiles	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Restructure transforms a little and run make tabbing	blob \| commitdiff \| raw \| diff to current
2017-08-31	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-31	Hamed	Merging with branch Master	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add useful functions	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Change dependences	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	More name changes	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Add support for true and false and normalizing them...	blob \| commitdiff \| raw \| diff to current
2017-08-29	Hamed	Merging with branch master and fixing bugs	blob \| commitdiff \| raw \| diff to current
2017-08-29	bdemsky	Add AST Hashing and Equals Functions	blob \| commitdiff \| raw \| diff to current
2017-08-29	bdemsky	Get rid of silly macros	blob \| commitdiff \| raw \| diff to current
2017-08-28	Brian Demsky	Bug fixes	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Finish clone	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	towards cloning	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Run tabbing pass	blob \| commitdiff \| raw \| diff to current
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-26	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-26	bdemsky	Fix memory leaks	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Switch to vector class	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Switch array struct to class	blob \| commitdiff \| raw \| diff to current
2017-08-25	Brian Demsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-25	Brian Demsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	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	Clean up polarity pass	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-08-07	Hamed	Assigning Polarity and BooleanValue to All the Boolean...	blob \| commitdiff \| raw \| diff to current
2017-07-18	Hamed	Adding a boolean for undefinedStatus	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	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	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-06-30	Hamed	Fixing the constraint. Adding predicateTable	blob \| commitdiff \| raw \| diff to current
2017-06-28	Hamed	Generating constraints for BooleanOrder	blob \| commitdiff \| raw \| diff to current
2017-06-28	Hamed	Fixing inline functions	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-23	Hamed	Resolving Conflicts ... Still there're errors that...	blob \| commitdiff \| raw \| diff to current
2017-06-22	bdemsky	Inline Encoding Structs into appropriate AST Nodes	blob \| commitdiff \| raw \| diff to current
2017-06-22	bdemsky	Add array object to standardize arrays	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	Be consistent	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	edits	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	bdemsky	Clean up Predicates	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	More SAT Encoder	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	Implement CPython strategy	blob \| commitdiff \| raw \| diff to current
2017-06-17	bdemsky	Use union in Boolean to save space	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	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Reorg code	blob \| commitdiff \| raw \| diff to current

SATune Repository

RSS Atom