projects
/
satune.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
(de)serializer: BooleanOrder + BooleanVar
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...
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...
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...
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...
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...
commit
|
commitdiff
|
tree
2017-08-26
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2017-08-26
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
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...
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...
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...
commit
|
commitdiff
|
tree
2017-08-25
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
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...
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...
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...
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
next