• 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
..
Makefile Loading commit data...
gcd_BinaryGcd_gcd_even_odd_2.v Loading commit data...
gcd_WP_EuclideanAlgorithm_WP_parameter_gcd_1.v Loading commit data...
index.html Loading commit data...
jsmain.ml Loading commit data...
main.ml Loading commit data...
why3session.xml Loading commit data...
why3shapes.gz Loading commit data...