• Andrei Paskevich's avatar
    examples: reconstruct sessions · 0f9ded38
    Andrei Paskevich authored
    still problematic:
    
      tests-provers/div
      tests-provers/div_real
      check-builtin/int
      bts/fsetint
      logic/bitvectors
      logic/einstein
      logic/genealogy
      bitvectors/power2
      bellman_ford
      knuth_prime_numbers
      vstte12_combinators
      hoare_logic/blocking_semantics5
    
    known issues:
    - Timeout is not always recognized
    - why3 tactic does not work: ENOENT on connect()
    - temporary output files are created in the curdir
    - temporary output files are sometimes not erased
    - socket file is created in the curdir
    0f9ded38
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...