Minimal imperative programming language implemented in Dafny with references, concurrency and a linear type system with verified absence of data races.
Primary LanguageMakefileISC LicenseISC
No issues in this repository yet.