Bernhard Schommer

Generate JSON Compilation Database

11

## Desired Behavior [JSON Compilation Databases ](https://clang.llvm.org/docs/JSONCompilationDatabase.html) are currently widely used for C/C++ tooling and in general the format is general enough that one could image using it also for...

Compcert Repo

2

Since the [official repository](https://github.com/AbsInt/CompCert) of compcert is now also on github it would be nice if your repository would also be a fork of the official repository. This make the...