diff options
| author | Marc Poulhiès <dkm@kataplop.net> | 2023-03-17 19:01:39 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-03-17 19:01:39 +0100 |
| commit | f0cabb1675b7abcf5319371d98b1a3de2428c40a (patch) | |
| tree | 88ce5f3a6b356cd45bdff0f358339f2cdf87e863 /lib/compilers/win32-mingw-clang.ts | |
| parent | 289e9fd241af9a09820e4d98b16804eca3599a12 (diff) | |
| download | compiler-explorer-f0cabb1675b7abcf5319371d98b1a3de2428c40a.tar.gz compiler-explorer-f0cabb1675b7abcf5319371d98b1a3de2428c40a.zip | |
Support for CompCert (#4878)gh-6903
Add support for CompCert (https://github.com/AbsInt/CompCert) from
AbsInt.
As a first step, only x86 and x86_64 are supported.
fixes #595
Signed-off-by: Marc Poulhiès <dkm@kataplop.net>
Diffstat (limited to 'lib/compilers/win32-mingw-clang.ts')
0 files changed, 0 insertions, 0 deletions