Actions: AbsInt/CompCert
Actions
87 workflow runs
87 workflow runs
-z nobtcfi linker option if needed and supported
Build
#153:
Commit d5dcac4
pushed
by
xavierleroy
unknown-warning-option and `d…
Build
#146:
Commit 1373cbd
pushed
by
m-schmidt
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