Programming Languages Research Group: Git

2017-08-25	Hamed	replacing booleanOrder with booleanPredicate in Integer...	commit \| commitdiff \| tree \| snapshot
2017-08-25	Hamed	Adding ASTTransform ...	commit \| commitdiff \| tree \| snapshot
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Get rid of OrderPair warning	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Switch hashtable/hashset	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Switch to vector class	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Switch array struct to class	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	edit	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Move	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Move Files	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	fix bug	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-25	Brian Demsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-08-25	Brian Demsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	more	commit \| commitdiff \| tree \| snapshot
2017-08-25	bdemsky	More fixes	commit \| commitdiff \| tree \| snapshot
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2017-08-24	bdemsky	Rename everything	commit \| commitdiff \| tree \| snapshot
2017-08-24	bdemsky	Add LTE function for completeness and fix bug in LT	commit \| commitdiff \| tree \| snapshot
2017-08-24	Hamed	removing true nodes from the OrderGraph	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	Fixin memory bug	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	Adding support for Integer Encoding ...	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	Adding circuit-based encoding for LT and GT	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	After merging with master branch ...	commit \| commitdiff \| tree \| snapshot
2017-08-23	bdemsky	Fix memory bugs	commit \| commitdiff \| tree \| snapshot
2017-08-23	bdemsky	Implement Partial->Total Conversion	commit \| commitdiff \| tree \| snapshot
2017-08-23	bdemsky	Get rid of redundant code	commit \| commitdiff \| tree \| snapshot
2017-08-22	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-22	bdemsky	Add option to optimize edges in final encoding	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	Add printings ...	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	Testcase for ordergraph	commit \| commitdiff \| tree \| snapshot
2017-08-22	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-08-22	bdemsky	Add calls into tuner framework	commit \| commitdiff \| tree \| snapshot
2017-08-22	Hamed	Fixin some bugs ..	commit \| commitdiff \| tree \| snapshot
2017-08-21	bdemsky	edit	commit \| commitdiff \| tree \| snapshot
2017-08-21	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-21	bdemsky	Bug fix for pseudoPos edges	commit \| commitdiff \| tree \| snapshot
2017-08-21	bdemsky	edit	commit \| commitdiff \| tree \| snapshot
2017-08-21	bdemsky	Starting tuner framework	commit \| commitdiff \| tree \| snapshot
2017-08-18	bdemsky	Fix bug where we assumed sccNum could be used even...	commit \| commitdiff \| tree \| snapshot
2017-08-18	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-18	bdemsky	fix logic	commit \| commitdiff \| tree \| snapshot
2017-08-18	bdemsky	edits	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Towards a bug fix	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Move constraints to set	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Fix bug and add support for computing transitive closur...	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Merge branch 'hamed'	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Finish order decompose function	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Big Tabbing Change	commit \| commitdiff \| tree \| snapshot
2017-08-17	bdemsky	Add rewriting support	commit \| commitdiff \| tree \| snapshot
2017-08-16	bdemsky	Extend Must Analysis	commit \| commitdiff \| tree \| snapshot
2017-08-16	bdemsky	Give vector more specific type	commit \| commitdiff \| tree \| snapshot
2017-08-16	bdemsky	Get rid of last bits of nodeinfo	commit \| commitdiff \| tree \| snapshot
2017-08-16	bdemsky	Just push status enum into the node...	commit \| commitdiff \| tree \| snapshot
2017-08-16	bdemsky	More graph analysis	commit \| commitdiff \| tree \| snapshot
2017-08-15	bdemsky	base version	commit \| commitdiff \| tree \| snapshot
2017-08-15	bdemsky	Get rid of OrderEncoder Structure	commit \| commitdiff \| tree \| snapshot
2017-08-15	bdemsky	Build graph	commit \| commitdiff \| tree \| snapshot
2017-08-14	bdemsky	more edits	commit \| commitdiff \| tree \| snapshot
2017-08-12	bdemsky	Get rid of refs to order in graph	commit \| commitdiff \| tree \| snapshot
2017-08-12	bdemsky	Just use standard values for hash function	commit \| commitdiff \| tree \| snapshot
2017-08-09	Hamed	Computing SCC ...	commit \| commitdiff \| tree \| snapshot
2017-08-09	Hamed	Building a graph for each order	commit \| commitdiff \| tree \| snapshot
2017-08-09	Hamed	Building the OrderGraph ...	commit \| commitdiff \| tree \| snapshot
2017-08-09	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-08-09	Hamed	adding new hash functions ...	commit \| commitdiff \| tree \| snapshot
2017-08-09	bdemsky	Clean up polarity pass	commit \| commitdiff \| tree \| snapshot
2017-08-09	bdemsky	Inter Order is gone...	commit \| commitdiff \| tree \| snapshot
2017-08-09	Hamed	Adding new API for defining an order constraint on...	commit \| commitdiff \| tree \| snapshot
2017-08-08	Hamed	Just start working on OrderGraph + memory bug fix for...	commit \| commitdiff \| tree \| snapshot
2017-08-07	Hamed	Assigning Polarity and BooleanValue to All the Boolean...	commit \| commitdiff \| tree \| snapshot
2017-08-05	Hamed	Fixing some bugs ...	commit \| commitdiff \| tree \| snapshot
2017-07-31	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-07-25	Hamed	Adding a new testcase for circuit-based equals + bug...	commit \| commitdiff \| tree \| snapshot
2017-07-25	Hamed	Fixing bugs for Unary encoding ...	commit \| commitdiff \| tree \| snapshot
2017-07-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2017-07-24	Hamed	Fixing bugs with the table-based predicates	commit \| commitdiff \| tree \| snapshot
2017-07-24	Hamed	Testing one-hot encoding + fixing bugs ...	commit \| commitdiff \| tree \| snapshot
2017-07-21	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree \| snapshot
2017-07-21	bdemsky	resolve conflict	commit \| commitdiff \| tree \| snapshot
2017-07-21	Hamed	A bug fix for the case IGNOREBEHAVIOR in table-base...	commit \| commitdiff \| tree \| snapshot
2017-07-21	Hamed	Test case for table-based predicate + fixing bugs	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	Adding edge cases for table-based predicate/function	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	Adding edge cases and fixing leaks	commit \| commitdiff \| tree \| snapshot
2017-07-20	bdemsky	Fix Leak	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	Adding a new test case for testing FLAGIFFUNDEFINED...	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	Fixing bugs + adding descriptions to test cases	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	adding different handlers for predicatetable	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	Fixing spell of entries	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	breaking functionencoding to different files	commit \| commitdiff \| tree \| snapshot
2017-07-20	Hamed	Using hashset for tableEntries + adding handlers for...	commit \| commitdiff \| tree \| snapshot
2017-07-19	Hamed	Fixing memory leaks ...	commit \| commitdiff \| tree \| snapshot
2017-07-19	Hamed	Adding a logicOp test case + fixing bugs	commit \| commitdiff \| tree \| snapshot
2017-07-18	Hamed	Adding a boolean for undefinedStatus	commit \| commitdiff \| tree \| snapshot
2017-07-18	Hamed	Adding UndefinedBehavior + TablePredicate to client...	commit \| commitdiff \| tree \| snapshot
2017-07-18	Hamed	Adding a elemconst testcase + its bug fixe	commit \| commitdiff \| tree \| snapshot
2017-07-18	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	commit \| commitdiff \| tree \| snapshot
2017-07-18	Hamed	bug fix for the order test case ...	commit \| commitdiff \| tree \| snapshot
next

SATune Repository

RSS Atom