Open Hub
Open Hub

 Settings |  Report Duplicate

1
I Use This!
Moderate Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected 1 day ago.
Oct 02, 2025 — Oct 02, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Merge pull request #598 from AbsInt/signed-switch
Xavier Leroy
More... 4 days ago
Ignore unknown pragmas during lexing (#597)
Xavier Leroy
More... 4 days ago
Keep `Events.meminj_preserve_globals` for backward compatibility
Xavier Leroy
More... 9 days ago
Switch compilation: select dense switches based on a signed interpretation of the keys
Xavier Leroy
More... 14 days ago
Switch validator: less strict validation of jump tables
Xavier Leroy
More... 14 days ago
Merge pull request #596 from AbsInt/big-memcpy-fixes
Xavier Leroy
More... 16 days ago
Introduce and use Senv.inject, Genv.inject, Val.inject_ptr_flat (#593)
Xavier Leroy
More... 19 days ago
`__builtin_memcpy_aligned`: clamp the alignment to at most 8
Xavier Leroy
More... 20 days ago
Update the test suite with a test for __builtin_memcpy_aligned
Xavier Leroy
More... 21 days ago
PowerPC `__builtin_memcpy`: handle the case `sz` >= 2^30
Xavier Leroy
More... 21 days ago
ARM `__builtin_memcpy`: handle the case `sz` >= 2^30
Xavier Leroy
More... 21 days ago
RISC-V `__builtin_memcpy`: handle the case `sz` >= 2^32 * chunksize
Xavier Leroy
More... 21 days ago
AArch64 `__builtin_memcpy`: handle the case `sz` >= 2^36
Xavier Leroy
More... 21 days ago
Updates for release 3.18
Xavier Leroy
More... 21 days ago
Update CompCert version to match latest release
Michael Schmidt
More... about 1 month ago
Changelog rewording
Xavier Leroy
More... about 1 month ago
Rocq warnings: address the new warning names introduced by Rocq Stdlib 9.2
Xavier Leroy
More... about 1 month ago
Merge pull request #592 from AbsInt/free-inject
Xavier Leroy
More... about 1 month ago
Change entry for #592
Xavier Leroy
More... about 1 month ago
Merge pull request #595 from AbsInt/x86_64-jmptbl
Xavier Leroy
More... about 1 month ago
Change entry for #595
Xavier Leroy
More... about 1 month ago
Changes updates for 3.18
Xavier Leroy
More... about 1 month ago
RISC-V 64 `Pbtbl`: assert that the jump table contains less than 2^31 elements
Xavier Leroy
More... about 1 month ago
Add non-regression test for the x86-64 `Pjmptbl` issue.
Xavier Leroy
More... about 1 month ago
x86_64 `__builtin_memcpy`: use `rep movsb` for large blocks
Xavier Leroy
More... about 1 month ago
x86_64 `__builtin_memcpy`: handle the case `sz` >= 2^34
Xavier Leroy
More... about 1 month ago
lib/Camlcoq: export Z.{shl,shr,logand,logor,logxor}
Xavier Leroy
More... about 1 month ago
x86-64 `Pjmptbl`: normalize the argument before indexing into the jump table
Xavier Leroy
More... about 1 month ago
configure: add "rocq" synonyms for "coq" options
Xavier Leroy
More... about 2 months ago
CI golf: run `latest` and `oldest` on PRs; use `latest` Docker image again
Xavier Leroy
More... about 2 months ago