projects
/
satune.git
/ search
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
bug
2018-10-17
bdemsky
bug
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
Merge branch 'tuner' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
edit
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
bug fixes
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
add print statement of progress
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
Add file to run parser
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
parse code
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
add more data for loading information back
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
Save all data generated by autotuner pass
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
Add more code to dump results
commit
|
commitdiff
|
tree
2018-10-17
bdemsky
Some edits...
commit
|
commitdiff
|
tree
2018-10-16
bdemsky
Fix result file
commit
|
commitdiff
|
tree
2018-10-16
bdemsky
fix up serialization a bit more
commit
|
commitdiff
|
tree
2018-10-15
bdemsky
Fix tuner issues
commit
|
commitdiff
|
tree
2018-10-15
bdemsky
bug fix
commit
|
commitdiff
|
tree
2018-10-15
bdemsky
Add file to generate tuner files and fix tunable usage
commit
|
commitdiff
|
tree
2018-10-13
bdemsky
more code
commit
|
commitdiff
|
tree
2018-10-13
bdemsky
Add competition tuner test file
commit
|
commitdiff
|
tree
2018-10-13
bdemsky
fix tabbing
commit
|
commitdiff
|
tree
2018-10-13
Hamed Gorjiara
Boolean Variable Ordering optimizations
commit
|
commitdiff
|
tree
2018-10-13
bdemsky
edits
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
edits
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
edits
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
edits
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
more edits
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
tabbing
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
Add tuner components
commit
|
commitdiff
|
tree
2018-10-12
bdemsky
Add tuner components
commit
|
commitdiff
|
tree
2018-10-11
bdemsky
Add binary
commit
|
commitdiff
|
tree
2018-10-11
bdemsky
Move static tuner into its own class
commit
|
commitdiff
|
tree
2018-10-02
bdemsky
Fix tabbing
commit
|
commitdiff
|
tree
2018-10-02
bdemsky
Turn off print statements
commit
|
commitdiff
|
tree
2018-10-02
bdemsky
Fix g++ option
commit
|
commitdiff
|
tree
2018-10-02
bdemsky
Performance improvement
commit
|
commitdiff
|
tree
2018-09-21
Brian Demsky
Bug fix in condition to set CIRCUIT encoding
commit
|
commitdiff
|
tree
2018-09-21
bdemsky
Merge branch 'scratch' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2018-09-20
bdemsky
bug fix
commit
|
commitdiff
|
tree
2018-08-17
bdemsky
Fix tabbing
commit
|
commitdiff
|
tree
2018-08-17
bdemsky
bug fix
commit
|
commitdiff
|
tree
2018-08-17
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2018-08-17
bdemsky
revert Hamed's changes to encoding graph
commit
|
commitdiff
|
tree
2018-08-02
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2018-08-02
bdemsky
Bug was introduced in proxy variable changes
commit
|
commitdiff
|
tree
2018-08-02
bdemsky
fix print bug
commit
|
commitdiff
|
tree
2018-08-02
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2018-08-02
bdemsky
bug fix
commit
|
commitdiff
|
tree
2018-07-27
bdemsky
make range closer to what we'd expect
commit
|
commitdiff
|
tree
2018-07-24
bdemsky
edits
commit
|
commitdiff
|
tree
2018-07-24
bdemsky
remove redundant constraint
commit
|
commitdiff
|
tree
2018-07-24
bdemsky
add element optimization pass
commit
|
commitdiff
|
tree
2018-07-24
bdemsky
remove redundant sets
commit
|
commitdiff
|
tree
2018-07-24
Brian Demsky
fix sigs
commit
|
commitdiff
|
tree
2018-07-24
bdemsky
edits
commit
|
commitdiff
|
tree
2018-07-24
bdemsky
more code
commit
|
commitdiff
|
tree
2018-07-23
bdemsky
remove redundant domains
commit
|
commitdiff
|
tree
2018-07-23
bdemsky
add new class
commit
|
commitdiff
|
tree
2018-07-20
bdemsky
bug fixes
commit
|
commitdiff
|
tree
2018-07-19
bdemsky
edit
commit
|
commitdiff
|
tree
2018-07-18
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit
|
commitdiff
|
tree
2018-07-18
bdemsky
edit
commit
|
commitdiff
|
tree
2018-07-18
bdemsky
edits
commit
|
commitdiff
|
tree
2018-01-19
Brian Demsky
Improve libc support
commit
|
commitdiff
|
tree
2018-01-14
Brian Demsky
Use smarter splitting heuristic
commit
|
commitdiff
|
tree
2018-01-14
bdemsky
Edits
commit
|
commitdiff
|
tree
2018-01-11
bdemsky
Bug fixes
commit
|
commitdiff
|
tree
2018-01-10
Brian Demsky
Runs
commit
|
commitdiff
|
tree
2018-01-08
Brian Demsky
edits
commit
|
commitdiff
|
tree
2018-01-06
Brian Demsky
Reduce unnecessary vector alloc/free
commit
|
commitdiff
|
tree
2018-01-05
Brian Demsky
Bug fixes
commit
|
commitdiff
|
tree
2017-12-31
Brian Demsky
bug fixes
commit
|
commitdiff
|
tree
2017-11-02
bdemsky
bug fix
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
Add timing statements
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
My changes
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
Switch default
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
fix some warnings
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
Autotuner test case
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
Improve hash function to fix collision problem
commit
|
commitdiff
|
tree
2017-10-24
bdemsky
Add new test cases plus buffer serialization code
commit
|
commitdiff
|
tree
2017-10-23
bdemsky
Fix bugs
commit
|
commitdiff
|
tree
2017-10-23
bdemsky
Edits
commit
|
commitdiff
|
tree
2017-10-23
bdemsky
Merge
commit
|
commitdiff
|
tree
2017-10-23
bdemsky
Bug fix
commit
|
commitdiff
|
tree
2017-10-23
bdemsky
Edits
commit
|
commitdiff
|
tree
2017-10-22
bdemsky
Remove print line
commit
|
commitdiff
|
tree
2017-10-22
bdemsky
Bug fixes
commit
|
commitdiff
|
tree
2017-10-22
bdemsky
More edits
commit
|
commitdiff
|
tree
2017-10-22
bdemsky
Add serialize back to the test case
commit
|
commitdiff
|
tree
2017-10-22
bdemsky
tabbing
commit
|
commitdiff
|
tree
2017-10-22
bdemsky
New Resolver Design for Decompose Order
commit
|
commitdiff
|
tree
2017-10-21
bdemsky
New Resolver Strategy
commit
|
commitdiff
|
tree
2017-10-21
bdemsky
edits
commit
|
commitdiff
|
tree
2017-10-21
bdemsky
Fix bug regarding order translation for removed nodes
commit
|
commitdiff
|
tree
2017-10-20
bdemsky
Fix some memory leaks
commit
|
commitdiff
|
tree
2017-10-20
bdemsky
Off by 1 bug
commit
|
commitdiff
|
tree
2017-10-20
bdemsky
Add test cases
commit
|
commitdiff
|
tree
2017-10-19
bdemsky
Bug fix for removing must edges...They also need to...
commit
|
commitdiff
|
tree
2017-10-19
bdemsky
Bug fix
commit
|
commitdiff
|
tree
2017-10-18
bdemsky
Fix tabbing
commit
|
commitdiff
|
tree
2017-10-18
bdemsky
Edits to merge
commit
|
commitdiff
|
tree
2017-10-18
bdemsky
Bug fix
commit
|
commitdiff
|
tree
next