projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Merging with Tuner branch
[satune.git]
/
src
/
2019-02-22
Hamed Gorjiara
Merging with Tuner branch
tree
|
commitdiff
2019-02-21
Hamed Gorjiara
Adding SMTRat and MathSAT interpreters
tree
|
commitdiff
2019-02-21
Hamed Gorjiara
Adding SMT Interpreters
tree
|
commitdiff
2019-02-19
Hamed Gorjiara
renaming alloyenc to alloy interpreter
tree
|
commitdiff
2019-02-19
Hamed Gorjiara
Interpreter abstraction and memory bug fixes
tree
|
commitdiff
2019-02-11
Hamed Gorjiara
Adding timeout for Alloy interpreter
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
Calling alloy first when deserializing
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
turning of the optimizations when using alloy ...
tree
|
commitdiff
2019-02-07
Hamed Gorjiara
1)core dump in regex for big strings 2) Boolean Var...
tree
|
commitdiff
2019-01-29
Hamed Gorjiara
fixing alloy performance bugs
tree
|
commitdiff
2019-01-25
Hamed Gorjiara
Adding support for ElementFunction
tree
|
commitdiff
2019-01-23
Hamed Gorjiara
Adding Support for BooleanVar
tree
|
commitdiff
2019-01-23
Hamed Gorjiara
Bug Fix: defining the scope of integer for Alloy
tree
|
commitdiff
2019-01-22
Hamed Gorjiara
Initializing the ElementSig Value
tree
|
commitdiff
2019-01-22
Hamed Gorjiara
Alloy interpreter
tree
|
commitdiff
2019-01-04
Hamed Gorjiara
Adding Simulated Annealing Tuner ...
tree
|
commitdiff
2018-12-20
Hamed Gorjiara
Breaking Multituner into comptuner and kmeanstuner
tree
|
commitdiff
2018-12-19
Hamed Gorjiara
Changing the design by adding basic tuner
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Automating log reporter system
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Enriching the report description
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Edit
tree
|
commitdiff
2018-12-17
Hamed Gorjiara
Preprocess bug fix
tree
|
commitdiff
2018-12-14
Hamed Gorjiara
Resolving conflicts
tree
|
commitdiff
2018-12-14
Hamed Gorjiara
removing duplicates
tree
|
commitdiff
2018-12-12
Hamed Gorjiara
Random Tuner
tree
|
commitdiff
2018-12-07
Hamed Gorjiara
Bug fix ...
tree
|
commitdiff
2018-12-07
Hamed Gorjiara
Bug fix ...
tree
|
commitdiff
2018-12-06
<hamed@DESKTOP...
Report from analyzing the tuner
tree
|
commitdiff
2018-12-06
<hamed@DESKTOP...
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-12-06
<hamed@DESKTOP...
Edit
tree
|
commitdiff
2018-12-06
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-12-06
Hamed Gorjiara
Preprocessing check
tree
|
commitdiff
2018-12-06
<hamed@DESKTOP...
Geometric mean line
tree
|
commitdiff
2018-12-04
bdemsky
Fix knob to only ask it we will actually use knob
tree
|
commitdiff
2018-12-01
Hamed Gorjiara
Bug fix:duplicated tuners in explored array
tree
|
commitdiff
2018-12-01
Hamed Gorjiara
avoiding repetitive tuner
tree
|
commitdiff
2018-11-27
Hamed Gorjiara
Log Analyzer ...
tree
|
commitdiff
2018-11-15
Hamed Gorjiara
Adding print tuner ...
tree
|
commitdiff
2018-10-31
Hamed Gorjiara
edit
tree
|
commitdiff
2018-10-31
bdemsky
fix tuner situation
tree
|
commitdiff
2018-10-31
bdemsky
memoize timeouts
tree
|
commitdiff
2018-10-31
Hamed Gorjiara
Serializing circuit encoding
tree
|
commitdiff
2018-10-31
Hamed Gorjiara
memory bug fix
tree
|
commitdiff
2018-10-30
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-10-30
Hamed Gorjiara
Edit
tree
|
commitdiff
2018-10-30
Hamed Gorjiara
Bug fix
tree
|
commitdiff
2018-10-29
Hamed Gorjiara
Adding warning print in case the tuner cannot be loaded
tree
|
commitdiff
2018-10-27
Hamed Gorjiara
Bug fix: deserializing the tunernumber ...
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-23
Hamed Gorjiara
Adding the missing bug fix for the merge heuristic ...
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-20
Hamed Gorjiara
Finding the 3 best tuners after the learning process
tree
|
commitdiff
2018-10-18
bdemsky
Generally it is good not to have redundant information...
tree
|
commitdiff
2018-10-18
Hamed Gorjiara
Bug fix for tuner timeout
tree
|
commitdiff
2018-10-18
Hamed Gorjiara
Bug fix: besttime for each problem
tree
|
commitdiff
2018-10-18
Hamed Gorjiara
Using LOG instead of DEBUG
tree
|
commitdiff
2018-10-18
Hamed Gorjiara
Adoptive timeout ...
tree
|
commitdiff
2018-10-17
Hamed Gorjiara
Edit
tree
|
commitdiff
2018-10-17
Hamed Gorjiara
making logs more readable
tree
|
commitdiff
2018-10-17
bdemsky
make easier to read
tree
|
commitdiff
2018-10-17
bdemsky
make easier to read
tree
|
commitdiff
2018-10-17
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-10-17
Hamed Gorjiara
Using LOG instead of DEBUG
tree
|
commitdiff
2018-10-17
bdemsky
Tuner shouldn't try to find really bad implementations
tree
|
commitdiff
2018-10-17
bdemsky
bug
tree
|
commitdiff
2018-10-17
bdemsky
Merge branch 'tuner' of ssh://plrg.eecs.uci.edu/home...
tree
|
commitdiff
2018-10-17
bdemsky
edit
tree
|
commitdiff
2018-10-17
Hamed Gorjiara
Merging with Brian's commits ...
tree
|
commitdiff
2018-10-17
Hamed Gorjiara
Bug fixes and print statements
tree
|
commitdiff
2018-10-17
bdemsky
bug fixes
tree
|
commitdiff
2018-10-17
bdemsky
add print statement of progress
tree
|
commitdiff
2018-10-17
bdemsky
Add file to run parser
tree
|
commitdiff
2018-10-17
bdemsky
parse code
tree
|
commitdiff
2018-10-17
bdemsky
add more data for loading information back
tree
|
commitdiff
2018-10-17
bdemsky
Save all data generated by autotuner pass
tree
|
commitdiff
2018-10-17
bdemsky
Add more code to dump results
tree
|
commitdiff
2018-10-17
bdemsky
Some edits...
tree
|
commitdiff
2018-10-16
Hamed Gorjiara
Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
tree
|
commitdiff
2018-10-16
Hamed Gorjiara
Adding the new tunable to the print function
tree
|
commitdiff
2018-10-16
bdemsky
Fix result file
tree
|
commitdiff
2018-10-16
bdemsky
fix up serialization a bit more
tree
|
commitdiff
2018-10-15
bdemsky
Fix tuner issues
tree
|
commitdiff
2018-10-15
bdemsky
bug fix
tree
|
commitdiff
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
Hamed Gorjiara
Boolean Variable Ordering optimizations
tree
|
commitdiff
2018-10-12
bdemsky
edits
tree
|
commitdiff
2018-10-12
bdemsky
more edits
tree
|
commitdiff
next