Issues

• Rust codegen support?

  project-everest/vale#58 · Filter by author tarcieri opened on Oct 31, 2023
  2

• Issue using with latest F*

  project-everest/vale#57 · Filter by author obicons opened on Apr 9, 2023
  1

• Errors when running test files on Linux

  project-everest/vale#56 · Filter by author mohitWrangler opened on Apr 8, 2023
  2

• If Then Else expressions do not carry guard information into body

  project-everest/vale#55 · Filter by author Daniel-Cumming opened on Nov 4, 2022

• Why was the leakage analysis code removed from master?

  project-everest/vale#49 · Filter by author ntauth opened on Jun 16, 2021

• Vale/Dafny does not generate invocation to the callee procedure if callee is defined after the caller function

  project-everest/vale#44 · Filter by author superymk opened on Jan 22, 2020

• There was a problem when running make in the top-level directory

  project-everest/vale#43 · Filter by author hz1490919302 opened on Dec 4, 2019

• Any plan to release Vale with the latest Dafny?

  project-everest/vale#42 · Filter by author superymk opened on Nov 20, 2019
  1

• How to count implementation lines written in Vale?

  project-everest/vale#41 · Filter by author zpzigi opened on Nov 2, 2019
  2

• Better "See also" targeting

  project-everest/vale#36 · Filter by author parno opened on Mar 8, 2019

• Detecting unnecessary reads/modifies entries

  project-everest/vale#35 · Filter by author parno opened on Mar 6, 2019

• implement -h, -help and --help

  project-everest/vale#34 · Filter by author msprotz opened on Mar 1, 2019

• Importing types from F* into Vale

  project-everest/vale#30 · Filter by author Chris-Hawblitzel opened on Dec 13, 2018

• Spurious use of Sleep?

  project-everest/vale#8 · Filter by author msprotz opened on Oct 25, 2017
  1

• Build script fails to execute Kremlin.native

  project-everest/vale#2 · Filter by author fefrei opened on Apr 27, 2017
  2