• 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
bench Loading commit data...
bin Loading commit data...
doc Loading commit data...
drivers Loading commit data...
examples Loading commit data...
lib Loading commit data...
misc Loading commit data...
modules Loading commit data...
opam Loading commit data...
plugins Loading commit data...
share Loading commit data...
src Loading commit data...
tests Loading commit data...
theories Loading commit data...
.gitattributes Loading commit data...
.gitignore Loading commit data...
.merlin.in Loading commit data...
AUTHORS Loading commit data...
CHANGES Loading commit data...
DEVELOPER.readme Loading commit data...
INSTALL Loading commit data...
LICENSE Loading commit data...
Makefile.in Loading commit data...
OCAML-LICENSE Loading commit data...
README Loading commit data...
ROADMAP Loading commit data...
TODO Loading commit data...
Version Loading commit data...
check.sh Loading commit data...
configure.in Loading commit data...