projects / satune.git / search
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Dump Inceremental SMT + Using Real logic instead of Int
2019-08-28 bdemskyAdd file to read in constraints from Dirk
 commit | commitdiff | tree
2019-08-26 bdemskyfix tabbing
 commit | commitdiff | tree
2019-08-26 bdemskybug fix
 commit | commitdiff | tree
2019-03-28 bdemskyUnary encoding of predicates
 commit | commitdiff | tree
2019-03-26 bdemskytabbing more tuners
 commit | commitdiff | tree
2019-03-26 bdemskyMerge branch 'sparseOrderOpt' of ssh://plrg.eecs.uci...
commit | commitdiff | tree
2019-03-26 bdemskyAdd order benchmark.
 commit | commitdiff | tree
2019-03-21 bdemskysparse or decompose
 commit | commitdiff | tree
2019-03-20 bdemskybug fix
 commit | commitdiff | tree
2019-03-19 bdemskySupport for pruning unused order elements
 commit | commitdiff | tree
2019-03-19 bdemskyencapsulate order fields
 commit | commitdiff | tree
2019-03-19 bdemskyFix tabbing
 commit | commitdiff | tree
2019-03-18 bdemskybug fix
 commit | commitdiff | tree
2018-12-04 bdemskyFix knob to only ask it we will actually use knob
 commit | commitdiff | tree
2018-10-31 bdemskyfix tuner situation
 commit | commitdiff | tree
2018-10-31 bdemskymemoize timeouts
 commit | commitdiff | tree
2018-10-23 bdemskybug fix
 commit | commitdiff | tree
2018-10-23 bdemskymerge
 commit | commitdiff | tree
2018-10-23 bdemskyClean up merge heuristic to do what we said it did
 commit | commitdiff | tree
2018-10-18 bdemskyGenerally it is good not to have redundant information...
commit | commitdiff | tree
2018-10-17 bdemskymake easier to read
 commit | commitdiff | tree
2018-10-17 bdemskymake easier to read
 commit | commitdiff | tree
2018-10-17 bdemskyTuner shouldn't try to find really bad implementations
 commit | commitdiff | tree
2018-10-17 bdemskybug
 commit | commitdiff | tree
2018-10-17 bdemskyMerge branch 'tuner' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2018-10-17 bdemskyedit
 commit | commitdiff | tree
2018-10-17 bdemskybug fixes
 commit | commitdiff | tree
2018-10-17 bdemskyadd print statement of progress
 commit | commitdiff | tree
2018-10-17 bdemskyAdd file to run parser
 commit | commitdiff | tree
2018-10-17 bdemskyparse code
 commit | commitdiff | tree
2018-10-17 bdemskyadd more data for loading information back
 commit | commitdiff | tree
2018-10-17 bdemskySave all data generated by autotuner pass
 commit | commitdiff | tree
2018-10-17 bdemskyAdd more code to dump results
 commit | commitdiff | tree
2018-10-17 bdemskySome edits...
 commit | commitdiff | tree
2018-10-16 bdemskyFix result file
 commit | commitdiff | tree
2018-10-16 bdemskyfix up serialization a bit more
 commit | commitdiff | tree
2018-10-15 bdemskyFix tuner issues
 commit | commitdiff | tree
2018-10-15 bdemskybug fix
 commit | commitdiff | tree
2018-10-15 bdemskyAdd file to generate tuner files and fix tunable usage
 commit | commitdiff | tree
2018-10-13 bdemskymore code
 commit | commitdiff | tree
2018-10-13 bdemskyAdd competition tuner test file
 commit | commitdiff | tree
2018-10-13 bdemskyfix tabbing
 commit | commitdiff | tree
2018-10-13 bdemskyedits
 commit | commitdiff | tree
2018-10-12 bdemskyedits
 commit | commitdiff | tree
2018-10-12 bdemskyedits
 commit | commitdiff | tree
2018-10-12 bdemskyedits
 commit | commitdiff | tree
2018-10-12 bdemskymore edits
 commit | commitdiff | tree
2018-10-12 bdemskytabbing
 commit | commitdiff | tree
2018-10-12 bdemskyAdd tuner components
 commit | commitdiff | tree
2018-10-12 bdemskyAdd tuner components
 commit | commitdiff | tree
2018-10-11 bdemskyAdd binary
 commit | commitdiff | tree
2018-10-11 bdemskyMove static tuner into its own class
 commit | commitdiff | tree
2018-10-02 bdemskyFix tabbing
 commit | commitdiff | tree
2018-10-02 bdemskyTurn off print statements
 commit | commitdiff | tree
2018-10-02 bdemskyFix g++ option
 commit | commitdiff | tree
2018-10-02 bdemskyPerformance improvement
 commit | commitdiff | tree
2018-09-21 Brian DemskyBug fix in condition to set CIRCUIT encoding
 commit | commitdiff | tree
2018-09-21 bdemskyMerge branch 'scratch' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2018-09-20 bdemskybug fix
 commit | commitdiff | tree
2018-08-17 bdemskyFix tabbing
 commit | commitdiff | tree
2018-08-17 bdemskybug fix
 commit | commitdiff | tree
2018-08-17 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2018-08-17 bdemskyrevert Hamed's changes to encoding graph
 commit | commitdiff | tree
2018-08-02 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2018-08-02 bdemskyBug was introduced in proxy variable changes
 commit | commitdiff | tree
2018-08-02 bdemskyfix print bug
 commit | commitdiff | tree
2018-08-02 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2018-08-02 bdemskybug fix
 commit | commitdiff | tree
2018-07-27 bdemskymake range closer to what we'd expect
 commit | commitdiff | tree
2018-07-24 bdemskyedits
 commit | commitdiff | tree
2018-07-24 bdemskyremove redundant constraint
 commit | commitdiff | tree
2018-07-24 bdemskyadd element optimization pass
 commit | commitdiff | tree
2018-07-24 bdemskyremove redundant sets
 commit | commitdiff | tree
2018-07-24 Brian Demskyfix sigs
 commit | commitdiff | tree
2018-07-24 bdemskyedits
 commit | commitdiff | tree
2018-07-24 bdemskymore code
 commit | commitdiff | tree
2018-07-23 bdemskyremove redundant domains
 commit | commitdiff | tree
2018-07-23 bdemskyadd new class
 commit | commitdiff | tree
2018-07-20 bdemskybug fixes
 commit | commitdiff | tree
2018-07-19 bdemskyedit
 commit | commitdiff | tree
2018-07-18 bdemskyMerge branch 'hamed' of ssh://plrg.eecs.uci.edu/home...
commit | commitdiff | tree
2018-07-18 bdemskyedit
 commit | commitdiff | tree
2018-07-18 bdemskyedits
 commit | commitdiff | tree
2018-01-19 Brian DemskyImprove libc support
 commit | commitdiff | tree
2018-01-14 Brian DemskyUse smarter splitting heuristic
 commit | commitdiff | tree
2018-01-14 bdemskyEdits
 commit | commitdiff | tree
2018-01-11 bdemskyBug fixes
 commit | commitdiff | tree
2018-01-10 Brian DemskyRuns
 commit | commitdiff | tree
2018-01-08 Brian Demskyedits
 commit | commitdiff | tree
2018-01-06 Brian DemskyReduce unnecessary vector alloc/free
 commit | commitdiff | tree
2018-01-05 Brian DemskyBug fixes
 commit | commitdiff | tree
2017-12-31 Brian Demskybug fixes
 commit | commitdiff | tree
2017-11-02 bdemskybug fix
 commit | commitdiff | tree
2017-10-24 bdemskyAdd timing statements
 commit | commitdiff | tree
2017-10-24 bdemskyMy changes
 commit | commitdiff | tree
2017-10-24 bdemskySwitch default
 commit | commitdiff | tree
2017-10-24 bdemskyfix some warnings
 commit | commitdiff | tree
2017-10-24 bdemskyAutotuner test case
 commit | commitdiff | tree
2017-10-24 bdemskyImprove hash function to fix collision problem
 commit | commitdiff | tree
2017-10-24 bdemskyAdd new test cases plus buffer serialization code
 commit | commitdiff | tree
next
SATune Repository