Programming Languages Research Group: Git

2019-03-19	bdemsky	Support for pruning unused order elements	commit \| commitdiff \| tree
2019-03-19	bdemsky	encapsulate order fields	commit \| commitdiff \| tree
2019-03-19	bdemsky	Fix tabbing	commit \| commitdiff \| tree
2019-03-18	bdemsky	bug fix	commit \| commitdiff \| tree
2018-12-04	bdemsky	Fix knob to only ask it we will actually use knob	commit \| commitdiff \| tree
2018-10-31	bdemsky	fix tuner situation	commit \| commitdiff \| tree
2018-10-31	bdemsky	memoize timeouts	commit \| commitdiff \| tree
2018-10-23	bdemsky	bug fix	commit \| commitdiff \| tree
2018-10-23	bdemsky	merge	commit \| commitdiff \| tree
2018-10-23	bdemsky	Clean up merge heuristic to do what we said it did	commit \| commitdiff \| tree
2018-10-18	bdemsky	Generally it is good not to have redundant information...	commit \| commitdiff \| tree
2018-10-17	bdemsky	make easier to read	commit \| commitdiff \| tree
2018-10-17	bdemsky	make easier to read	commit \| commitdiff \| tree
2018-10-17	bdemsky	Tuner shouldn't try to find really bad implementations	commit \| commitdiff \| tree
2018-10-17	bdemsky	bug	commit \| commitdiff \| tree
2018-10-17	bdemsky	Merge branch 'tuner' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2018-10-17	bdemsky	edit	commit \| commitdiff \| tree
2018-10-17	bdemsky	bug fixes	commit \| commitdiff \| tree
2018-10-17	bdemsky	add print statement of progress	commit \| commitdiff \| tree
2018-10-17	bdemsky	Add file to run parser	commit \| commitdiff \| tree
2018-10-17	bdemsky	parse code	commit \| commitdiff \| tree
2018-10-17	bdemsky	add more data for loading information back	commit \| commitdiff \| tree
2018-10-17	bdemsky	Save all data generated by autotuner pass	commit \| commitdiff \| tree
2018-10-17	bdemsky	Add more code to dump results	commit \| commitdiff \| tree
2018-10-17	bdemsky	Some edits...	commit \| commitdiff \| tree
2018-10-16	bdemsky	Fix result file	commit \| commitdiff \| tree
2018-10-16	bdemsky	fix up serialization a bit more	commit \| commitdiff \| tree
2018-10-15	bdemsky	Fix tuner issues	commit \| commitdiff \| tree
2018-10-15	bdemsky	bug fix	commit \| commitdiff \| tree
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
next

SATune Repository

RSS Atom