• Johannes Kanig's avatar
    replace prover spawning by connection to why3server · 69b8ed31
    Johannes Kanig authored
    * previous implementations of call_on_file and call_on_buffer are
      removed, and now directly use the prove_file_server function
    * now, both blocking and nonblocking reading is supported on the socket
    * wait_on_call and query_call are implemented by blocking and
      nonblocking read, together with a result buffer, if results for other
      prover runs are returned
    * logging of the server is now optional
    69b8ed31
Name
Last commit
Last update
..
coq-tactic Loading commit data...
core Loading commit data...
driver Loading commit data...
ide Loading commit data...
jessie Loading commit data...
mlw Loading commit data...
parser Loading commit data...
printer 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...
whyml Loading commit data...
config.sh.in Loading commit data...