projects / satune.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
satune.git
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
2018-10-03 Hamed GorjiaraBug fix for mustHaveValue tuning parameter commit | commitdiff | tree | snapshot
2018-10-03 Hamed GorjiaraAdding the learning script commit | commitdiff | tree | snapshot
2018-10-02 Hamed GorjiaraMerge scratch with master branch commit | commitdiff | tree | snapshot
2018-10-02 Hamed GorjiaraCorrecting the autotuner timeout commit | commitdiff | tree | snapshot
2018-10-02 bdemskyFix tabbing commit | commitdiff | tree | snapshot
2018-10-02 bdemskyTurn off print statements commit | commitdiff | tree | snapshot
2018-10-02 bdemskyFix g++ option commit | commitdiff | tree | snapshot
2018-10-02 bdemskyPerformance improvement commit | commitdiff | tree | snapshot
2018-09-29 Hamed Gorjiara1)Making naiveencoder and encoding graph use tuner... commit | commitdiff | tree | snapshot
2018-09-24 Hamed GorjiaraMerging with branch scratch and cleaning the code commit | commitdiff | tree | snapshot
2018-09-22 Hamed GorjiaraBug fix in merge heuristic commit | commitdiff | tree | snapshot
2018-09-21 Brian DemskyBug fix in condition to set CIRCUIT encoding commit | commitdiff | tree | snapshot
2018-09-21 bdemskyMerge branch 'scratch' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-09-21 Hamed GorjiaraCommiting my local changes ... commit | commitdiff | tree | snapshot
2018-09-20 bdemskybug fix commit | commitdiff | tree | snapshot
2018-09-13 Hamed GorjiaraAdding a variable for counting the number of clauses commit | commitdiff | tree | snapshot
2018-09-12 Hamed GorjiaraRefactoring ... commit | commitdiff | tree | snapshot
2018-09-12 Hamed GorjiaraBug fix for the tuner: missing mustHaveValue constraints commit | commitdiff | tree | snapshot
2018-09-07 Hamed GorjiaraFixing the memory bug commit | commitdiff | tree | snapshot
2018-09-06 Hamed Gorjiarabug fix for deploy script commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraAdding assertions, info logs, and validation functions... commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraBug fix: overflow in compiler automatic static casting commit | commitdiff | tree | snapshot
2018-09-06 Hamed GorjiaraBug fix in encoding subgraph DFS algorithm commit | commitdiff | tree | snapshot
2018-08-27 Hamed Gorjiaraafter merge (mostly tabbing issues) commit | commitdiff | tree | snapshot
2018-08-17 bdemskyFix tabbing commit | commitdiff | tree | snapshot
2018-08-17 bdemskybug fix commit | commitdiff | tree | snapshot
2018-08-17 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-08-17 bdemskyrevert Hamed's changes to encoding graph commit | commitdiff | tree | snapshot
2018-08-17 Hamed GorjiaraSaving the best tuner settings + bug fixes commit | commitdiff | tree | snapshot
2018-08-15 Hamed GorjiaraDeploy script ... commit | commitdiff | tree | snapshot
2018-08-13 Hamed GorjiaraCleaning up the unnecessary warnings commit | commitdiff | tree | snapshot
2018-08-05 Hamed GorjiaraBug fix commit | commitdiff | tree | snapshot
2018-08-03 Hamed GorjiaraAdding clone API in pycsolver ... commit | commitdiff | tree | snapshot
2018-08-02 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-08-02 bdemskyBug was introduced in proxy variable changes commit | commitdiff | tree | snapshot
2018-08-02 Hamed GorjiaraMerge branch 'hamed' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-08-02 Hamed GorjiaraBug fix for printing ... commit | commitdiff | tree | snapshot
2018-08-02 bdemskyfix print bug commit | commitdiff | tree | snapshot
2018-08-02 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-08-02 bdemskybug fix commit | commitdiff | tree | snapshot
next
SATune Repository