PSharp icon indicating copy to clipboard operation
PSharp copied to clipboard

Support compiler/language services in .NET Core builds

Open pdeligia opened this issue 6 years ago • 0 comments

The rewriter/compiler (from the high level P# syntax to the C# library version), as well as the language services and static analysis projects in general, are not ported yet to .NET Core. This is because some APIs (related to msbuild) are missing in .NET Core, but should be available probably in the next release.

We should investigate (temporary) replacements for these APIs, or wait for them to become available, depending on how soon we need to support the language services.

pdeligia avatar Aug 24 '18 12:08 pdeligia