Activity · Stefan Gränitz / Frama Clang · GitLab

Snippets Groups Projects

2 years ago

Virgile Prevosto @virgile

pushed to branch cxx14-generic-lambda at Stefan Gränitz / Frama Clang

dd6de596 · [ir2cabs] tiny refactoring (use List.fold_left instead of manual li...
... and 69 more commits. Compare 00dac18b...dd6de596

2 years ago

Virgile Prevosto @virgile

pushed to branch clang-tidy-modernize-use-override at Stefan Gränitz / Frama Clang

c4664fdd · [Makefile] put -Wsuggested-override in Makefile
... and 66 more commits. Compare b2ce8880...c4664fdd

2 years ago

Virgile Prevosto @virgile

pushed to branch cmd-line-args-fix at Stefan Gränitz / Frama Clang

085737ce · [doc] remove reference to unimplemented options in user manual
... and 64 more commits. Compare a69bd30b...085737ce

2 years ago

Virgile Prevosto @virgile

pushed to branch wip-frama-c-2564 at Stefan Gränitz / Frama Clang

a7d772c9 · [clang2ir] Fix function name for retarded definitions
... and 60 more commits. Compare c65114a3...a7d772c9

2 years ago

Virgile Prevosto @virgile

pushed to branch forward-rvalue-ref at Stefan Gränitz / Frama Clang

67a52f9d · [libc++] Fix std::forward for r-value references
... and 54 more commits. Compare 81b966b3...67a52f9d