• 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
..
compress.mli Loading commit data...
compress_none.ml Loading commit data...
compress_z.ml Loading commit data...
controller_itp.ml Loading commit data...
controller_itp.mli Loading commit data...
itp_communication.ml Loading commit data...
itp_communication.mli Loading commit data...
itp_server.ml Loading commit data...
itp_server.mli Loading commit data...
json_util.ml Loading commit data...
json_util.mli Loading commit data...
protocol.mli Loading commit data...
server_utils.ml Loading commit data...
server_utils.mli Loading commit data...
session_itp.ml Loading commit data...
session_itp.mli Loading commit data...
strategy.ml Loading commit data...
strategy.mli Loading commit data...
strategy_parser.mli Loading commit data...
strategy_parser.mll Loading commit data...
termcode.ml Loading commit data...
termcode.mli Loading commit data...
xml.mli Loading commit data...
xml.mll Loading commit data...