-
Notifications
You must be signed in to change notification settings - Fork 257
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.
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
Simplify using Dafny as a library #2084
Comments
I think we will publish I suggest we publish |
👍. Also, we should refactor DafnyDriver, DafnyServer, and DafnyLanguageServer so that they all use a shared interface from DafnyPipeline. |
Currently, to use Dafny as a software library, one needs to use
DafnyPipeline.csproj
and then replicate most of the code in https://github.com/dafny-lang/dafny/blob/master/Source/DafnyDriver/DafnyDriver.cs in order verify a program.Dafny's CLI project,
DafnyDriver.csproj
is not published as a library (i.e.,<OutoutType>Library</OutputType>
). Furthermore, only theMain
methods in DafnyDriver.cs are exposed withpublic
, so one would need to pass an arguments string if it were available as a library in its current state.The text was updated successfully, but these errors were encountered: