projects / satune.git / summary
? search:
summary | shortlog | log | commit | commitdiff | tree

 
descriptionSATune Repository
ownerBrian Demsky
last changeFri, 22 Nov 2019 02:52:43 +0000 (18:52 -0800)
URLgit://plrg.ics.uci.edu/satune.git
ssh://plrg.ics.uci.edu/home/git/satune.git
shortlog
2019-11-22 Hamed GorjiaraBug fix: typos master commit | commitdiff | tree | snapshot
2019-11-22 Hamed GorjiaraBug fix: consider the cases when the tuner gets timeout commit | commitdiff | tree | snapshot
2019-11-20 Hamed GorjiaraTurning on the ENCODINGGRAPH optimization for ORDERINTE... commit | commitdiff | tree | snapshot
2019-11-19 Hamed GorjiaraTimeout for running benchmarks commit | commitdiff | tree | snapshot
2019-11-19 Hamed Gorjiarausing vartunable instead of tunable commit | commitdiff | tree | snapshot
2019-11-19 Hamed GorjiaraTuner bug fix: Setting default for 2 used tuners commit | commitdiff | tree | snapshot
2019-11-18 Hamed GorjiaraGenerating SMT tables commit | commitdiff | tree | snapshot
2019-11-13 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu... commit | commitdiff | tree | snapshot
2019-11-13 Hamed GorjiaraBug fix for return value in runbench script commit | commitdiff | tree | snapshot
2019-11-13 Hamed GorjiaraDecreasing the memory limit. Problem still exists in... commit | commitdiff | tree | snapshot
2019-11-13 Hamed GorjiaraOnly run learningset test cases commit | commitdiff | tree | snapshot
2019-11-13 Hamed GorjiaraLimit on memory not data commit | commitdiff | tree | snapshot
2019-11-13 Hamed GorjiaraAdding memory limit for the learning process commit | commitdiff | tree | snapshot
2019-11-07 bdemskyDon't reencode expressions that are already encoded commit | commitdiff | tree | snapshot
2019-10-31 Hamed GorjiaraMerge branch 'incremental' of ssh://plrg.ics.uci.edu... commit | commitdiff | tree | snapshot
2019-10-31 Hamed GorjiaraAdding API for AtMostOneConstraint + bugfix for turning... commit | commitdiff | tree | snapshot
...
heads
3 years ago incremental shortlog | log | tree
5 years ago master shortlog | log | tree
SATune Repository