Programming Languages Research Group: Git

2017-09-02	Hamed	Adding IntegerEncodingResolver ...	commit \| commitdiff \| tree
2017-09-01	Hamed	Adding OrderPairResolver	commit \| commitdiff \| tree
2017-09-01	Hamed	Editing orderresolver design	commit \| commitdiff \| tree
2017-09-01	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-09-01	Hamed	Adding DecomposeOrderResolver	commit \| commitdiff \| tree
2017-09-01	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-09-01	Hamed	Small edit	commit \| commitdiff \| tree
2017-08-31	Hamed	Adding decomposeOrderTransform to transformer	commit \| commitdiff \| tree
2017-08-31	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-31	Hamed	Merging with branch Master	commit \| commitdiff \| tree
2017-08-31	Hamed	Fixing bug ..	commit \| commitdiff \| tree
2017-08-31	Hamed	Adding Transformer and adding integerencoding to it...	commit \| commitdiff \| tree
2017-08-30	Hamed	Adding support for mutableset in backend + OO-style Set	commit \| commitdiff \| tree
2017-08-29	Hamed	Omitting tunable parameters from Transform's constructors	commit \| commitdiff \| tree
2017-08-29	Hamed	Merging with branch master and fixing bugs	commit \| commitdiff \| tree
2017-08-29	Hamed	Edit	commit \| commitdiff \| tree
2017-08-29	Hamed	Fixing bugs	commit \| commitdiff \| tree
2017-08-29	Hamed	OOP representation of Transforms	commit \| commitdiff \| tree
2017-08-27	Hamed	Fixing the ordergraphtest	commit \| commitdiff \| tree
2017-08-27	Hamed	Adding Transform object ... applying Brian's comments	commit \| commitdiff \| tree
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-26	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-26	Hamed	Fixing the Integer encoding ...	commit \| commitdiff \| tree
2017-08-26	Hamed	Adding back the IntegerEncoding ...	commit \| commitdiff \| tree
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-25	Hamed	edit	commit \| commitdiff \| tree
2017-08-25	Hamed	Merge with branch master ...	commit \| commitdiff \| tree
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-25	Hamed	replacing booleanOrder with booleanPredicate in IntegerEncod...	commit \| commitdiff \| tree
2017-08-25	Hamed	Adding ASTTransform ...	commit \| commitdiff \| tree
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-25	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-08-24	Hamed	removing true nodes from the OrderGraph	commit \| commitdiff \| tree
2017-08-22	Hamed	Fixin memory bug	commit \| commitdiff \| tree
2017-08-22	Hamed	Adding support for Integer Encoding ...	commit \| commitdiff \| tree
2017-08-22	Hamed	Adding circuit-based encoding for LT and GT	commit \| commitdiff \| tree
2017-08-22	Hamed	After merging with master branch ...	commit \| commitdiff \| tree
2017-08-22	Hamed	Add printings ...	commit \| commitdiff \| tree
2017-08-22	Hamed	Testcase for ordergraph	commit \| commitdiff \| tree
2017-08-22	Hamed	Fixin some bugs ..	commit \| commitdiff \| tree
2017-08-09	Hamed	Computing SCC ...	commit \| commitdiff \| tree
2017-08-09	Hamed	Building a graph for each order	commit \| commitdiff \| tree
2017-08-09	Hamed	Building the OrderGraph ...	commit \| commitdiff \| tree
2017-08-09	Hamed	adding new hash functions ...	commit \| commitdiff \| tree
2017-08-09	Hamed	Adding new API for defining an order constraint on...	commit \| commitdiff \| tree
2017-08-08	Hamed	Just start working on OrderGraph + memory bug fix for...	commit \| commitdiff \| tree
2017-08-07	Hamed	Assigning Polarity and BooleanValue to All the Boolean...	commit \| commitdiff \| tree
2017-08-05	Hamed	Fixing some bugs ...	commit \| commitdiff \| tree
2017-07-25	Hamed	Adding a new testcase for circuit-based equals + bug...	commit \| commitdiff \| tree
2017-07-25	Hamed	Fixing bugs for Unary encoding ...	commit \| commitdiff \| tree
2017-07-24	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-24	Hamed	Fixing bugs with the table-based predicates	commit \| commitdiff \| tree
2017-07-24	Hamed	Testing one-hot encoding + fixing bugs ...	commit \| commitdiff \| tree
2017-07-21	Hamed	A bug fix for the case IGNOREBEHAVIOR in table-base...	commit \| commitdiff \| tree
2017-07-21	Hamed	Test case for table-based predicate + fixing bugs	commit \| commitdiff \| tree
2017-07-20	Hamed	Adding edge cases for table-based predicate/function	commit \| commitdiff \| tree
2017-07-20	Hamed	Adding edge cases and fixing leaks	commit \| commitdiff \| tree
2017-07-20	Hamed	Adding a new test case for testing FLAGIFFUNDEFINED...	commit \| commitdiff \| tree
2017-07-20	Hamed	Fixing bugs + adding descriptions to test cases	commit \| commitdiff \| tree
2017-07-20	Hamed	adding different handlers for predicatetable	commit \| commitdiff \| tree
2017-07-20	Hamed	Fixing spell of entries	commit \| commitdiff \| tree
2017-07-20	Hamed	breaking functionencoding to different files	commit \| commitdiff \| tree
2017-07-20	Hamed	Using hashset for tableEntries + adding handlers for...	commit \| commitdiff \| tree
2017-07-19	Hamed	Fixing memory leaks ...	commit \| commitdiff \| tree
2017-07-19	Hamed	Adding a logicOp test case + fixing bugs	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding a boolean for undefinedStatus	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding UndefinedBehavior + TablePredicate to client...	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding a elemconst testcase + its bug fixe	commit \| commitdiff \| tree
2017-07-18	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-18	Hamed	bug fix for the order test case ...	commit \| commitdiff \| tree
2017-07-18	Hamed	Fixing memory leaks	commit \| commitdiff \| tree
2017-07-18	Hamed	Modify order test case ...	commit \| commitdiff \| tree
2017-07-18	Hamed	Modify API to work for partial order as well + adding...	commit \| commitdiff \| tree
2017-07-18	Hamed	test file name convention ...	commit \| commitdiff \| tree
2017-07-18	Hamed	Translating one-item sets by using number of vars	commit \| commitdiff \| tree
2017-07-18	Hamed	Adding an API for translating the value of an BooleanOrder	commit \| commitdiff \| tree
2017-07-17	Hamed	Translating back the set with one item (iff and ite...	commit \| commitdiff \| tree
2017-07-17	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-17	Hamed	Add some printings for debugging ...	commit \| commitdiff \| tree
2017-07-14	Hamed	Getting some bugs fixed ...	commit \| commitdiff \| tree
2017-07-14	Hamed	Fixing the test case's bug	commit \| commitdiff \| tree
2017-07-14	Hamed	Adding a new test case	commit \| commitdiff \| tree
2017-07-14	Hamed	2 testcases are added + their bugs are fixed ...	commit \| commitdiff \| tree
2017-07-13	Hamed	resolving conflict ...	commit \| commitdiff \| tree
2017-07-13	Hamed	changing printfs to model_prints	commit \| commitdiff \| tree
2017-07-13	Hamed	Fixing the testcase bug	commit \| commitdiff \| tree
2017-07-12	Hamed	Adding sat solution translator for binary value encoding	commit \| commitdiff \| tree
2017-07-12	Hamed	Binary value encoding ...	commit \| commitdiff \| tree
2017-07-12	Hamed	Adding unary encoding in sat solution translator ...	commit \| commitdiff \| tree
2017-07-12	Hamed	One-hot encoding sat solution translator	commit \| commitdiff \| tree
2017-07-12	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-12	Hamed	Adding SAT translator	commit \| commitdiff \| tree
2017-07-11	Hamed	Fixing bugs + renaming ...	commit \| commitdiff \| tree
2017-07-11	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-07-11	Hamed	Adding a general function for encoding elements	commit \| commitdiff \| tree
2017-07-11	Hamed	Fixing bugs + resolving conflicts	commit \| commitdiff \| tree
2017-07-11	Hamed	Fixing more bugs in generating constraint and getting...	commit \| commitdiff \| tree
2017-07-10	Hamed	SAT solver is now connected to csolver	commit \| commitdiff \| tree
2017-07-10	Hamed	fixing more bugs ...	commit \| commitdiff \| tree
next

SATune Repository

RSS Atom