projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Add file to generate tuner files and fix tunable usage
[satune.git]
/
src
/
2018-10-15
bdemsky
Add file to generate tuner files and fix tunable usage
tree
|
commitdiff
2018-10-13
bdemsky
more code
tree
|
commitdiff
2018-10-13
bdemsky
Add competition tuner test file
tree
|
commitdiff
2018-10-13
bdemsky
fix tabbing
tree
|
commitdiff
2018-10-13
Hamed Gorjiara
Boolean Variable Ordering optimizations
tree
|
commitdiff
2018-10-13
bdemsky
edits
tree
|
commitdiff
2018-10-12
bdemsky
edits
tree
|
commitdiff
2018-10-12
bdemsky
edits
tree
|
commitdiff
2018-10-12
bdemsky
edits
tree
|
commitdiff
2018-10-12
bdemsky
more edits
tree
|
commitdiff
2018-10-12
bdemsky
tabbing
tree
|
commitdiff
2018-10-12
bdemsky
Add tuner components
tree
|
commitdiff
2018-10-12
bdemsky
Add tuner components
tree
|
commitdiff
2018-10-11
bdemsky
Add binary
tree
|
commitdiff
2018-10-11
bdemsky
Move static tuner into its own class
tree
|
commitdiff
2018-10-04
Hamed Gorjiara
Bug fix for serializing Boolean Const ...
tree
|
commitdiff
2018-10-04
Hamed Gorjiara
Parser for the tuner's log file
tree
|
commitdiff
2018-10-04
Hamed Gorjiara
Adding a directed search based config for the tuner
tree
|
commitdiff
2018-10-03
Hamed Gorjiara
Bug fix for mustHaveValue tuning parameter
tree
|
commitdiff
2018-10-03
Hamed Gorjiara
Adding the learning script
tree
|
commitdiff
2018-10-02
Hamed Gorjiara
Merge scratch with master branch
tree
|
commitdiff
2018-10-02
Hamed Gorjiara
Correcting the autotuner timeout
tree
|
commitdiff
2018-10-02
bdemsky
Fix tabbing
tree
|
commitdiff
2018-10-02
bdemsky
Turn off print statements
tree
|
commitdiff
2018-10-02
bdemsky
Fix g++ option
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-22
Hamed Gorjiara
Bug fix in merge heuristic
tree
|
commitdiff
2018-09-21
Brian Demsky
Bug fix in condition to set CIRCUIT encoding
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-20
bdemsky
bug fix
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-09-07
Hamed Gorjiara
Fixing the memory bug
tree
|
commitdiff
2018-09-06
Hamed Gorjiara
Adding assertions, info logs, and validation functions...
tree
|
commitdiff
2018-09-06
Hamed Gorjiara
Bug fix: overflow in compiler automatic static casting
tree
|
commitdiff
2018-09-06
Hamed Gorjiara
Bug fix in encoding subgraph DFS algorithm
tree
|
commitdiff
2018-08-27
Hamed Gorjiara
after merge (mostly tabbing issues)
tree
|
commitdiff
2018-08-17
bdemsky
Fix tabbing
tree
|
commitdiff
2018-08-17
bdemsky
bug fix
tree
|
commitdiff
2018-08-17
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-08-17
bdemsky
revert Hamed's changes to encoding graph
tree
|
commitdiff
2018-08-17
Hamed Gorjiara
Saving the best tuner settings + bug fixes
tree
|
commitdiff
2018-08-13
Hamed Gorjiara
Cleaning up the unnecessary warnings
tree
|
commitdiff
2018-08-05
Hamed Gorjiara
Bug fix
tree
|
commitdiff
2018-08-03
Hamed Gorjiara
Adding clone API in pycsolver ...
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-08-02
Hamed Gorjiara
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-08-02
Hamed Gorjiara
Bug fix for printing ...
tree
|
commitdiff
2018-08-02
bdemsky
fix print bug
tree
|
commitdiff
2018-08-02
bdemsky
Merge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-08-02
bdemsky
bug fix
tree
|
commitdiff
2018-08-02
Hamed Gorjiara
Refactoring ...
tree
|
commitdiff
2018-08-02
Hamed Gorjiara
revealing a new bug
tree
|
commitdiff
2018-08-01
Hamed Gorjiara
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-08-01
Hamed Gorjiara
Adding a python API for mustHaveValue abstraction
tree
|
commitdiff
2018-07-27
bdemsky
make range closer to what we'd expect
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-26
Hamed Gorjiara
Warning message when value of element is undefined...
tree
|
commitdiff
2018-07-24
bdemsky
edits
tree
|
commitdiff
2018-07-24
bdemsky
remove redundant constraint
tree
|
commitdiff
2018-07-24
bdemsky
add element optimization pass
tree
|
commitdiff
2018-07-24
bdemsky
remove redundant sets
tree
|
commitdiff
2018-07-24
Brian Demsky
fix sigs
tree
|
commitdiff
2018-07-24
bdemsky
edits
tree
|
commitdiff
2018-07-24
bdemsky
more code
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-19
Hamed Gorjiara
Merge branch 'hamed' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-07-19
Hamed Gorjiara
Revert "Having the benchmarks as a new repo"
tree
|
commitdiff
2018-07-19
bdemsky
edit
tree
|
commitdiff
2018-07-19
Hamed Gorjiara
Having the benchmarks as a new repo
tree
|
commitdiff
2018-07-18
Hamed Gorjiara
Bug fix for polarity assignment
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-07-18
bdemsky
edits
tree
|
commitdiff
2018-05-09
Hamed Gorjiara
Removing extra constraints for the unary encoding
tree
|
commitdiff
2018-05-08
Hamed Gorjiara
making the qsort deterministic for BooleanEdge
tree
|
commitdiff
2018-05-08
Hamed Gorjiara
Adding a new abstraction for elements: must have value
tree
|
commitdiff
2018-05-03
Hamed Gorjiara
Bug fix for cloning ...
tree
|
commitdiff
2018-05-01
Hamed Gorjiara
reverting unnecessary changes in clone
tree
|
commitdiff
2018-04-30
Hamed Gorjiara
bug fixes for cloning and encodinggraph
tree
|
commitdiff
2018-04-28
Hamed Gorjiara
Fixing autoTuner's bug + making logs more legible
tree
|
commitdiff
2018-04-25
Hamed Gorjiara
Fixing memory buggit status
tree
|
commitdiff
2018-04-18
Hamed Gorjiara
Adding python api for serilizing + performance improvem...
tree
|
commitdiff
2018-04-13
Hamed Gorjiara
Adding benchmarks
tree
|
commitdiff
2018-04-12
Hamed Gorjiara
Adding logicOps and Compop in python API
tree
|
commitdiff
2018-04-11
Hamed Gorjiara
Completing the python wrapper + editing the c APIs
tree
|
commitdiff
2018-04-11
Hamed Gorjiara
Adding the python wrapper for the constraint solver
tree
|
commitdiff
2018-04-10
Hamed Gorjiara
Adding the c wrapper for CSolver
tree
|
commitdiff
2018-02-09
Hamed Gorjiara
Bug Fixes
tree
|
commitdiff
2018-02-01
Hamed Gorjiara
edit
tree
|
commitdiff
next