Actions: AbsInt/CompCert
Actions
91 workflow runs
91 workflow runs
singleline_comment consumes a newline => lexing must con…
Build
#138:
Commit a3f52d4
pushed
by
xavierleroy
-MD and -MMD to the preprocessor
Build
#135:
Commit 76f7fea
pushed
by
xavierleroy
cc instead of gcc as the default prepro/asm/linker
Build
#132:
Commit e364d6f
pushed
by
xavierleroy