Programming Languages Research Group: Git - satune.git/history

2017-11-27	Hamed Gorjiara	Adding reset to the solver	blob \| commitdiff \| raw
2017-11-02	Hamed Gorjiara	Merging with master	blob \| commitdiff \| raw \| diff to current
2017-11-02	Hamed Gorjiara	Bug fix for serializer + adding more debug info inr...	blob \| commitdiff \| raw \| diff to current
2017-10-25	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-10-24	bdemsky	Add timing statements	blob \| commitdiff \| raw \| diff to current
2017-10-24	bdemsky	My changes	blob \| commitdiff \| raw \| diff to current
2017-10-24	bdemsky	Improve hash function to fix collision problem	blob \| commitdiff \| raw \| diff to current
2017-10-24	bdemsky	Add new test cases plus buffer serialization code	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Fix bugs	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Edits	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Merge	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Bug fix	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	After resolving conflicts ..	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	Bug fix	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	Adding a new testcase ... -Shows bugs that need to...	blob \| commitdiff \| raw \| diff to current
2017-10-23	Hamed Gorjiara	After resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-10-23	bdemsky	Edits	blob \| commitdiff \| raw \| diff to current
2017-10-22	bdemsky	Bug fixes	blob \| commitdiff \| raw \| diff to current
2017-10-22	bdemsky	More edits	blob \| commitdiff \| raw \| diff to current
2017-10-22	Hamed Gorjiara	adding config for model_print	blob \| commitdiff \| raw \| diff to current
2017-10-20	Hamed Gorjiara	Fixing bugs ...	blob \| commitdiff \| raw \| diff to current
2017-10-19	bdemsky	Bug fix for removing must edges...They also need to...	blob \| commitdiff \| raw \| diff to current
2017-10-19	bdemsky	Bug fix	blob \| commitdiff \| raw \| diff to current
2017-10-18	bdemsky	Fix tabbing	blob \| commitdiff \| raw \| diff to current
2017-10-18	bdemsky	Edits to merge	blob \| commitdiff \| raw \| diff to current
2017-10-17	Hamed Gorjiara	Bug Fixes + add more tracing prints + turning off some...	blob \| commitdiff \| raw \| diff to current
2017-09-21	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-09-20	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-09-20	Hamed	Adding APIs needed	blob \| commitdiff \| raw \| diff to current
2017-09-20	bdemsky	backout changes	blob \| commitdiff \| raw \| diff to current
2017-09-20	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-09-19	Hamed	merge to branch master	blob \| commitdiff \| raw \| diff to current
2017-09-19	Hamed	Fixing header bugs	blob \| commitdiff \| raw \| diff to current
2017-09-18	bdemsky	Merge	blob \| commitdiff \| raw \| diff to current
2017-09-15	Hamed	Adding an API for finalizing MutableSet	blob \| commitdiff \| raw \| diff to current
2017-09-15	Hamed	retrieving back the addItem for mutableSet (needed...	blob \| commitdiff \| raw \| diff to current
2017-09-12	bdemsky	Keep sets sorted	blob \| commitdiff \| raw \| diff to current
2017-09-11	bdemsky	Merge branch 'encoding'	blob \| commitdiff \| raw \| diff to current
2017-09-11	bdemsky	Merge	blob \| commitdiff \| raw \| diff to current
2017-09-11	Hamed	Fixing bugs ...	blob \| commitdiff \| raw \| diff to current
2017-09-09	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-09-09	Hamed	BooleanOrder (de)serialization works ...	blob \| commitdiff \| raw \| diff to current
2017-09-08	Hamed	Merging with branch master	blob \| commitdiff \| raw \| diff to current
2017-09-08	Hamed	scratch of (de)serializing	blob \| commitdiff \| raw \| diff to current
2017-09-08	bdemsky	More refactoring	blob \| commitdiff \| raw \| diff to current
2017-09-06	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-09-06	bdemsky	Improve propagation and add preprocessor pass	blob \| commitdiff \| raw \| diff to current
2017-09-05	bdemsky	qsort has a malloc hidden inside of it...It breaks...	blob \| commitdiff \| raw \| diff to current
2017-09-05	bdemsky	Found bug... Don't update parent's list until we know...	blob \| commitdiff \| raw \| diff to current
2017-09-04	Hamed	Fixing integerencoding memory leaks ...	blob \| commitdiff \| raw \| diff to current
2017-09-04	Hamed	Fixing more bugs	blob \| commitdiff \| raw \| diff to current
2017-09-04	bdemsky	Bug Fix	blob \| commitdiff \| raw \| diff to current
2017-09-04	bdemsky	Bug fix	blob \| commitdiff \| raw \| diff to current
2017-09-03	bdemsky	Handle optimizations for mustbetrue/mustbefalse automat...	blob \| commitdiff \| raw \| diff to current
2017-09-03	bdemsky	Compute Must Values Automatically	blob \| commitdiff \| raw \| diff to current
2017-09-03	bdemsky	Bug fix	blob \| commitdiff \| raw \| diff to current
2017-09-03	bdemsky	Compiles	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Work on canonicalizing the AST so our analysis can...	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Interface should be bool, not happenedbefore	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Make integerencoding a completely separate pass......	blob \| commitdiff \| raw \| diff to current
2017-09-02	bdemsky	Restructure transforms a little and run make tabbing	blob \| commitdiff \| raw \| diff to current
2017-09-01	Hamed	Adding OrderPairResolver	blob \| commitdiff \| raw \| diff to current
2017-09-01	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-31	Brian Demsky	Bug fixes	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add IFF support	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Rename startEncoding function	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add convenience functions	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add convenience function	blob \| commitdiff \| raw \| diff to current
2017-08-31	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-31	Hamed	Merging with branch Master	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Add useful functions	blob \| commitdiff \| raw \| diff to current
2017-08-31	Hamed	Adding Transformer and adding integerencoding to it...	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Renaming	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Change dependences	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	More name changes	blob \| commitdiff \| raw \| diff to current
2017-08-30	Brian Demsky	renaming	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Add support for true and false and normalizing them...	blob \| commitdiff \| raw \| diff to current
2017-08-30	Hamed	Adding support for mutableset in backend + OO-style Set	blob \| commitdiff \| raw \| diff to current
2017-08-29	Hamed	Merging with branch master and fixing bugs	blob \| commitdiff \| raw \| diff to current
2017-08-29	bdemsky	Deduplication Support	blob \| commitdiff \| raw \| diff to current
2017-08-29	Hamed	OOP representation of Transforms	blob \| commitdiff \| raw \| diff to current
2017-08-29	bdemsky	Add AST Hashing and Equals Functions	blob \| commitdiff \| raw \| diff to current
2017-08-29	bdemsky	Get rid of silly macros	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	Small edit	blob \| commitdiff \| raw \| diff to current
2017-08-28	Brian Demsky	Bug fixes	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	Auto Tuner Initial Full Checkin	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	More tuner framework code	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Convert structs to classes...	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Finish clone	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	towards cloning	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Run tabbing pass	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Try to fix encapsulation	blob \| commitdiff \| raw \| diff to current
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-26	bdemsky	Fix Tuner framework to be OO	blob \| commitdiff \| raw \| diff to current
2017-08-26	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
next

SATune Repository

RSS Atom