Programming Languages Research Group: Git

2017-08-23	bdemsky	Implement Partial->Total Conversion	commit \| commitdiff \| tree
2017-08-23	bdemsky	Get rid of redundant code	commit \| commitdiff \| tree
2017-08-22	bdemsky	edits	commit \| commitdiff \| tree
2017-08-22	bdemsky	Add option to optimize edges in final encoding	commit \| commitdiff \| tree
2017-08-22	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-22	bdemsky	Add calls into tuner framework	commit \| commitdiff \| tree
2017-08-21	bdemsky	edit	commit \| commitdiff \| tree
2017-08-21	bdemsky	edits	commit \| commitdiff \| tree
2017-08-21	bdemsky	Bug fix for pseudoPos edges	commit \| commitdiff \| tree
2017-08-21	bdemsky	edit	commit \| commitdiff \| tree
2017-08-21	bdemsky	Starting tuner framework	commit \| commitdiff \| tree
2017-08-18	bdemsky	Fix bug where we assumed sccNum could be used even...	commit \| commitdiff \| tree
2017-08-18	bdemsky	edits	commit \| commitdiff \| tree
2017-08-18	bdemsky	fix logic	commit \| commitdiff \| tree
2017-08-18	bdemsky	edits	commit \| commitdiff \| tree
2017-08-17	bdemsky	Towards a bug fix	commit \| commitdiff \| tree
2017-08-17	bdemsky	Move constraints to set	commit \| commitdiff \| tree
2017-08-17	bdemsky	Fix bug and add support for computing transitive closure...	commit \| commitdiff \| tree
2017-08-17	bdemsky	Merge branch 'hamed'	commit \| commitdiff \| tree
2017-08-17	bdemsky	Finish order decompose function	commit \| commitdiff \| tree
2017-08-17	bdemsky	Big Tabbing Change	commit \| commitdiff \| tree
2017-08-17	bdemsky	Add rewriting support	commit \| commitdiff \| tree
2017-08-16	bdemsky	Extend Must Analysis	commit \| commitdiff \| tree
2017-08-16	bdemsky	Give vector more specific type	commit \| commitdiff \| tree
2017-08-16	bdemsky	Get rid of last bits of nodeinfo	commit \| commitdiff \| tree
2017-08-16	bdemsky	Just push status enum into the node...	commit \| commitdiff \| tree
2017-08-16	bdemsky	More graph analysis	commit \| commitdiff \| tree
2017-08-15	bdemsky	base version	commit \| commitdiff \| tree
2017-08-15	bdemsky	Get rid of OrderEncoder Structure	commit \| commitdiff \| tree
2017-08-15	bdemsky	Build graph	commit \| commitdiff \| tree
2017-08-14	bdemsky	more edits	commit \| commitdiff \| tree
2017-08-12	bdemsky	Get rid of refs to order in graph	commit \| commitdiff \| tree
2017-08-12	bdemsky	Just use standard values for hash function	commit \| commitdiff \| tree
2017-08-09	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-09	bdemsky	Clean up polarity pass	commit \| commitdiff \| tree
2017-08-09	bdemsky	Inter Order is gone...	commit \| commitdiff \| tree
2017-07-31	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-07-21	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-07-21	bdemsky	resolve conflict	commit \| commitdiff \| tree
2017-07-20	bdemsky	Fix Leak	commit \| commitdiff \| tree
2017-07-18	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-07-18	bdemsky	Include encoding for values	commit \| commitdiff \| tree
2017-07-17	bdemsky	Handle sets of 1	commit \| commitdiff \| tree
2017-07-14	bdemsky	Fix bug in constraint.c	commit \| commitdiff \| tree
2017-07-14	bdemsky	Add Const API to frontend	commit \| commitdiff \| tree
2017-07-14	bdemsky	A little OCD not to split generation setup with initializati...	commit \| commitdiff \| tree
2017-07-13	bdemsky	Encoding Bug Fix	commit \| commitdiff \| tree
2017-07-13	bdemsky	Check in bug fix	commit \| commitdiff \| tree
2017-07-12	bdemsky	Fix UNARY Encoding issue to use one less variable	commit \| commitdiff \| tree
2017-07-12	bdemsky	Don't generate redundant constraints	commit \| commitdiff \| tree
2017-07-12	bdemsky	Add paper about KodKod	commit \| commitdiff \| tree
2017-07-12	bdemsky	Add Unary Encoding	commit \| commitdiff \| tree
2017-07-12	bdemsky	Add OneHot Encoding	commit \| commitdiff \| tree
2017-07-12	bdemsky	Forgot to turn on CIRCUIT Encoding	commit \| commitdiff \| tree
2017-07-12	bdemsky	Add CIRCUIT Encoding for Equals	commit \| commitdiff \| tree
2017-07-12	bdemsky	Small edits	commit \| commitdiff \| tree
2017-07-12	bdemsky	Get rid of functions returning Edges	commit \| commitdiff \| tree
2017-07-12	bdemsky	Traverse entire AST, but only assign encodings once...	commit \| commitdiff \| tree
2017-07-12	Brian Demsky	Make naive encoding follow AST Tree	commit \| commitdiff \| tree
2017-07-11	bdemsky	Updating format file	commit \| commitdiff \| tree
2017-07-11	bdemsky	Split functions into separate file	commit \| commitdiff \| tree
2017-07-11	bdemsky	Split encoder into more files	commit \| commitdiff \| tree
2017-07-11	bdemsky	edits	commit \| commitdiff \| tree
2017-07-11	bdemsky	Rewrite function operator code	commit \| commitdiff \| tree
2017-07-11	bdemsky	Add support for some other operators	commit \| commitdiff \| tree
2017-07-11	bdemsky	Renaming	commit \| commitdiff \| tree
2017-07-11	bdemsky	Fix conflict	commit \| commitdiff \| tree
2017-07-11	bdemsky	Rename some functions and cleanup	commit \| commitdiff \| tree
2017-07-11	bdemsky	Minor formatting issues	commit \| commitdiff \| tree
2017-07-11	bdemsky	Comments for Hamed	commit \| commitdiff \| tree
2017-07-11	bdemsky	Merge branch 'master' into brian	commit \| commitdiff \| tree
2017-07-11	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-07-11	bdemsky	edits	commit \| commitdiff \| tree
2017-07-11	bdemsky	It compiles	commit \| commitdiff \| tree
2017-07-11	bdemsky	Merge branch 'hamed' into brian	commit \| commitdiff \| tree
2017-07-11	bdemsky	Fix some of the memory leaks	commit \| commitdiff \| tree
2017-07-11	bdemsky	Fix memory allocation error	commit \| commitdiff \| tree
2017-07-11	bdemsky	Optimize function for constraint	commit \| commitdiff \| tree
2017-07-10	bdemsky	Add print routine for CNFExpr	commit \| commitdiff \| tree
2017-07-10	bdemsky	bug fix	commit \| commitdiff \| tree
2017-07-10	bdemsky	Another bug fix	commit \| commitdiff \| tree
2017-07-10	Brian Demsky	Fix leak	commit \| commitdiff \| tree
2017-07-10	bdemsky	edit	commit \| commitdiff \| tree
2017-07-10	bdemsky	Revent erroneous bug fix	commit \| commitdiff \| tree
2017-07-10	bdemsky	edits	commit \| commitdiff \| tree
2017-07-10	bdemsky	bug fixes	commit \| commitdiff \| tree
2017-07-10	bdemsky	edits	commit \| commitdiff \| tree
2017-07-10	bdemsky	Update license to relevant files.	commit \| commitdiff \| tree
2017-07-10	bdemsky	Extend test case to call solver	commit \| commitdiff \| tree
2017-07-10	bdemsky	Start CNF Test Case	commit \| commitdiff \| tree
2017-07-10	bdemsky	Caught another bug	commit \| commitdiff \| tree
2017-07-09	bdemsky	edits	commit \| commitdiff \| tree
2017-07-09	bdemsky	Add support for outputting CNF	commit \| commitdiff \| tree
2017-07-09	bdemsky	more edits	commit \| commitdiff \| tree
2017-07-09	bdemsky	Add papers	commit \| commitdiff \| tree
2017-07-09	bdemsky	merge	commit \| commitdiff \| tree
2017-07-09	bdemsky	edits	commit \| commitdiff \| tree
2017-07-09	bdemsky	more edits	commit \| commitdiff \| tree
2017-07-08	bdemsky	more edits	commit \| commitdiff \| tree
2017-07-08	bdemsky	edits	commit \| commitdiff \| tree
next

SATune Repository

RSS Atom