C

CompCert

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 24 hours ago. based on code collected about 24 hours ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 17, 2024 — Nov 17, 2025 Showing page 1 of 109 Search / Filter on:
cparser/ErrorReports.ml: remove the use of the deprecated library [MenhirLib.General] and of the deprecated function `stack` in Menhir's incremental API. (#562)	François Pottier	More...				28 days ago
macOS ARM: silence the 'redefining builtin macro' preprocessor warning	Xavier Leroy	More...				about 1 month ago
RISC-V: Favor the use of integer registers x10 to x15	Xavier Leroy	More...				about 1 month ago
RISC-V: remove `-march` option passed to the assembler and preprocessor	Xavier Leroy	More...				about 1 month ago
RISC-V: add missing `Osel` case for PrintOp	Xavier Leroy	More...				2 months ago
Small fixes for unknown-warning-option.	Bernhard Schommer	More...				2 months ago
Update documentation of Coq sources for 3.16	Xavier Leroy	More...				3 months ago
Updates for release 3.16	Xavier Leroy	More...				3 months ago
Add `-z nobtcfi` linker option if needed and supported	Xavier Leroy	More...				3 months ago
Test clightgen at most once	Xavier Leroy	More...				3 months ago
x86 ELF: avoid putting constants in .text section	Xavier Leroy	More...				3 months ago
Update man-page for new warning class `unknown-warning-option` and `dollar-in-identifier-extension`, typos.	Michael Schmidt	More...				3 months ago
Update man-page for `-fpic`, `-fpie`, and `-fshared` options.	Michael Schmidt	More...				3 months ago
Mention `-MD` and `-MMD` as passed through to the preprocessor in man-page	Michael Schmidt	More...				3 months ago
Update Changelog	Xavier Leroy	More...				3 months ago
Update test suite	Xavier Leroy	More...				3 months ago
Merge pull request #551 from AbsInt/PIC	Xavier Leroy	More...				3 months ago
Revised handling of unknown warnings (#554)	Xavier Leroy	More...				3 months ago
bug 39368, add clarification	Michael Schmidt	More...				4 months ago
bug 39368, one also needs to check for a direct match of the field name of anonymous structs	Michael Schmidt	More...				4 months ago
bug 39368, fix member recursion for anonymous structs in init-zipper	Michael Schmidt	More...				4 months ago
bug 39251, `singleline_comment` consumes a newline => lexing must continue with `initial_linebegin`	Michael Schmidt	More...				5 months ago
Pass options `-MD` and `-MMD` to the preprocessor	Xavier Leroy	More...				5 months ago
Cosmetic: when printing the configuration, protect against spaces in paths	Xavier Leroy	More...				6 months ago
BSD targets: use `cc` instead of `gcc` as the default prepro/asm/linker	Xavier Leroy	More...				6 months ago
BSD targets: use `cc` instead of `gcc` as the default prepro/asm/linker	Xavier Leroy	More...				6 months ago
In compcert.ini, use a relative path for `stdlib` if possible	Xavier Leroy	More...				6 months ago
In compcert.ini, use a relative path for `stdlib` if possible	Xavier Leroy	More...				6 months ago
RISC-V: use PC-relative addressing instead of absolute addressing (#550)	Xavier Leroy	More...				6 months ago
ELF targets: avoid putting jump tables in .text section	Xavier Leroy	More...				6 months ago

←
1
2
3
4
5
6
7
8
9
…
108
109
→