Fabian Hauser

SQLite Output

1

This Pull Request implements a `sqlite` output. It basically creates the tables according to the scheme, and additionally: * extracts `milestones` into a `milestones` table * extracts `labels` into a...

In projects I'm currently working on, [Sphinx is often configured to use recommonmark](https://www.sphinx-doc.org/en/master/usage/markdown.html). It would be great to be able to create diagrams in Markdown, too. This pull request implements...

To add the `flake8` git hook, the command [requires the VCS-name as argument](https://flake8.pycqa.org/en/latest/user/using-hooks.html#built-in-hook-integration) (at least, that's the case in newer versions).

Remove Version pin to Dafny 2.3.0

6

As part of #66 , @kailingP added 2d7fc93b80137cc431f93eb812165a878a28fed3 which pins the downloaded Dafny version to 2.3.0. This should be reverted as soon as Dafny 3.0.0 is stable.

If a user changes the settings, the server should be reloaded with the new settings. Currently, this is not the case (see [server.ts](https://github.com/DafnyVSCode/Dafny-VSCode/blob/develop/server/src/server.ts#L172)).

Image attachments from relative path

1

It would be nice if images could be attached by simply including them (as a relative path) in the markdown file. (e.g. for the open\HSR logo) - https://code.activestate.com/recipes/473810-send-an-html-email-with-embedded-image-and-plain-t/