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

2018-07-24	bdemsky	edits	blob \| commitdiff \| raw
2018-07-24	bdemsky	more code	blob \| commitdiff \| raw \| diff to current
2018-07-23	bdemsky	remove redundant domains	blob \| commitdiff \| raw \| diff to current
2018-07-18	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2018-07-18	Hamed Gorjiara	Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2018-07-18	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2018-05-08	Hamed Gorjiara	Adding a new abstraction for elements: must have value	blob \| commitdiff \| raw \| diff to current
2018-02-01	Hamed Gorjiara	edit	blob \| commitdiff \| raw \| diff to current
2018-01-23	Hamed Gorjiara	Resolving conflicts after merging with altgen	blob \| commitdiff \| raw \| diff to current
2018-01-23	Hamed Gorjiara	Adding more checks ...	blob \| commitdiff \| raw \| diff to current
2018-01-09	Hamed Gorjiara	commit after merge	blob \| commitdiff \| raw \| diff to current
2017-12-31	Brian Demsky	bug fixes	blob \| commitdiff \| raw \| diff to current
2017-11-27	Hamed Gorjiara	Adding reset to the solver	blob \| commitdiff \| raw \| diff to current
2017-10-25	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-10-24	bdemsky	My changes	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Merge	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	After resolving conflicts ..	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	Adding a new testcase ... -Shows bugs that need to...	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	After resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Edits	blob \| commitdiff \| raw \| diff to current
2017-10-19	bdemsky	Bug fix for removing must edges...They also need to...	blob \| commitdiff \| raw \| diff to current
2017-10-18	bdemsky	Fix tabbing	blob \| commitdiff \| raw \| diff to current
2017-10-18	bdemsky	Edits to merge	blob \| commitdiff \| raw \| diff to current
2017-10-17	Hamed Gorjiara	Bug Fixes + add more tracing prints + turning off some...	blob \| commitdiff \| raw \| diff to current
2017-09-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-09-20	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-09-20	Hamed	Adding APIs needed	blob \| commitdiff \| raw \| diff to current
2017-09-18	bdemsky	Merge	blob \| commitdiff \| raw \| diff to current
2017-09-15	Hamed	Adding an API for finalizing MutableSet	blob \| commitdiff \| raw \| diff to current
2017-09-15	Hamed	retrieving back the addItem for mutableSet (needed...	blob \| commitdiff \| raw \| diff to current
2017-09-12	bdemsky	Keep sets sorted	blob \| commitdiff \| raw \| diff to current
2017-09-11	bdemsky	Merge	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	scratch of (de)serializing	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	Work on canonicalizing the AST so our analysis can...	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Interface should be bool, not happenedbefore	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Make integerencoding a completely separate pass......	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	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add IFF support	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Rename startEncoding function	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add convenience functions	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add convenience function	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	Hamed	Adding Transformer and adding integerencoding to it...	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Fix name collisions	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Renaming	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Change dependences	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	Deduplication Support	blob \| commitdiff \| raw \| diff to current
2017-08-29	bdemsky	Add AST Hashing and Equals Functions	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	Auto Tuner Initial Full Checkin	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	edits	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-27	bdemsky	Try to fix encapsulation	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-25	bdemsky	Switch hashtable/hashset	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Switch to vector class	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	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-21	bdemsky	edit	blob \| commitdiff \| raw \| diff to current
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-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-07-21	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-21	bdemsky	resolve conflict	blob \| commitdiff \| raw \| diff to current
2017-07-21	Hamed	Test case for table-based predicate + fixing bugs	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	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	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	Merge branch 'master' into brian	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-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
next

SATune Repository

RSS Atom