Programming Languages Research Group: Git

2017-11-27	Hamed Gorjiara	Adding reset to the solver	commit \| commitdiff \| tree
2017-11-22	Hamed Gorjiara	Fixing the performance bug	commit \| commitdiff \| tree
2017-11-02	Hamed Gorjiara	Fixing serialization bug caused by git automerge	commit \| commitdiff \| tree
2017-11-02	Hamed Gorjiara	Merging with master	commit \| commitdiff \| tree
2017-11-02	Hamed Gorjiara	Bug fix for serializer + adding more debug info inr...	commit \| commitdiff \| tree
2017-10-25	Hamed Gorjiara	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-10-25	Hamed Gorjiara	git rid of SATCHECK_CONFIG micro	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	After resolving conflicts ..	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	More bug fix	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	Bug fix	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	Adding a new testcase ... -Shows bugs that need to...	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	Adding SATCHECK_CONFIG to make switching easier ...	commit \| commitdiff \| tree
2017-10-23	Hamed Gorjiara	After resolving conflicts	commit \| commitdiff \| tree
2017-10-22	Hamed Gorjiara	adding config for model_print	commit \| commitdiff \| tree
2017-10-20	Hamed Gorjiara	Fixing bugs ...	commit \| commitdiff \| tree
2017-10-17	Hamed Gorjiara	new test case	commit \| commitdiff \| tree
2017-10-17	Hamed Gorjiara	Bug Fixes + add more tracing prints + turning off some...	commit \| commitdiff \| tree
2017-09-29	Hamed Gorjiara	Fixing missing changes	commit \| commitdiff \| tree
2017-09-29	Hamed Gorjiara	Fixing missing changes	commit \| commitdiff \| tree
2017-09-29	Hamed Gorjiara	Adding pring option for AST	commit \| commitdiff \| tree
2017-09-20	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-09-20	Hamed	Adding APIs needed	commit \| commitdiff \| tree
2017-09-19	Hamed	merge to branch master	commit \| commitdiff \| tree
2017-09-19	Hamed	Fixing header bugs	commit \| commitdiff \| tree
2017-09-15	Hamed	Adding an API for finalizing MutableSet	commit \| commitdiff \| tree
2017-09-15	Hamed	retrieving back the addItem for mutableSet (needed...	commit \| commitdiff \| tree
2017-09-13	Hamed	Adding support for (de)serializing MutableSet	commit \| commitdiff \| tree
2017-09-11	Hamed	Fixing memory leak bug ...	commit \| commitdiff \| tree
2017-09-11	Hamed	More bug fix ...	commit \| commitdiff \| tree
2017-09-11	Hamed	More bugs	commit \| commitdiff \| tree
2017-09-11	Hamed	Fixing bugs ...	commit \| commitdiff \| tree
2017-09-10	Hamed	completed serializer/deserializer	commit \| commitdiff \| tree
2017-09-09	Hamed	BooleanOrder (de)serialization works ...	commit \| commitdiff \| tree
2017-09-08	Hamed	Merging with branch master	commit \| commitdiff \| tree
2017-09-08	Hamed	(de)serializer: BooleanOrder + BooleanVar	commit \| commitdiff \| tree
2017-09-08	Hamed	scratch of (de)serializing	commit \| commitdiff \| tree
2017-09-07	Hamed	Partial Order ...	commit \| commitdiff \| tree
2017-09-06	Hamed	Merge branch 'master' of ssh://demsky.eecs.uci.edu... ...home/git/constraint_compiler into hamed	commit \| commitdiff \| tree
2017-09-06	Hamed	Moving OrderPairTable to the resolver + hide translation...	commit \| commitdiff \| tree
2017-09-05	Hamed	Fixing polarity path bug ....	commit \| commitdiff \| tree
2017-09-05	Hamed	Adding support for partial order in DecomposeOrderResolver	commit \| commitdiff \| tree
2017-09-04	Hamed	Edit	commit \| commitdiff \| tree
2017-09-04	Hamed	Edit	commit \| commitdiff \| tree
2017-09-04	Hamed	Fixing integerencoding memory leaks ...	commit \| commitdiff \| tree
2017-09-04	Hamed	Fixing more bugs	commit \| commitdiff \| tree
2017-09-04	Hamed	fixing a bug with bypassMustBeTrueNode	commit \| commitdiff \| tree
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
next

SATune Repository

RSS Atom