Search results

Rust codegen support?

Status: Open.

#58 In project-everest/vale;

· tarcieri opened on Oct 31, 2023

Issue using with latest F*

Status: Open.

#57 In project-everest/vale;

· obicons opened on Apr 9, 2023

Errors when running test files on Linux

Status: Open.

#56 In project-everest/vale;

· mohitWrangler opened on Apr 8, 2023

If Then Else expressions do not carry guard information into body

Status: Open.

#55 In project-everest/vale;

· Daniel-Cumming opened on Nov 4, 2022

Why was the leakage analysis code removed from master?

Status: Open.

#49 In project-everest/vale;

· ntauth opened on Jun 16, 2021

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

Status: Open.

#44 In project-everest/vale;

· superymk opened on Jan 22, 2020

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

Status: Open.

#43 In project-everest/vale;

· hz1490919302 opened on Dec 4, 2019

Any plan to release Vale with the latest Dafny?

Status: Open.

#42 In project-everest/vale;

· superymk opened on Nov 20, 2019

How to count implementation lines written in Vale?

Status: Open.

#41 In project-everest/vale;

· zpzigi opened on Nov 2, 2019

Better "See also" targeting

Status: Open.

#36 In project-everest/vale;

· parno opened on Mar 8, 2019

Detecting unnecessary reads/modifies entries

Status: Open.

#35 In project-everest/vale;

· parno opened on Mar 6, 2019

implement -h, -help and --help

Status: Open.

#34 In project-everest/vale;

· msprotz opened on Mar 1, 2019