projects / satune.git / shortlog
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
satune.git
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
2018-08-02 Hamed GorjiaraRefactoring ... commit | commitdiff | tree | snapshot
2018-08-02 Hamed Gorjiararevealing a new bug commit | commitdiff | tree | snapshot
2018-08-01 Hamed GorjiaraMerge branch 'hamed' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-08-01 Hamed GorjiaraAdding a python API for mustHaveValue abstraction commit | commitdiff | tree | snapshot
2018-07-27 bdemskymake range closer to what we'd expect commit | commitdiff | tree | snapshot
2018-07-27 Hamed Gorjiarachecking the the variable isn't constant in generating... commit | commitdiff | tree | snapshot
2018-07-27 Hamed GorjiaraNow the Tuner decides about creating proxy variables commit | commitdiff | tree | snapshot
2018-07-26 Hamed GorjiaraWarning message when value of element is undefined... commit | commitdiff | tree | snapshot
2018-07-24 bdemskyedits commit | commitdiff | tree | snapshot
2018-07-24 bdemskyremove redundant constraint commit | commitdiff | tree | snapshot
2018-07-24 bdemskyadd element optimization pass commit | commitdiff | tree | snapshot
2018-07-24 bdemskyremove redundant sets commit | commitdiff | tree | snapshot
2018-07-24 Brian Demskyfix sigs commit | commitdiff | tree | snapshot
2018-07-24 bdemskyedits commit | commitdiff | tree | snapshot
2018-07-24 bdemskymore code commit | commitdiff | tree | snapshot
2018-07-23 bdemskyremove redundant domains commit | commitdiff | tree | snapshot
2018-07-23 bdemskyadd new class commit | commitdiff | tree | snapshot
2018-07-20 bdemskybug fixes commit | commitdiff | tree | snapshot
2018-07-19 Hamed GorjiaraMerge branch 'hamed' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-07-19 Hamed Gorjiaraedit commit | commitdiff | tree | snapshot
2018-07-19 Hamed GorjiaraRevert "Having the benchmarks as a new repo" commit | commitdiff | tree | snapshot
2018-07-19 bdemskyedit commit | commitdiff | tree | snapshot
2018-07-19 Hamed GorjiaraHaving the benchmarks as a new repo commit | commitdiff | tree | snapshot
2018-07-18 Hamed GorjiaraBug fix for polarity assignment commit | commitdiff | tree | snapshot
2018-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-07-18 bdemskyedit commit | commitdiff | tree | snapshot
2018-07-18 Hamed Gorjiaraedit commit | commitdiff | tree | snapshot
2018-07-18 Hamed GorjiaraMerge branch 'hamed' of ssh://demsky.eecs.uci.edu/home... commit | commitdiff | tree | snapshot
2018-07-18 bdemskyedits commit | commitdiff | tree | snapshot
2018-05-09 Hamed GorjiaraRemoving extra constraints for the unary encoding commit | commitdiff | tree | snapshot
2018-05-08 Hamed Gorjiaramaking the qsort deterministic for BooleanEdge commit | commitdiff | tree | snapshot
next
SATune Repository