C

CompCert

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

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

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 22, 2024 — Jul 22, 2025 Showing page 19 of 108 Search / Filter on:
Include typedef name in error message (#228)	Bernhard Schommer	More...				over 5 years ago
Update the RISC-V calling conventions, continued (#227)	Xavier Leroy	More...				over 5 years ago
Define the semantics of `free(NULL)`, continued	Xavier Leroy	More...				over 5 years ago
Define the semantics of `free(NULL)` (#226)	Xavier Leroy	More...				over 5 years ago
Weaker ec_readonly condition over external calls (#225)	Xavier Leroy	More...				over 5 years ago
Documentation comment for single_passed_as_single	Xavier Leroy	More...				over 5 years ago
In strict PPC ABI mode, pass single FP on stack in double FP format	Xavier Leroy	More...				over 5 years ago
Define IRC.class_of_type for types Tany32, Tany64	Xavier Leroy	More...				over 5 years ago
Update the RISC-V calling conventions (#221)	Xavier Leroy	More...				over 5 years ago
The type of a wide char constant is wchar_t. (#223)	Bernhard Schommer	More...				over 5 years ago
Make single arg alignment depend on toolchain.	Bernhard Schommer	More...				over 5 years ago
Platform-independent implementation of Conventions.size_arguments (#222)	Xavier Leroy	More...				over 5 years ago
AArch64: normalize function return values of small integer type	Xavier Leroy	More...				over 5 years ago
More precise determination of small data accesses (#220)	Bernhard Schommer	More...				over 5 years ago
Cosmetic: in OCaml code, write "open! Module" instead of "open !Module"	Xavier Leroy	More...				over 5 years ago
Add interoperability test for functions returning small integer types	Xavier Leroy	More...				over 5 years ago
Support re-normalization of values returned by function calls	Xavier Leroy	More...				over 5 years ago
Refine the type of function results in AST.signature	Xavier Leroy	More...				over 5 years ago
Support vertical tabs and treat them as whitespace (#218)	Bernhard Schommer	More...				over 5 years ago
Take the sign into account for int to ptr cast.	Bernhard Schommer	More...				over 5 years ago
Compatibility with OCaml 4.10 (#214)	Xavier Leroy	More...				over 5 years ago
Added base address if needed.	Bernhard Schommer	More...				over 5 years ago
Revised menhirLib autoconfiguration (#331)	Xavier Leroy	More...				over 5 years ago
Support Coq 8.11.0 (#212)	Xavier Leroy	More...				over 5 years ago
Incorrect computation of extra stack size for vararg calls in RISC-V (#213)	Bernhard Schommer	More...				over 5 years ago
Reduce the checking time for the "decidable_equality_from" tactic	xavier.leroy	More...				over 5 years ago
Remove __builtin_nop from list of x86 builtins.	Bernhard Schommer	More...				over 5 years ago
Revert "Remove `__builtin_nop` for some architectures. (#208)"	Bernhard Schommer	More...				over 5 years ago
Added error for unknown builtin functions. (#208)	Bernhard Schommer	More...				over 5 years ago
Remove `__builtin_nop` for some architectures. (#208)	Bernhard Schommer	More...				over 5 years ago

←
1
2
…
15
16
17
18
19
20
21
22
23
…
107
108
→