Superymk comments

Repositories
Issues
Comments

Results 1 comments of


                                            Superymk

Any plan to release Vale with the latest Dafny?

Here is my setup to build the latest Vale: (1) Ubuntu 18.04.3 LTS x64, with Python 3.6.8 (2) sudo apt install scons fsharp nuget mono-devel (3) Vale-0.3.10 source code (https://github.com/project-everest/vale/archive/v0.3.10.zip),...