projects
/
satune.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅
next
Infering the number of runs
[satune.git]
/
src
/
2019-06-27
Hamed Gorjiara
Infering the number of runs
tree
|
commitdiff
2019-06-14
Hamed Gorjiara
Adding incremental to Java, C, and python APIs
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-05-06
Hamed Gorjiara
Compatibility for SATCheck
tree
|
commitdiff
2019-03-29
Hamed Gorjiara
Adding settings to usedsettings when tuner hits timeout
tree
|
commitdiff
2019-03-29
Hamed Gorjiara
BUG FIX when there is no usedSettings
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
bdemsky
Add order benchmark.
tree
|
commitdiff
2019-03-26
Hamed Gorjiara
Bug fix for long array
tree
|
commitdiff
2019-03-24
Hamed Gorjiara
Adding timeout for SATTune
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
Hamed Gorjiara
Updating Java API
tree
|
commitdiff
2019-03-21
Hamed Gorjiara
Bug Fix: when a tuner cannot solve any problems ...
tree
|
commitdiff
2019-03-21
bdemsky
sparse or decompose
tree
|
commitdiff
2019-03-20
bdemsky
bug fix
tree
|
commitdiff
2019-03-19
bdemsky
Support for pruning unused order elements
tree
|
commitdiff
2019-03-19
bdemsky
encapsulate order fields
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
Java API for SATUNE
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Adding checks to avoid further processing on UNSAT...
tree
|
commitdiff
2019-03-19
Hamed Gorjiara
Adding more functions to C API
tree
|
commitdiff
2019-03-18
bdemsky
bug fix
tree
|
commitdiff
2019-03-04
Hamed Gorjiara
Java API for SATune ...
tree
|
commitdiff
2019-02-25
Hamed Gorjiara
Run script for interpreters
tree
|
commitdiff
2019-02-25
Hamed Gorjiara
Setting timeout for SMT test
tree
|
commitdiff
2019-02-23
Hamed Gorjiara
bug fixes
tree
|
commitdiff
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
next