projects / satune.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Bug fix: typos
[satune.git] / src / Scripts / runbench.sh
2019-11-19 Hamed GorjiaraTimeout for running benchmarks commit | commitdiff
2019-11-13 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu... commit | commitdiff
2019-11-13 Hamed GorjiaraBug fix for return value in runbench script commit | commitdiff
2019-11-13 Hamed GorjiaraOnly run learningset test cases commit | commitdiff
2019-10-31 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu... commit | commitdiff
2019-10-22 Hamed GorjiaraBUGFIX: change runbench script when the SAT Solver... commit | commitdiff
2019-10-18 Hamed GorjiaraFixing runbench script commit | commitdiff
2019-09-05 Hamed GorjiaraMerging + fixing memory bugs commit | commitdiff
2019-07-03 Hamed GorjiaraScripts needed for automation of learning process ... commit | commitdiff
SATune Repository