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

2017-09-08	Hamed	Merging with branch master	blob \| commitdiff \| raw
2017-09-07	Brian Demsky	Iterator over AST	blob \| commitdiff \| raw
2017-09-01	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-09-01	Hamed	Adding DecomposeOrderResolver	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	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	Hamed	Adding Transformer and adding integerencoding to it...	blob \| commitdiff \| raw \| diff to current
2017-08-31	bdemsky	Fix name collisions	blob \| commitdiff \| raw \| diff to current
2017-08-30	bdemsky	Change dependences	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-29	Hamed	Omitting tunable parameters from Transform's constructors	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	Hamed	OOP representation of Transforms	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	More of Tuning Framework	blob \| commitdiff \| raw \| diff to current
2017-08-28	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-27	Hamed	Adding Transform object ... applying Brian's comments	blob \| commitdiff \| raw \| diff to current
2017-08-27	bdemsky	Convert structs to classes...	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	Fully convert ordergraph to objects	blob \| commitdiff \| raw \| diff to current
2017-08-26	bdemsky	More conversion to classes	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Get rid of OrderPair warning	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Switch hashtable/hashset	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Switch to vector class	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	edit	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-25	Brian Demsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-25	bdemsky	Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-08-25	Brian Demsky	edits	blob \| commitdiff \| raw \| diff to current
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-08-22	Hamed	Adding support for Integer Encoding ...	blob \| commitdiff \| raw \| diff to current
2017-08-21	bdemsky	Starting tuner framework	blob \| commitdiff \| raw \| diff to current
2017-08-17	bdemsky	Merge branch 'hamed'	blob \| commitdiff \| raw \| diff to current
2017-08-16	bdemsky	Get rid of last bits of nodeinfo	blob \| commitdiff \| raw \| diff to current
2017-08-09	Hamed	Building a graph for each order	blob \| commitdiff \| raw \| diff to current
2017-08-09	Hamed	adding new hash functions ...	blob \| commitdiff \| raw \| diff to current
2017-08-09	bdemsky	Inter Order is gone...	blob \| commitdiff \| raw \| diff to current
2017-08-09	Hamed	Adding new API for defining an order constraint on...	blob \| commitdiff \| raw \| diff to current
2017-08-08	Hamed	Just start working on OrderGraph + memory bug fix for...	blob \| commitdiff \| raw \| diff to current
2017-07-14	bdemsky	Add Const API to frontend	blob \| commitdiff \| raw \| diff to current
2017-07-11	Hamed	Fixing bugs + resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	Merge branch 'master' into brian	blob \| commitdiff \| raw \| diff to current
2017-07-11	bdemsky	It compiles	blob \| commitdiff \| raw \| diff to current
2017-07-05	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-05	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-07-02	Hamed	New approach for Total Order	blob \| commitdiff \| raw \| diff to current
2017-06-28	Hamed	Fix some bugs, Moving backend codes to SATEncoder	blob \| commitdiff \| raw \| diff to current
2017-06-27	Hamed	Binary encoding for ElementSet and table-based ElementF...	blob \| commitdiff \| raw \| diff to current
2017-06-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-06-24	Hamed	Fixing compile bugs	blob \| commitdiff \| raw \| diff to current
2017-06-23	Hamed	Resolving Conflicts ... Still there're errors that...	blob \| commitdiff \| raw \| diff to current
2017-06-23	Hamed	Adding naive encoding pass. functionEncoding partially...	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	edit	blob \| commitdiff \| raw \| diff to current
2017-06-21	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-21	Hamed	Keeping the type of Boolean/Element struct, as well...	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Clean up Predicates	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	fixing elementSet and TablePredicate	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	Commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	New type of Element and Boolean.	blob \| commitdiff \| raw \| diff to current
2017-06-20	bdemsky	Fix warnings, merge, and check my code in	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	commit after resolving conflict	blob \| commitdiff \| raw \| diff to current
2017-06-20	Hamed	developing function struct	blob \| commitdiff \| raw \| diff to current
2017-06-19	bdemsky	Changes	blob \| commitdiff \| raw \| diff to current
2017-06-17	bdemsky	Fix some things that C++ doesn't like so we don't lose...	blob \| commitdiff \| raw \| diff to current
2017-06-17	bdemsky	Use union in Boolean to save space	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	adding TableEntries and ...	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	edits	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu...	blob \| commitdiff \| raw \| diff to current
2017-06-16	Hamed	Commit after resolving conflicts	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	rename	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Add Encoder changes	blob \| commitdiff \| raw \| diff to current
2017-06-16	bdemsky	Add placeholders for encoders	blob \| commitdiff \| raw \| diff to current
2017-06-14	bdemsky	switch to C	blob \| commitdiff \| raw \| diff to current
2017-06-14	bdemsky	Switch to C for Zach	blob \| commitdiff \| raw \| diff to current
2017-06-14	bdemsky	Split Boolean into separate file	blob \| commitdiff \| raw \| diff to current
2017-06-14	bdemsky	Initial Skeletons	blob \| commitdiff \| raw \| diff to current
2017-05-27	bdemsky	Base Commit	blob \| commitdiff \| raw \| diff to current

SATune Repository

RSS Atom