projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Bug fix: typos
[satune.git]
/
src
/
Backend
/ satelemencoder.cc
2019-09-05
Hamed Gorjiara
Merging + fixing memory bugs
commit
|
commitdiff
2019-08-26
bdemsky
fix tabbing
commit
|
commitdiff
2019-07-01
Hamed Gorjiara
Freezing bug fix - Incremental SATTune works for Sypet
commit
|
commitdiff
2019-06-14
Hamed Gorjiara
Incremental solver works and the test case passes
commit
|
commitdiff
2019-02-22
Hamed Gorjiara
Merging with Tuner branch
commit
|
commitdiff
2018-10-25
Hamed Gorjiara
serializing the best tuners adding runbench.sh
commit
|
commitdiff
2018-10-23
bdemsky
bug fix
commit
|
commitdiff
2018-10-23
Hamed Gorjiara
fixing the heuristic for the BinaryIndex anyvalue const...
commit
|
commitdiff
2018-10-23
bdemsky
merge
commit
|
commitdiff
2018-10-23
bdemsky
Clean up merge heuristic to do what we said it did
commit
|
commitdiff
2018-10-23
Hamed Gorjiara
Bug fix
commit
|
commitdiff
2018-10-22
Hamed Gorjiara
Bug fix: Droping the log from the anyvalue heuristic...
commit
|
commitdiff
2018-10-21
Hamed Gorjiara
Fixing the anyvalue heuristic for binaryIndex
commit
|
commitdiff
2018-10-12
bdemsky
tabbing
commit
|
commitdiff
2018-10-04
Hamed Gorjiara
Adding a directed search based config for the tuner
commit
|
commitdiff
2018-10-02
Hamed Gorjiara
Merge scratch with master branch
commit
|
commitdiff
2018-09-29
Hamed Gorjiara
1)Making naiveencoder and encoding graph use tuner...
commit
|
commitdiff
2018-09-12
Hamed Gorjiara
Bug fix for the tuner: missing mustHaveValue constraints
commit
|
commitdiff
2018-08-27
Hamed Gorjiara
after merge (mostly tabbing issues)
commit
|
commitdiff
2018-08-17
bdemsky
Fix tabbing
commit
|
commitdiff
2018-07-24
bdemsky
edits
commit
|
commitdiff
2018-07-24
bdemsky
remove redundant constraint
commit
|
commitdiff
2018-07-23
bdemsky
remove redundant domains
commit
|
commitdiff
2018-07-18
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
2018-07-18
Hamed Gorjiara
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
commit
|
commitdiff
2018-05-09
Hamed Gorjiara
Removing extra constraints for the unary encoding
commit
|
commitdiff
2018-05-08
Hamed Gorjiara
Adding a new abstraction for elements: must have value
commit
|
commitdiff
2018-01-23
Hamed Gorjiara
Resolving conflicts after merging with altgen
commit
|
commitdiff
2018-01-14
bdemsky
Edits
commit
|
commitdiff
2017-09-20
bdemsky
Merge branch 'master' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
2017-09-19
Hamed
merge to branch master
commit
|
commitdiff
2017-09-19
Hamed
Fixing header bugs
commit
|
commitdiff
2017-09-11
bdemsky
Merge branch 'encoding'
commit
|
commitdiff
2017-09-11
bdemsky
Merge
commit
|
commitdiff
2017-09-11
bdemsky
Remove unimplemented enum
commit
|
commitdiff
2017-08-29
Hamed
Merging with branch master and fixing bugs
commit
|
commitdiff
2017-08-29
bdemsky
Get rid of silly macros
commit
|
commitdiff
2017-08-28
bdemsky
More OO conversion
commit
|
commitdiff
2017-08-28
bdemsky
edits
commit
|
commitdiff
2017-08-25
bdemsky
edits
commit
|
commitdiff
2017-08-25
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
2017-08-25
Hamed
Merge branch 'master' of ssh://demsky.eecs.uci.edu...
commit
|
commitdiff
2017-08-24
bdemsky
Rename everything
commit
|
commitdiff