Tags: RustanLeino/dafny
Tags
Resolve ambiguity in `export least predicate` (dafny-lang#3291) Fixes dafny-lang#3288 <small>By submitting this pull request, I confirm that my contribution is made under the terms of the [MIT license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small> Co-authored-by: davidcok <davidcok@github.com>
Release process fixes (dafny-lang#2403) * Fix documentation of pushing tag for release * Echo version numbers in release workflow * Add get-version to dependencies of release * Only create tag for prereleases
feat: Allow users to plug in custom compilers (dafny-lang#1894) * docs: Replace reference to `php` with entry for Python * compiler: Refactor to use new plugin infrastructure
PreviousNext