projects
/
satune.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
merge to branch master
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
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
next