Programming Languages Research Group: Git

2017-09-03	bdemsky	Handle optimizations for mustbetrue/mustbefalse automatically	commit \| commitdiff \| tree
2017-09-03	bdemsky	Compute Must Values Automatically	commit \| commitdiff \| tree
2017-09-03	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-09-03	bdemsky	Fix test cases	commit \| commitdiff \| tree
2017-09-03	bdemsky	Compiles	commit \| commitdiff \| tree
2017-09-02	bdemsky	Work on canonicalizing the AST so our analysis can...	commit \| commitdiff \| tree
2017-09-02	bdemsky	Interface should be bool, not happenedbefore	commit \| commitdiff \| tree
2017-09-02	bdemsky	Make integerencoding a completely separate pass......	commit \| commitdiff \| tree
2017-09-02	bdemsky	Restructure transforms a little and run make tabbing	commit \| commitdiff \| tree
2017-09-01	bdemsky	Bug fix	commit \| commitdiff \| tree
2017-09-01	bdemsky	Fix mistakenly renamed enum element	commit \| commitdiff \| tree
2017-08-31	Brian Demsky	Bug fixes	commit \| commitdiff \| tree
2017-08-31	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-31	bdemsky	Add IFF support	commit \| commitdiff \| tree
2017-08-31	bdemsky	Rename startEncoding function	commit \| commitdiff \| tree
2017-08-31	bdemsky	Add convenience functions	commit \| commitdiff \| tree
2017-08-31	bdemsky	Add convenience function	commit \| commitdiff \| tree
2017-08-31	bdemsky	Add useful functions	commit \| commitdiff \| tree
2017-08-31	bdemsky	Fix name collisions	commit \| commitdiff \| tree
2017-08-30	bdemsky	Renaming	commit \| commitdiff \| tree
2017-08-30	bdemsky	Change dependences	commit \| commitdiff \| tree
2017-08-30	bdemsky	Tuner bug fix	commit \| commitdiff \| tree
2017-08-30	bdemsky	Forgot file	commit \| commitdiff \| tree
2017-08-30	bdemsky	More name changes	commit \| commitdiff \| tree
2017-08-30	Brian Demsky	renaming	commit \| commitdiff \| tree
2017-08-30	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-30	bdemsky	Get rid of unnecessary hashfunction and comparison	commit \| commitdiff \| tree
2017-08-30	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-30	bdemsky	Add support for true and false and normalizing them...	commit \| commitdiff \| tree
2017-08-29	bdemsky	Translate expressions only once	commit \| commitdiff \| tree
2017-08-29	bdemsky	Deduplication Support	commit \| commitdiff \| tree
2017-08-29	bdemsky	Finish hash/comparison functions	commit \| commitdiff \| tree
2017-08-29	bdemsky	Add AST Hashing and Equals Functions	commit \| commitdiff \| tree
2017-08-29	bdemsky	Get rid of silly macros	commit \| commitdiff \| tree
2017-08-28	bdemsky	Small edit	commit \| commitdiff \| tree
2017-08-28	Brian Demsky	Bug fixes	commit \| commitdiff \| tree
2017-08-28	bdemsky	Auto Tuner Initial Full Checkin	commit \| commitdiff \| tree
2017-08-28	bdemsky	Autotune Framework	commit \| commitdiff \| tree
2017-08-28	bdemsky	More of Tuning Framework	commit \| commitdiff \| tree
2017-08-28	bdemsky	More tuner framework code	commit \| commitdiff \| tree
2017-08-28	bdemsky	Class renaming	commit \| commitdiff \| tree
2017-08-28	bdemsky	edit	commit \| commitdiff \| tree
2017-08-28	bdemsky	More OO conversion	commit \| commitdiff \| tree
2017-08-28	bdemsky	edits	commit \| commitdiff \| tree
2017-08-27	bdemsky	Convert structs to classes...	commit \| commitdiff \| tree
2017-08-27	bdemsky	Finish clone	commit \| commitdiff \| tree
2017-08-27	bdemsky	towards cloning	commit \| commitdiff \| tree
2017-08-27	bdemsky	Run tabbing pass	commit \| commitdiff \| tree
2017-08-27	bdemsky	Try to fix encapsulation	commit \| commitdiff \| tree
2017-08-26	bdemsky	Fix Tuner framework to be OO	commit \| commitdiff \| tree
2017-08-26	bdemsky	Fully convert ordergraph to objects	commit \| commitdiff \| tree
2017-08-26	bdemsky	More conversion to classes	commit \| commitdiff \| tree
2017-08-26	bdemsky	Style change...	commit \| commitdiff \| tree
2017-08-26	bdemsky	Fix bogus test case	commit \| commitdiff \| tree
2017-08-26	bdemsky	Bug fixes	commit \| commitdiff \| tree
2017-08-26	bdemsky	Update test files	commit \| commitdiff \| tree
2017-08-26	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-26	bdemsky	Fix memory leaks	commit \| commitdiff \| tree
2017-08-25	bdemsky	Big Bug Fix	commit \| commitdiff \| tree
2017-08-25	bdemsky	Fix bug	commit \| commitdiff \| tree
2017-08-25	bdemsky	Reorg code	commit \| commitdiff \| tree
2017-08-25	bdemsky	Reorg code	commit \| commitdiff \| tree
2017-08-25	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-25	bdemsky	edits	commit \| commitdiff \| tree
2017-08-25	bdemsky	edits	commit \| commitdiff \| tree
2017-08-25	bdemsky	Get rid of OrderPair warning	commit \| commitdiff \| tree
2017-08-25	bdemsky	Switch hashtable/hashset	commit \| commitdiff \| tree
2017-08-25	bdemsky	Switch to vector class	commit \| commitdiff \| tree
2017-08-25	bdemsky	Switch array struct to class	commit \| commitdiff \| tree
2017-08-25	bdemsky	edit	commit \| commitdiff \| tree
2017-08-25	bdemsky	Move	commit \| commitdiff \| tree
2017-08-25	bdemsky	Move Files	commit \| commitdiff \| tree
2017-08-25	bdemsky	fix bug	commit \| commitdiff \| tree
2017-08-25	bdemsky	edits	commit \| commitdiff \| tree
2017-08-25	Brian Demsky	edits	commit \| commitdiff \| tree
2017-08-25	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	commit \| commitdiff \| tree
2017-08-25	Brian Demsky	edits	commit \| commitdiff \| tree
2017-08-25	bdemsky	more	commit \| commitdiff \| tree
2017-08-25	bdemsky	More fixes	commit \| commitdiff \| tree
2017-08-24	bdemsky	Rename everything	commit \| commitdiff \| tree
2017-08-24	bdemsky	Add LTE function for completeness and fix bug in LT	commit \| commitdiff \| tree
2017-08-23	bdemsky	Fix memory bugs	commit \| commitdiff \| tree
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
next

SATune Repository

RSS Atom