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