C

CompCert

Settings | Report Duplicate

1

I Use This!

Moderate Activity

Commits : Listings

Analyzed about 5 hours ago. based on code collected 1 day ago.

Commit Message	Contributor	Files Modified	Lines Added	Lines Removed	Code Location	Date
Jul 13, 2025 — Jul 13, 2026 Showing page 1 of 111 Search / Filter on:
Asm printing: quote command-line arguments when needed, continued	Xavier Leroy	More...				3 days ago
Asm printing: quote command-line arguments when needed (#586)	Xavier Leroy	More...				8 days ago
Merge pull request #585 from AbsInt/no-bitfield-align	Xavier Leroy	More...				8 days ago
Do not change alignment for packed bit-fields	Bernhard Schommer	More...				8 days ago
Reject `aligned` attribute on bit fields in struct types	Xavier Leroy	More...				11 days ago
Update test suite	Xavier Leroy	More...				12 days ago
Elab: thread environment through `elab_initializer`	Michael Schmidt	More...				20 days ago
Add missing `Proof.` commands	Xavier Leroy	More...				29 days ago
x86 / Win64 ABI: fix inconsistency on callee-save XMM registers (#584)	Xavier Leroy	More...				30 days ago
Aarch64: shorten function preludes by using pre-indexed store-pair instructions (#583)	Xavier Leroy	More...				about 1 month ago
Update README	Xavier Leroy	More...				about 2 months ago
Compiler: remove useless `clear H`	Xavier Leroy	More...				2 months ago
ValueDomain: use counted "for" loops instead of recursive Function	Xavier Leroy	More...				2 months ago
Iteration: add counted "for" loops	Xavier Leroy	More...				2 months ago
Iteration: don't use axioms	Xavier Leroy	More...				2 months ago
Cshmgen: fixed the formatting of documentation comments	Xavier Leroy	More...				3 months ago
Update test suite	Xavier Leroy	More...				3 months ago
Define `Ctypes.align_blockcopy` in terms of `Archi.align_{float64,int64}`	Xavier Leroy	More...				3 months ago
Merge pull request #581 from AbsInt/global_alignment	Xavier Leroy	More...				3 months ago
Github actions: update the checkout action	Xavier Leroy	More...				3 months ago
Define `Memdata.align_chunk` in terms of `Archi.align_{float64,int64}`	Xavier Leroy	More...				3 months ago
Coqlib: add hints to prove divisibility properties `(a \| b)`	Xavier Leroy	More...				3 months ago
Use `Memdata.min_safe_alignment` in memory injections	Xavier Leroy	More...				3 months ago
Mem.loadv, Mem.storev: check for overflow in address computation	Xavier Leroy	More...				3 months ago
AArch64 asm clobbers: recognize more register names (#576)	Xavier Leroy	More...				3 months ago
Basic support for building multiple target architectures in parallel	Xavier Leroy	More...				3 months ago
Clean up configure file	Xavier Leroy	More...				3 months ago
Enforce minimal safe alignment on global variables	Xavier Leroy	More...				3 months ago
Camlcoq: export Z.min, Z.max	Xavier Leroy	More...				3 months ago
Introduce and use `Memdata.min_safe_alignment`	Xavier Leroy	More...				3 months ago

←
1
2
3
4
5
6
7
8
9
…
110
111
→