47
I Use This!
High Activity

Commits : Listings

Analyzed 1 day ago. based on code collected 3 days ago.
Nov 08, 2025 — Nov 08, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
Use lifetime analysis for checking mismatching containers (#2456) More... almost 7 years ago
Verification; Verify that function call argument values meet annotations More... almost 7 years ago
Verification: Handle Cppcheck annotations __cppcheck_low__ and __cppcheck_high__ More... almost 7 years ago
Fixed #9402 (ExprEngine: && and || in condition) More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago
Verification; Check function argument values More... almost 7 years ago
manual; add chapter about verification More... almost 7 years ago
test/verify/itc.py: minor tweaks More... almost 7 years ago
Verification; Avoid FP for known values More... almost 7 years ago
Verification; Detect errors after bailout More... almost 7 years ago
Donate CPU client test scripts: Use Python from shebang More... almost 7 years ago
wxwidgets.cfg: Fixed typo from previous commit. More... almost 7 years ago
wxwidget.cfg: Added support for more interfaces. More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago
createrelease: update da...@home More... almost 7 years ago
donate_cpu_lib.py: Enable library detection as planned after 1.90 release More... almost 7 years ago
donate-cpu-server.py: Set OLD_VERSION to 1.90 More... almost 7 years ago
Added OSS-fuzz badge More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces More... almost 7 years ago
Makefile: Set debug mode More... almost 7 years ago
Moved function from .h to .cpp More... almost 7 years ago
1.90: Makefile More... almost 7 years ago
Set version More... almost 7 years ago
Updated AUTHORS More... almost 7 years ago
Update Copyright year More... almost 7 years ago
wxwidgets.cfg: Added support for more interfaces. More... almost 7 years ago