Programming Languages Research Group: Git

2018-10-15	bdemsky	Add file to generate tuner files and fix tunable usage	commit \| commitdiff \| tree
2018-10-13	bdemsky	more code	commit \| commitdiff \| tree
2018-10-13	bdemsky	Add competition tuner test file	commit \| commitdiff \| tree
2018-10-13	bdemsky	fix tabbing	commit \| commitdiff \| tree
2018-10-13	Hamed Gorjiara	Boolean Variable Ordering optimizations	commit \| commitdiff \| tree
2018-10-13	bdemsky	edits	commit \| commitdiff \| tree
2018-10-12	bdemsky	edits	commit \| commitdiff \| tree
2018-10-12	bdemsky	edits	commit \| commitdiff \| tree
2018-10-12	bdemsky	edits	commit \| commitdiff \| tree
2018-10-12	bdemsky	more edits	commit \| commitdiff \| tree
2018-10-12	bdemsky	tabbing	commit \| commitdiff \| tree
2018-10-12	bdemsky	Add tuner components	commit \| commitdiff \| tree
2018-10-12	bdemsky	Add tuner components	commit \| commitdiff \| tree
2018-10-11	bdemsky	Add binary	commit \| commitdiff \| tree
2018-10-11	bdemsky	Move static tuner into its own class	commit \| commitdiff \| tree
2018-10-02	bdemsky	Fix tabbing	commit \| commitdiff \| tree
2018-10-02	bdemsky	Turn off print statements	commit \| commitdiff \| tree
2018-10-02	bdemsky	Fix g++ option	commit \| commitdiff \| tree
2018-10-02	bdemsky	Performance improvement	commit \| commitdiff \| tree
2018-09-21	Brian Demsky	Bug fix in condition to set CIRCUIT encoding	commit \| commitdiff \| tree
2018-09-21	bdemsky	Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-09-20	bdemsky	bug fix	commit \| commitdiff \| tree
2018-08-17	bdemsky	Fix tabbing	commit \| commitdiff \| tree
2018-08-17	bdemsky	bug fix	commit \| commitdiff \| tree
2018-08-17	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-08-17	bdemsky	revert Hamed's changes to encoding graph	commit \| commitdiff \| tree
2018-08-02	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-08-02	bdemsky	Bug was introduced in proxy variable changes	commit \| commitdiff \| tree
2018-08-02	bdemsky	fix print bug	commit \| commitdiff \| tree
2018-08-02	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-08-02	bdemsky	bug fix	commit \| commitdiff \| tree
2018-07-27	bdemsky	make range closer to what we'd expect	commit \| commitdiff \| tree
2018-07-24	bdemsky	edits	commit \| commitdiff \| tree
2018-07-24	bdemsky	remove redundant constraint	commit \| commitdiff \| tree
2018-07-24	bdemsky	add element optimization pass	commit \| commitdiff \| tree
2018-07-24	bdemsky	remove redundant sets	commit \| commitdiff \| tree
2018-07-24	Brian Demsky	fix sigs	commit \| commitdiff \| tree
2018-07-24	bdemsky	edits	commit \| commitdiff \| tree
2018-07-24	bdemsky	more code	commit \| commitdiff \| tree
2018-07-23	bdemsky	remove redundant domains	commit \| commitdiff \| tree
2018-07-23	bdemsky	add new class	commit \| commitdiff \| tree
2018-07-20	bdemsky	bug fixes	commit \| commitdiff \| tree
2018-07-19	bdemsky	edit	commit \| commitdiff \| tree
2018-07-18	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-07-18	bdemsky	edit	commit \| commitdiff \| tree
2018-07-18	bdemsky	edits	commit \| commitdiff \| tree
2018-01-19	Brian Demsky	Improve libc support	commit \| commitdiff \| tree
2018-01-14	Brian Demsky	Use smarter splitting heuristic	commit \| commitdiff \| tree
2018-01-14	bdemsky	Edits	commit \| commitdiff \| tree
2018-01-11	bdemsky	Bug fixes	commit \| commitdiff \| tree
2018-01-10	Brian Demsky	Runs	commit \| commitdiff \| tree
2018-01-08	Brian Demsky	edits	commit \| commitdiff \| tree
2018-01-06	Brian Demsky	Reduce unnecessary vector alloc/free	commit \| commitdiff \| tree
2018-01-05	Brian Demsky	Bug fixes	commit \| commitdiff \| tree
2017-12-31	Brian Demsky	bug fixes	commit \| commitdiff \| tree
2017-11-02	bdemsky	bug fix	commit \| commitdiff \| tree
2017-10-24	bdemsky	Add timing statements	commit \| commitdiff \| tree
2017-10-24	bdemsky	My changes	commit \| commitdiff \| tree
2017-10-24	bdemsky	Switch default	commit \| commitdiff \| tree
2017-10-24	bdemsky	fix some warnings	commit \| commitdiff \| tree
2017-10-24	bdemsky	Autotuner test case	commit \| commitdiff \| tree
2017-10-24	bdemsky	Improve hash function to fix collision problem	commit \| commitdiff \| tree
2017-10-24	bdemsky	Add new test cases plus buffer serialization code	commit \| commitdiff \| tree
2017-10-23	bdemsky	Fix bugs	commit \| commitdiff \| tree
2017-10-23	bdemsky	Edits	commit \| commitdiff \| tree
2017-10-23	bdemsky	Merge	commit \| commitdiff \| tree
2017-10-23	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-10-23	bdemsky	Edits	commit \| commitdiff \| tree
2017-10-22	bdemsky	Remove print line	commit \| commitdiff \| tree
2017-10-22	bdemsky	Bug fixes	commit \| commitdiff \| tree
2017-10-22	bdemsky	More edits	commit \| commitdiff \| tree
2017-10-22	bdemsky	Add serialize back to the test case	commit \| commitdiff \| tree
2017-10-22	bdemsky	tabbing	commit \| commitdiff \| tree
2017-10-22	bdemsky	New Resolver Design for Decompose Order	commit \| commitdiff \| tree
2017-10-21	bdemsky	New Resolver Strategy	commit \| commitdiff \| tree
2017-10-21	bdemsky	edits	commit \| commitdiff \| tree
2017-10-21	bdemsky	Fix bug regarding order translation for removed nodes	commit \| commitdiff \| tree
2017-10-20	bdemsky	Fix some memory leaks	commit \| commitdiff \| tree
2017-10-20	bdemsky	Off by 1 bug	commit \| commitdiff \| tree
2017-10-20	bdemsky	Add test cases	commit \| commitdiff \| tree
2017-10-19	bdemsky	Bug fix for removing must edges...They also need to...	commit \| commitdiff \| tree
2017-10-19	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-10-18	bdemsky	Fix tabbing	commit \| commitdiff \| tree
2017-10-18	bdemsky	Edits to merge	commit \| commitdiff \| tree
2017-10-18	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-10-18	bdemsky	Minimize test case	commit \| commitdiff \| tree
2017-10-18	bdemsky	Correct test case	commit \| commitdiff \| tree
2017-09-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-09-21	bdemsky	Bug patches	commit \| commitdiff \| tree
2017-09-20	bdemsky	Another bug fix	commit \| commitdiff \| tree
2017-09-20	bdemsky	Bug fixes	commit \| commitdiff \| tree
2017-09-20	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-09-20	bdemsky	backout changes	commit \| commitdiff \| tree
2017-09-20	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-09-20	bdemsky	edits	commit \| commitdiff \| tree
2017-09-19	bdemsky	edits	commit \| commitdiff \| tree
2017-09-19	bdemsky	More code	commit \| commitdiff \| tree
2017-09-19	bdemsky	More code	commit \| commitdiff \| tree
2017-09-18	bdemsky	Merge	commit \| commitdiff \| tree
2017-09-18	bdemsky	edits	commit \| commitdiff \| tree
next

SATune Repository

RSS Atom