projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
SMT dump and support for true variable
[satune.git]
/
src
/
Backend
/
2019-09-05
Hamed Gorjiara
Merging + fixing memory bugs
tree
|
commitdiff
2019-08-26
bdemsky
fix tabbing
tree
|
commitdiff
2019-07-01
Hamed Gorjiara
Freezing bug fix - Incremental SATTune works for Sypet
tree
|
commitdiff
2019-06-14
Hamed Gorjiara
Incremental solver works and the test case passes
tree
|
commitdiff
2019-06-13
Hamed Gorjiara
Bug fixes for Java API + Exactly one constraints +...
tree
|
commitdiff
2019-03-28
bdemsky
Unary encoding of predicates
tree
|
commitdiff
2019-03-26
bdemsky
tabbing more tuners
tree
|
commitdiff
2019-03-26
bdemsky
Merge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci...
tree
|
commitdiff
2019-03-26
Hamed Gorjiara
Bug fix for long array
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
commit after merge
tree
|
commitdiff
2019-03-21
bdemsky
sparse or decompose
tree
|
commitdiff
2019-03-19
bdemsky
Support for pruning unused order elements
tree
|
commitdiff
2019-03-19
bdemsky
Fix tabbing
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Adding checks to avoid further processing on UNSAT...
tree
|
commitdiff
2019-02-22
Hamed Gorjiara
Merging with Tuner branch
tree
|
commitdiff
2018-10-25
Hamed Gorjiara
serializing the best tuners adding runbench.sh
tree
|
commitdiff
2018-10-23
bdemsky
bug fix
tree
|
commitdiff
2018-10-23
Hamed Gorjiara
fixing the heuristic for the BinaryIndex anyvalue const...
tree
|
commitdiff
2018-10-23
bdemsky
merge
tree
|
commitdiff
2018-10-23
bdemsky
Clean up merge heuristic to do what we said it did
tree
|
commitdiff
2018-10-23
Hamed Gorjiara
Bug fix
tree
|
commitdiff
2018-10-22
Hamed Gorjiara
Bug fix: Droping the log from the anyvalue heuristic...
tree
|
commitdiff
2018-10-21
Hamed Gorjiara
Fixing the anyvalue heuristic for binaryIndex
tree
|
commitdiff
2018-10-13
bdemsky
fix tabbing
tree
|
commitdiff
2018-10-13
Hamed Gorjiara
Boolean Variable Ordering optimizations
tree
|
commitdiff
2018-10-12
Hamed Gorjiara
Boolean Variable Ordering optimizations
tree
|
commitdiff
2018-10-12
bdemsky
tabbing
tree
|
commitdiff
2018-10-04
Hamed Gorjiara
Adding a directed search based config for the tuner
tree
|
commitdiff
2018-10-02
Hamed Gorjiara
Merge scratch with master branch
tree
|
commitdiff
2018-10-02
bdemsky
Fix tabbing
tree
|
commitdiff
2018-10-02
bdemsky
Turn off print statements
tree
|
commitdiff
2018-10-02
bdemsky
Performance improvement
tree
|
commitdiff
2018-09-29
Hamed Gorjiara
1)Making naiveencoder and encoding graph use tuner...
tree
|
commitdiff
2018-09-24
Hamed Gorjiara
Merging with branch scratch and cleaning the code
tree
|
commitdiff
2018-09-21
bdemsky
Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-09-21
Hamed Gorjiara
Commiting my local changes ...
tree
|
commitdiff
2018-09-13
Hamed Gorjiara
Adding a variable for counting the number of clauses
tree
|
commitdiff
2018-09-12
Hamed Gorjiara
Refactoring ...
tree
|
commitdiff
2018-09-12
Hamed Gorjiara
Bug fix for the tuner: missing mustHaveValue constraints
tree
|
commitdiff
2018-08-27
Hamed Gorjiara
after merge (mostly tabbing issues)
tree
|
commitdiff
2018-08-17
bdemsky
Fix tabbing
tree
|
commitdiff
2018-08-02
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-08-02
bdemsky
Bug was introduced in proxy variable changes
tree
|
commitdiff
2018-07-27
Hamed Gorjiara
checking the the variable isn't constant in generating...
tree
|
commitdiff
2018-07-27
Hamed Gorjiara
Now the Tuner decides about creating proxy variables
tree
|
commitdiff
2018-07-24
bdemsky
edits
tree
|
commitdiff
2018-07-24
bdemsky
remove redundant constraint
tree
|
commitdiff
2018-07-23
bdemsky
remove redundant domains
tree
|
commitdiff
2018-07-23
bdemsky
add new class
tree
|
commitdiff
2018-07-20
bdemsky
bug fixes
tree
|
commitdiff
2018-07-18
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-07-18
bdemsky
edit
tree
|
commitdiff
2018-07-18
Hamed Gorjiara
edit
tree
|
commitdiff
2018-07-18
Hamed Gorjiara
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-05-09
Hamed Gorjiara
Removing extra constraints for the unary encoding
tree
|
commitdiff
2018-05-08
Hamed Gorjiara
Adding a new abstraction for elements: must have value
tree
|
commitdiff
2018-04-18
Hamed Gorjiara
Adding python api for serilizing + performance improvem...
tree
|
commitdiff
2018-02-09
Hamed Gorjiara
Bug Fixes
tree
|
commitdiff
2018-02-01
Hamed Gorjiara
edit
tree
|
commitdiff
2018-01-23
Hamed Gorjiara
Resolving conflicts after merging with altgen
tree
|
commitdiff
2018-01-23
Hamed Gorjiara
Adding more checks ...
tree
|
commitdiff
2018-01-14
Brian Demsky
Use smarter splitting heuristic
tree
|
commitdiff
2018-01-14
bdemsky
Edits
tree
|
commitdiff
2018-01-11
bdemsky
Bug fixes
tree
|
commitdiff
2018-01-10
Brian Demsky
Runs
tree
|
commitdiff
2018-01-09
Hamed Gorjiara
commit after merge
tree
|
commitdiff
2018-01-08
Brian Demsky
edits
tree
|
commitdiff
2018-01-08
Hamed Gorjiara
resetting the solver
tree
|
commitdiff
2018-01-06
Brian Demsky
Reduce unnecessary vector alloc/free
tree
|
commitdiff
2017-12-31
Brian Demsky
bug fixes
tree
|
commitdiff
2017-11-27
Hamed Gorjiara
Adding reset to the solver
tree
|
commitdiff
2017-11-22
Hamed Gorjiara
Fixing the performance bug
tree
|
commitdiff
2017-10-25
Hamed Gorjiara
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
2017-10-24
bdemsky
Add timing statements
tree
|
commitdiff
2017-10-24
bdemsky
fix some warnings
tree
|
commitdiff
2017-10-24
bdemsky
Improve hash function to fix collision problem
tree
|
commitdiff
2017-10-23
Hamed Gorjiara
After resolving conflicts
tree
|
commitdiff
2017-10-18
bdemsky
Fix tabbing
tree
|
commitdiff
2017-10-18
bdemsky
Edits to merge
tree
|
commitdiff
2017-10-18
bdemsky
Bug fix
tree
|
commitdiff
2017-10-17
Hamed Gorjiara
Bug Fixes + add more tracing prints + turning off some...
tree
|
commitdiff
2017-09-29
Hamed Gorjiara
Adding pring option for AST
tree
|
commitdiff
2017-09-20
bdemsky
backout changes
tree
|
commitdiff
2017-09-20
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-09-19
Hamed
merge to branch master
tree
|
commitdiff
2017-09-19
Hamed
Fixing header bugs
tree
|
commitdiff
2017-09-11
bdemsky
Merge branch 'encoding'
tree
|
commitdiff
2017-09-11
bdemsky
Merge
tree
|
commitdiff
2017-09-11
bdemsky
Remove unimplemented enum
tree
|
commitdiff
2017-09-10
bdemsky
More graph building
tree
|
commitdiff
2017-09-09
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-09-09
bdemsky
edits
tree
|
commitdiff
2017-09-08
Hamed
Merging with branch master
tree
|
commitdiff
2017-09-08
bdemsky
More refactoring
tree
|
commitdiff
2017-09-08
bdemsky
Edits
tree
|
commitdiff
2017-09-07
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2017-09-07
Hamed
Partial Order ...
tree
|
commitdiff
2017-09-06
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
tree
|
commitdiff
next