search

imandra-ai / imandra-vscode

VSCode extension for developing imandra
Other
2 stars 0 forks source link

Upstream PRs to merlin #2

Closed ewenmaclean closed 6 years ago

ewenmaclean commented 6 years ago

In order to make this plugin work we need the following upstream PR to merlin

Fix the EOF error for ocamlmerlin single

Add command line argument to associate reader with a suffix.