Bug fix: consider the cases when the tuner gets timeout2019-11-22T02:51:04ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-22T02:51:04Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=cb7331d3834636ca4af0357d272d082c047ec940
Bug fix: consider the cases when the tuner gets timeout
Turning on the ENCODINGGRAPH optimization for ORDERINTEGERENCODING2019-11-20T23:15:36ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-20T23:15:36Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=48d6d13304d821220f063f05683d977160826177
Turning on the ENCODINGGRAPH optimization for ORDERINTEGERENCODING
using vartunable instead of tunable2019-11-19T09:30:09ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-19T09:30:09Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=5e6790171845a6c78f86cea3247249d46304b89a
Bug fix for return value in runbench script2019-11-13T20:49:05ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-13T20:49:05Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=e2e8dfaeeff6c45ae1cb3a4f4fd198d30017a8e6
Decreasing the memory limit. Problem still exists in our servers2019-11-13T20:40:05ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-13T20:40:05Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=bed906ecffc73c896ce7b2834cc77cd5b7826ef1
Decreasing the memory limit. Problem still exists in our servers
Only run learningset test cases2019-11-13T09:19:01ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-13T09:19:01Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=a55cc4ad768337570d1aba4fe73cc95ffc0a474c
Limit on memory not data2019-11-13T01:12:04ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-13T01:12:04Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=d483537108b69a82887604f7bad1987e0096f263
Adding memory limit for the learning process2019-11-13T00:58:06ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-11-13T00:58:06Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=54cfecfdc8897c1e0ca88e6a74dcf6abcf68ad45
Don't reencode expressions that are already encoded2019-11-07T23:21:32Zbdemskybdemsky@uci.edubdemskybdemsky@uci.edu2019-11-07T23:21:32Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=b4cf68cef113d8e869586f2447a2e49ba91dbf3c
Don't reencode expressions that are already encoded
Adding API for AtMostOneConstraint + bugfix for turning off the optimizations2019-10-31T20:14:31ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-10-31T20:14:31Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=3c33c8ed7c4600da543b2a82bcffd5aca86f0eb9
Adding API for AtMostOneConstraint + bugfix for turning off the optimizations
BUGFIX: change runbench script when the SAT Solver crashes2019-10-22T23:35:24ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-10-22T23:35:24Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=8b6e2584186a0f9bfd7b9678d99e92e2ea1a5584
BUGFIX: change runbench script when the SAT Solver crashes
BUGFIX: when ONE or TWO tuner cannot solve a problem2019-10-22T20:57:45ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-10-22T20:57:45Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=8ae6061f7eae5614e9f8bf1ccd9ad80bef9cd768
BUGFIX: when ONE or TWO tuner cannot solve a problem
two best tuner instead of three2019-10-18T04:24:41ZHamed Gorjiarahgorjiar@uci.eduHamed Gorjiarahgorjiar@uci.edu2019-10-18T04:24:41Zhttp://plrg.eecs.uci.edu/git/?p=satune.git;a=commitdiff;h=cdcabb2c8acaa7b997f82b7ba80649b6f9288777