• Sylvain Dailler's avatar
    Add %t/%m for timelimit/memlimit in strategy definitions · bf3b9624
    Sylvain Dailler authored
    This allows a strategy to call provers with the default timelimit/memlimit
    parameter.
    Example: "c CVC4,1.5 %t %m"
    
    Remove set_session_timelimit/memlimit from server_utils: put them in
    controller_itp so that they directly edit the configuration of the
    controller.
    Edit parser of strategies to allow %t and %m.
    bf3b9624
Name
Last commit
Last update
..
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
isabelle-client Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer Loading commit data...
server Loading commit data...
session Loading commit data...
tools Loading commit data...
transform Loading commit data...
trywhy3 Loading commit data...
util Loading commit data...
why3doc Loading commit data...
why3session Loading commit data...
config.sh.in Loading commit data...