Programming Languages Research Group: Git

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
2017-07-08	bdemsky	more edits	commit \| commitdiff \| tree
2017-07-06	bdemsky	Merge branch 'hamed' into brian	commit \| commitdiff \| tree
2017-07-05	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-07-05	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-07-05	bdemsky	more edits	commit \| commitdiff \| tree
2017-07-05	bdemsky	more code	commit \| commitdiff \| tree
2017-07-03	bdemsky	more bug fixes, think this should work	commit \| commitdiff \| tree
2017-07-03	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-07-03	bdemsky	some bug fixes	commit \| commitdiff \| tree
2017-07-02	bdemsky	finish normalization	commit \| commitdiff \| tree
2017-07-01	bdemsky	more code	commit \| commitdiff \| tree
2017-07-01	bdemsky	mods	commit \| commitdiff \| tree
2017-07-01	bdemsky	Add nodeedge files	commit \| commitdiff \| tree
2017-06-30	bdemsky	Get rid of annoying errors and fix crazy hash function	commit \| commitdiff \| tree
2017-06-29	bdemsky	Add some comments for Hamed	commit \| commitdiff \| tree
2017-06-29	bdemsky	Fix encoding bug and fix misconception of how memory...	commit \| commitdiff \| tree
2017-06-27	bdemsky	Add comments to code of things Hamed should fix (in...	commit \| commitdiff \| tree
2017-06-24	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-06-24	Brian Demsky	Add Order Encoding	commit \| commitdiff \| tree
2017-06-24	bdemsky	Fix double free bug in function encoding	commit \| commitdiff \| tree
2017-06-23	bdemsky	Test email notification	commit \| commitdiff \| tree
2017-06-22	Brian Demsky	Add initialization of TableEntry vector	commit \| commitdiff \| tree
2017-06-22	Brian Demsky	Fix memory bug	commit \| commitdiff \| tree
2017-06-22	Brian Demsky	edits	commit \| commitdiff \| tree
2017-06-22	bdemsky	Fix memory errors detected by valgrind and inline functions	commit \| commitdiff \| tree
2017-06-22	bdemsky	Remove extra files	commit \| commitdiff \| tree
2017-06-22	bdemsky	Add test case plus make changes so test case runs	commit \| commitdiff \| tree
2017-06-22	bdemsky	Inline Encoding Structs into appropriate AST Nodes	commit \| commitdiff \| tree
2017-06-22	bdemsky	Add all C files to tabbing file	commit \| commitdiff \| tree
2017-06-22	bdemsky	Add array object to standardize arrays	commit \| commitdiff \| tree
2017-06-21	bdemsky	Be consistent	commit \| commitdiff \| tree
2017-06-21	bdemsky	get rid of warnings	commit \| commitdiff \| tree
2017-06-21	bdemsky	edit	commit \| commitdiff \| tree
2017-06-21	bdemsky	edits	commit \| commitdiff \| tree
2017-06-21	bdemsky	Check in missing file	commit \| commitdiff \| tree
2017-06-21	bdemsky	edits	commit \| commitdiff \| tree
2017-06-20	bdemsky	Make vectors work well inline	commit \| commitdiff \| tree
2017-06-20	bdemsky	Add support for deleting vectors that are inlined into...	commit \| commitdiff \| tree
2017-06-20	bdemsky	add notes	commit \| commitdiff \| tree
2017-06-20	bdemsky	Fix tabbing	commit \| commitdiff \| tree
2017-06-20	bdemsky	Edits	commit \| commitdiff \| tree
2017-06-20	bdemsky	ake	commit \| commitdiff \| tree
2017-06-20	bdemsky	Clean up Predicates	commit \| commitdiff \| tree
2017-06-20	bdemsky	Remove COMPARE from backend in anticipation of AST...	commit \| commitdiff \| tree
2017-06-20	bdemsky	More SAT Encoder	commit \| commitdiff \| tree
2017-06-20	bdemsky	Fix delete function	commit \| commitdiff \| tree
2017-06-20	bdemsky	Fix warnings, merge, and check my code in	commit \| commitdiff \| tree
2017-06-20	bdemsky	edits	commit \| commitdiff \| tree
2017-06-19	bdemsky	Edits	commit \| commitdiff \| tree
2017-06-19	bdemsky	Changes	commit \| commitdiff \| tree
2017-06-19	bdemsky	Add some notes	commit \| commitdiff \| tree
2017-06-19	bdemsky	edits	commit \| commitdiff \| tree
2017-06-19	bdemsky	Start work on Naive Encoders	commit \| commitdiff \| tree
next

SATune Repository

RSS Atom