projects
/
satune.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Extend Must Analysis
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
2017-07-10
Hamed
Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home...
...home/git/constraint_compiler into
hamed
commit
|
commitdiff
|
tree
2017-07-10
Hamed
Merge branch 'brian' of ssh://demsky.eecs.uci.edu/home...
...home/git/constraint_compiler into
hamed
commit
|
commitdiff
|
tree
2017-07-10
Hamed
Integrating with sat_solver ...
commit
|
commitdiff
|
tree
2017-07-08
Hamed
Fixing more bugs
commit
|
commitdiff
|
tree
2017-07-07
Hamed
Fixing more bugs regarding generating constraint variables ...
commit
|
commitdiff
|
tree
2017-07-07
Hamed
Fixing assert_hook bug
commit
|
commitdiff
|
tree
2017-07-07
Hamed
Fixing ASSERT statement bugs
commit
|
commitdiff
|
tree
2017-07-07
Hamed
Fixing some bugs + improving the testcase ...
commit
|
commitdiff
|
tree
2017-07-06
Hamed
Adding function operator handler+ omitting some redundant...
commit
|
commitdiff
|
tree
2017-07-04
Hamed
Fixing some bugs
commit
|
commitdiff
|
tree
2017-07-03
Hamed
Adding predicateOperator (equality operation ...)
commit
|
commitdiff
|
tree
2017-07-03
Hamed
Adding table-based implementation of predicates and...
commit
|
commitdiff
|
tree
2017-07-02
Hamed
New approach for Total Order
commit
|
commitdiff
|
tree
2017-07-01
Hamed
After resolving conflicts ...
commit
|
commitdiff
|
tree
2017-06-30
Hamed
Starting predicates ...
commit
|
commitdiff
|
tree
2017-06-30
Hamed
fixing some bugs ...
commit
|
commitdiff
|
tree
2017-06-30
Hamed
Fixing the constraint. Adding predicateTable
commit
|
commitdiff
|
tree
2017-06-29
Hamed
getting two of FIXMEs fixed
commit
|
commitdiff
|
tree
2017-06-29
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
...home/git/constraint_compiler into
hamed
commit
|
commitdiff
|
tree
2017-06-29
Hamed
Pushing my own branch, do some cleanings ...
commit
|
commitdiff
|
tree
2017-06-29
Hamed
Fixing some bugs, using InUseArray, and completing...
commit
|
commitdiff
|
tree
2017-06-28
Hamed
Generating constraints for BooleanOrder
commit
|
commitdiff
|
tree
2017-06-28
Hamed
Fixing inline functions
commit
|
commitdiff
|
tree
2017-06-28
Hamed
Fix some bugs, Moving backend codes to SATEncoder
commit
|
commitdiff
|
tree
2017-06-27
Hamed
Using inline functions instead of macros for accessing...
commit
|
commitdiff
|
tree
2017-06-27
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2017-06-27
Hamed
Moving back getBinaryConstraint
commit
|
commitdiff
|
tree
2017-06-27
Hamed
Binary encoding for ElementSet and table-based ElementFunction
commit
|
commitdiff
|
tree
2017-06-24
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2017-06-24
Hamed
Fixing bug with running the test
commit
|
commitdiff
|
tree
2017-06-24
Hamed
DecideEncoding
commit
|
commitdiff
|
tree
2017-06-24
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
|
tree
2017-06-24
Hamed
Fixing compile bugs
commit
|
commitdiff
|
tree
2017-06-23
Hamed
Resolving Conflicts ... Still there're errors that...
commit
|
commitdiff
|
tree
2017-06-23
Hamed
Adding naive encoding pass. functionEncoding partially...
commit
|
commitdiff
|
tree
2017-06-21
Hamed
Keeping the type of Boolean/Element struct, as well...
commit
|
commitdiff
|
tree
2017-06-20
Hamed
fixing elementSet and TablePredicate
commit
|
commitdiff
|
tree
2017-06-20
Hamed
Adding TablePredicate
commit
|
commitdiff
|
tree
2017-06-20
Hamed
Commit after resolving conflicts
commit
|
commitdiff
|
tree
2017-06-20
Hamed
New type of Element and Boolean.
commit
|
commitdiff
|
tree
2017-06-20
Hamed
commit after resolving conflict
commit
|
commitdiff
|
tree
next