search

p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

Tools simple language service #448

Closed TedHartMS closed 5 years ago

TedHartMS commented 5 years ago

Add simple language service that parses the entire file as P#:

pdeligia commented 5 years ago

Thanks @TedHartMS! CI fails for 5 language services tests. Could you please have a look why these fail from the PR changes?

pdeligia commented 5 years ago

Passes CI now, thanks @TedHartMS!