• 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
..
why3session.xml Loading commit data...
why3shapes.gz Loading commit data...