Skip to content

Issues: project-everest/vale

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

15 Open 25 Closed
15 Open 25 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Rust codegen support?
#58 opened Oct 31, 2023 by tarcieri
2
Issue using with latest F*
#57 opened Apr 9, 2023 by obicons
1
Errors when running test files on Linux
#56 opened Apr 8, 2023 by mohitWrangler
2
If Then Else expressions do not carry guard information into body
#55 opened Nov 4, 2022 by Daniel-Cumming
Why was the leakage analysis code removed from master?
#49 opened Jun 16, 2021 by ntauth
Vale/Dafny does not generate invocation to the callee procedure if callee is defined after the caller function
#44 opened Jan 22, 2020 by superymk
There was a problem when running make in the top-level directory
#43 opened Dec 4, 2019 by hz1490919302
Any plan to release Vale with the latest Dafny?
#42 opened Nov 20, 2019 by superymk
1
How to count implementation lines written in Vale?
#41 opened Nov 2, 2019 by zpzigi
2
Better "See also" targeting
#36 opened Mar 8, 2019 by parno
Detecting unnecessary reads/modifies entries
#35 opened Mar 6, 2019 by parno
implement -h, -help and --help
#34 opened Mar 1, 2019 by msprotz
Importing types from F* into Vale
#30 opened Dec 13, 2018 by Chris-Hawblitzel
Spurious use of Sleep?
#8 opened Oct 25, 2017 by msprotz
1
Build script fails to execute Kremlin.native
#2 opened Apr 27, 2017 by fefrei
2
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.