C

CompCert

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Nov 18, 2024 — Nov 18, 2025 Showing page 7 of 109 Search / Filter on:
Value analysis: take types of function parameters into account	Xavier Leroy	More...				over 1 year ago
Enforce well-typedness of function parameters from C#minor to RTL	Xavier Leroy	More...				over 1 year ago
Use richer types `rettype` for function arguments in function signatures	Xavier Leroy	More...				over 1 year ago
Replace `Ctypes.typelist` by `list Ctypes.type`	Xavier Leroy	More...				over 1 year ago
Merge pull request #513 from AbsInt/Mbool	Xavier Leroy	More...				over 1 year ago
PrintCminor: don't quote all local variable names, only those that need quoting	Xavier Leroy	More...				over 1 year ago
Clean up the definition of `classify_cast`	Xavier Leroy	More...				over 1 year ago
Fix expansion of volatile access with Mbool chunk	Bernhard Schommer	More...				over 1 year ago
Give "bsel" builtin the Tbool return type	Bernhard Schommer	More...				over 1 year ago
Strengthen the type preservation results in Ctyping.v w.r.t. type _Bool	Xavier Leroy	More...				over 1 year ago
Add `Tbool` case to `retttype`	Xavier Leroy	More...				over 1 year ago
Use `Mbool` chunk to access l-values of `_Bool` type	Xavier Leroy	More...				over 1 year ago
Simplify memory chunks in the Stacking pass	Xavier Leroy	More...				over 1 year ago
Add memory chunk `Mbool`	Xavier Leroy	More...				over 1 year ago
make clean: don't recurse into "test" directory	Xavier Leroy	More...				over 1 year ago
Bump version number for next release	Xavier Leroy	More...				over 1 year ago
Remove tools/xtime.ml, moved to the small test suite repo	Xavier Leroy	More...				over 1 year ago
Updates for release 3.14	Xavier Leroy	More...				over 1 year ago
Use absolute URL for test/ module	Xavier Leroy	More...				over 1 year ago
Setup test/ as a git submodule	Xavier Leroy	More...				over 1 year ago
Remove test/ directory	Xavier Leroy	More...				over 1 year ago
Update Changes, continued	Xavier Leroy	More...				over 1 year ago
Update Changes in preparation of next release	Xavier Leroy	More...				over 1 year ago
Replace one `intuition` by `intuition auto`	Xavier Leroy	More...				over 1 year ago
Use movt/movw in ARM mode too (#503)	David Monniaux	More...				over 1 year ago
Coq 8.19.1 is supported	Xavier Leroy	More...				over 1 year ago
Update MenhirLib to version 20231231	Xavier Leroy	More...				over 1 year ago
Coq 8.18.0 is supported	Xavier Leroy	More...				over 1 year ago
Address Coq 8.18 warnings	Xavier Leroy	More...				over 1 year ago
Upgrade Flocq to version 4.1.4	Xavier Leroy	More...				over 1 year ago

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