projects / satune.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
satune.git
2019-01-25 Hamed GorjiaraAdding support for ElementFunction commit | commitdiff | tree | snapshot
2019-01-23 Hamed GorjiaraAdding Support for BooleanVar commit | commitdiff | tree | snapshot
2019-01-23 Hamed GorjiaraBug Fix: defining the scope of integer for Alloy commit | commitdiff | tree | snapshot
2019-01-22 Hamed GorjiaraInitializing the ElementSig Value commit | commitdiff | tree | snapshot
2019-01-22 Hamed GorjiaraAlloy interpreter commit | commitdiff | tree | snapshot
2019-01-04 Hamed GorjiaraAdding Simulated Annealing Tuner ... commit | commitdiff | tree | snapshot
2018-12-20 Hamed GorjiaraBreaking Multituner into comptuner and kmeanstuner commit | commitdiff | tree | snapshot
2018-12-19 Hamed GorjiaraChanging the design by adding basic tuner commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraAutomating log reporter system commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraEnriching the report description commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraEdit commit | commitdiff | tree | snapshot
2018-12-17 Hamed GorjiaraPreprocess bug fix commit | commitdiff | tree | snapshot
2018-12-14 Hamed GorjiaraResolving conflicts commit | commitdiff | tree | snapshot
2018-12-14 Hamed Gorjiararemoving duplicates commit | commitdiff | tree | snapshot
2018-12-12 Hamed GorjiaraRandom Tuner commit | commitdiff | tree | snapshot
2018-12-07 Hamed GorjiaraBug fix ... commit | commitdiff | tree | snapshot
2018-12-07 Hamed GorjiaraBug fix ... commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Report from analyzing the tuner commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Merge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Edit commit | commitdiff | tree | snapshot
2018-12-06 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-12-06 Hamed GorjiaraPreprocessing check commit | commitdiff | tree | snapshot
2018-12-06 <hamed@DESKTOP... Geometric mean line commit | commitdiff | tree | snapshot
2018-12-04 bdemskyFix knob to only ask it we will actually use knob commit | commitdiff | tree | snapshot
2018-12-01 Hamed GorjiaraBug fix:duplicated tuners in explored array commit | commitdiff | tree | snapshot
2018-12-01 Hamed Gorjiaraavoiding repetitive tuner commit | commitdiff | tree | snapshot
2018-11-27 Hamed GorjiaraLog Analyzer ... commit | commitdiff | tree | snapshot
2018-11-15 Hamed GorjiaraAdding print tuner ... commit | commitdiff | tree | snapshot
2018-10-31 Hamed Gorjiaraedit commit | commitdiff | tree | snapshot
2018-10-31 bdemskyfix tuner situation commit | commitdiff | tree | snapshot
2018-10-31 bdemskymemoize timeouts commit | commitdiff | tree | snapshot
2018-10-31 Hamed GorjiaraSerializing circuit encoding commit | commitdiff | tree | snapshot
2018-10-31 Hamed Gorjiaramemory bug fix commit | commitdiff | tree | snapshot
2018-10-30 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-10-30 Hamed GorjiaraEdit commit | commitdiff | tree | snapshot
2018-10-30 Hamed GorjiaraBug fix commit | commitdiff | tree | snapshot
2018-10-29 Hamed GorjiaraAdding warning print in case the tuner cannot be loaded commit | commitdiff | tree | snapshot
2018-10-27 Hamed GorjiaraBug fix: deserializing the tunernumber ... commit | commitdiff | tree | snapshot
2018-10-25 Hamed Gorjiaraserializing the best tuners adding runbench.sh commit | commitdiff | tree | snapshot
2018-10-23 bdemskybug fix commit | commitdiff | tree | snapshot
2018-10-23 Hamed Gorjiarafixing the heuristic for the BinaryIndex anyvalue const... commit | commitdiff | tree | snapshot
2018-10-23 bdemskymerge commit | commitdiff | tree | snapshot
2018-10-23 bdemskyClean up merge heuristic to do what we said it did commit | commitdiff | tree | snapshot
2018-10-23 Hamed GorjiaraBug fix commit | commitdiff | tree | snapshot
2018-10-23 Hamed GorjiaraAdding the missing bug fix for the merge heuristic ... commit | commitdiff | tree | snapshot
2018-10-22 Hamed GorjiaraBug fix: Droping the log from the anyvalue heuristic... commit | commitdiff | tree | snapshot
2018-10-21 Hamed GorjiaraFixing the anyvalue heuristic for binaryIndex commit | commitdiff | tree | snapshot
2018-10-20 Hamed GorjiaraFinding the 3 best tuners after the learning process commit | commitdiff | tree | snapshot
2018-10-20 Hamed GorjiaraMonitoring the deserializerun commit | commitdiff | tree | snapshot
2018-10-20 Hamed GorjiaraScript for monitoring the tuner ... commit | commitdiff | tree | snapshot
2018-10-18 bdemskyGenerally it is good not to have redundant information... commit | commitdiff | tree | snapshot
2018-10-18 Hamed GorjiaraBug fix for tuner timeout commit | commitdiff | tree | snapshot
2018-10-18 Hamed GorjiaraBug fix: besttime for each problem commit | commitdiff | tree | snapshot
2018-10-18 Hamed GorjiaraUsing LOG instead of DEBUG commit | commitdiff | tree | snapshot
2018-10-18 Hamed GorjiaraAdding a new server to deploy.sh commit | commitdiff | tree | snapshot
2018-10-18 Hamed GorjiaraAdoptive timeout ... commit | commitdiff | tree | snapshot
2018-10-17 Hamed GorjiaraEdit commit | commitdiff | tree | snapshot
2018-10-17 Hamed Gorjiaramaking logs more readable commit | commitdiff | tree | snapshot
2018-10-17 bdemskymake easier to read commit | commitdiff | tree | snapshot
2018-10-17 bdemskymake easier to read commit | commitdiff | tree | snapshot
2018-10-17 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-10-17 Hamed GorjiaraUsing LOG instead of DEBUG commit | commitdiff | tree | snapshot
2018-10-17 bdemskyTuner shouldn't try to find really bad implementations commit | commitdiff | tree | snapshot
2018-10-17 bdemskybug commit | commitdiff | tree | snapshot
2018-10-17 bdemskyMerge branch 'tuner' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-10-17 bdemskyedit commit | commitdiff | tree | snapshot
2018-10-17 Hamed GorjiaraMerging with Brian's commits ... commit | commitdiff | tree | snapshot
2018-10-17 Hamed GorjiaraBug fixes and print statements commit | commitdiff | tree | snapshot
2018-10-17 bdemskybug fixes commit | commitdiff | tree | snapshot
2018-10-17 bdemskyadd print statement of progress commit | commitdiff | tree | snapshot
2018-10-17 bdemskyAdd file to run parser commit | commitdiff | tree | snapshot
2018-10-17 bdemskyparse code commit | commitdiff | tree | snapshot
2018-10-17 bdemskyadd more data for loading information back commit | commitdiff | tree | snapshot
2018-10-17 bdemskySave all data generated by autotuner pass commit | commitdiff | tree | snapshot
2018-10-17 bdemskyAdd more code to dump results commit | commitdiff | tree | snapshot
2018-10-17 bdemskySome edits... commit | commitdiff | tree | snapshot
2018-10-16 Hamed GorjiaraMerge branch 'tuner' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-10-16 Hamed GorjiaraAdding the new tunable to the print function commit | commitdiff | tree | snapshot
2018-10-16 bdemskyFix result file commit | commitdiff | tree | snapshot
2018-10-16 bdemskyfix up serialization a bit more commit | commitdiff | tree | snapshot
2018-10-15 bdemskyFix tuner issues commit | commitdiff | tree | snapshot
2018-10-15 bdemskybug fix commit | commitdiff | tree | snapshot
2018-10-15 bdemskyAdd file to generate tuner files and fix tunable usage commit | commitdiff | tree | snapshot
2018-10-13 bdemskymore code commit | commitdiff | tree | snapshot
2018-10-13 bdemskyAdd competition tuner test file commit | commitdiff | tree | snapshot
2018-10-13 bdemskyfix tabbing commit | commitdiff | tree | snapshot
2018-10-13 Hamed GorjiaraBoolean Variable Ordering optimizations commit | commitdiff | tree | snapshot
2018-10-13 bdemskyedits commit | commitdiff | tree | snapshot
2018-10-12 bdemskyedits commit | commitdiff | tree | snapshot
2018-10-12 bdemskyedits commit | commitdiff | tree | snapshot
2018-10-12 bdemskyedits commit | commitdiff | tree | snapshot
2018-10-12 bdemskymore edits commit | commitdiff | tree | snapshot
2018-10-12 bdemskytabbing commit | commitdiff | tree | snapshot
2018-10-12 bdemskyAdd tuner components commit | commitdiff | tree | snapshot
2018-10-12 bdemskyAdd tuner components commit | commitdiff | tree | snapshot
2018-10-11 bdemskyAdd binary commit | commitdiff | tree | snapshot
2018-10-11 bdemskyMove static tuner into its own class commit | commitdiff | tree | snapshot
2018-10-04 Hamed GorjiaraBug fix for serializing Boolean Const ... commit | commitdiff | tree | snapshot
2018-10-04 Hamed GorjiaraParser for the tuner's log file commit | commitdiff | tree | snapshot
2018-10-04 Hamed GorjiaraAdding a directed search based config for the tuner commit | commitdiff | tree | snapshot
next
SATune Repository