BUG FIX when there is no usedSettings
[satune.git] / src /
2019-03-29 Hamed GorjiaraBUG FIX when there is no usedSettings
2019-03-28 bdemskyUnary encoding of predicates
2019-03-26 bdemskytabbing more tuners
2019-03-26 bdemskyMerge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci...
2019-03-26 bdemskyAdd order benchmark.
2019-03-26 Hamed GorjiaraBug fix for long array
2019-03-24 Hamed GorjiaraAdding timeout for SATTune
2019-03-21 Hamed GorjiaraMerge branch 'master' of ssh://demsky.eecs.uci.edu...
2019-03-21 Hamed Gorjiaracommit after merge
2019-03-21 Hamed GorjiaraUpdating Java API
2019-03-21 Hamed GorjiaraBug Fix: when a tuner cannot solve any problems ...
2019-03-21 bdemskysparse or decompose
2019-03-20 bdemskybug fix
2019-03-19 bdemskySupport for pruning unused order elements
2019-03-19 bdemskyencapsulate order fields
2019-03-19 bdemskyFix tabbing
2019-03-19 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
2019-03-19 Hamed GorjiaraJava API for SATUNE
2019-03-19 Hamed GorjiaraAdding checks to avoid further processing on UNSAT...
2019-03-19 Hamed GorjiaraAdding more functions to C API
2019-03-18 bdemskybug fix
2019-03-04 Hamed GorjiaraJava API for SATune ...
2019-02-25 Hamed GorjiaraRun script for interpreters
2019-02-25 Hamed GorjiaraSetting timeout for SMT test
2019-02-23 Hamed Gorjiarabug fixes
2019-02-22 Hamed GorjiaraMerging with Tuner branch
2019-02-21 Hamed GorjiaraAdding SMTRat and MathSAT interpreters
2019-02-21 Hamed GorjiaraAdding SMT Interpreters
2019-02-19 Hamed Gorjiararenaming alloyenc to alloy interpreter
2019-02-19 Hamed GorjiaraInterpreter abstraction and memory bug fixes
2019-02-11 Hamed GorjiaraAdding timeout for Alloy interpreter
2019-02-07 Hamed GorjiaraCalling alloy first when deserializing
2019-02-07 Hamed Gorjiaraturning of the optimizations when using alloy ...
2019-02-07 Hamed Gorjiara1)core dump in regex for big strings 2) Boolean Var...
2019-01-29 Hamed Gorjiarafixing alloy performance bugs
2019-01-25 Hamed GorjiaraAdding support for ElementFunction
2019-01-23 Hamed GorjiaraAdding Support for BooleanVar
2019-01-23 Hamed GorjiaraBug Fix: defining the scope of integer for Alloy
2019-01-22 Hamed GorjiaraInitializing the ElementSig Value
2019-01-22 Hamed GorjiaraAlloy interpreter
2019-01-04 Hamed GorjiaraAdding Simulated Annealing Tuner ...
2018-12-20 Hamed GorjiaraBreaking Multituner into comptuner and kmeanstuner
2018-12-19 Hamed GorjiaraChanging the design by adding basic tuner
2018-12-17 Hamed GorjiaraAutomating log reporter system
2018-12-17 Hamed GorjiaraEnriching the report description
2018-12-17 Hamed GorjiaraEdit
2018-12-17 Hamed GorjiaraPreprocess bug fix
2018-12-14 Hamed GorjiaraResolving conflicts
2018-12-14 Hamed Gorjiararemoving duplicates
2018-12-12 Hamed GorjiaraRandom Tuner
2018-12-07 Hamed GorjiaraBug fix ...
2018-12-07 Hamed GorjiaraBug fix ...
2018-12-06 <hamed@DESKTOP... Report from analyzing the tuner
2018-12-06 <hamed@DESKTOP... Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
2018-12-06 <hamed@DESKTOP... Edit
2018-12-06 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
2018-12-06 Hamed GorjiaraPreprocessing check
2018-12-06 <hamed@DESKTOP... Geometric mean line
2018-12-04 bdemskyFix knob to only ask it we will actually use knob
2018-12-01 Hamed GorjiaraBug fix:duplicated tuners in explored array
2018-12-01 Hamed Gorjiaraavoiding repetitive tuner
2018-11-27 Hamed GorjiaraLog Analyzer ...
2018-11-15 Hamed GorjiaraAdding print tuner ...
2018-10-31 Hamed Gorjiaraedit
2018-10-31 bdemskyfix tuner situation
2018-10-31 bdemskymemoize timeouts
2018-10-31 Hamed GorjiaraSerializing circuit encoding
2018-10-31 Hamed Gorjiaramemory bug fix
2018-10-30 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
2018-10-30 Hamed GorjiaraEdit
2018-10-30 Hamed GorjiaraBug fix
2018-10-29 Hamed GorjiaraAdding warning print in case the tuner cannot be loaded
2018-10-27 Hamed GorjiaraBug fix: deserializing the tunernumber ...
2018-10-25 Hamed Gorjiaraserializing the best tuners adding runbench.sh
2018-10-23 bdemskybug fix
2018-10-23 Hamed Gorjiarafixing the heuristic for the BinaryIndex anyvalue const...
2018-10-23 bdemskymerge
2018-10-23 bdemskyClean up merge heuristic to do what we said it did
2018-10-23 Hamed GorjiaraBug fix
2018-10-23 Hamed GorjiaraAdding the missing bug fix for the merge heuristic ...
2018-10-22 Hamed GorjiaraBug fix: Droping the log from the anyvalue heuristic...
2018-10-21 Hamed GorjiaraFixing the anyvalue heuristic for binaryIndex
2018-10-20 Hamed GorjiaraFinding the 3 best tuners after the learning process
2018-10-18 bdemskyGenerally it is good not to have redundant information...
2018-10-18 Hamed GorjiaraBug fix for tuner timeout
2018-10-18 Hamed GorjiaraBug fix: besttime for each problem
2018-10-18 Hamed GorjiaraUsing LOG instead of DEBUG
2018-10-18 Hamed GorjiaraAdoptive timeout ...
2018-10-17 Hamed GorjiaraEdit
2018-10-17 Hamed Gorjiaramaking logs more readable
2018-10-17 bdemskymake easier to read
2018-10-17 bdemskymake easier to read
2018-10-17 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home...
2018-10-17 Hamed GorjiaraUsing LOG instead of DEBUG
2018-10-17 bdemskyTuner shouldn't try to find really bad implementations
2018-10-17 bdemskybug
2018-10-17 bdemskyMerge branch 'tuner' of ssh://plrg.eecs.uci.edu/home...
2018-10-17 bdemskyedit
2018-10-17 Hamed GorjiaraMerging with Brian's commits ...
2018-10-17 Hamed GorjiaraBug fixes and print statements