47
I Use This!
High Activity

Commits : Listings

Analyzed about 2 hours ago. based on code collected about 18 hours ago.
Nov 10, 2025 — Nov 10, 2026
Commit Message Contributor Files Modified Lines Added Lines Removed Code Location Date
ExprEngine: Add FP and String literals in determining that condition can (#2969) More... almost 6 years ago
Fixed compiler error More... almost 6 years ago
astyle formatting More... almost 6 years ago
ExprEngine; Wrap z3 interface that is not the same in different z3 versions More... almost 6 years ago
fix debug printing of valuetype name with namespaces (#2968) More... almost 6 years ago
TestExprEngine: Fix for ubuntu 18.04. Replace '(/ 123.0 10.0)' with '12.3' More... almost 6 years ago
Fix #10043 unexpected designator (#2966) More... almost 6 years ago
ExprEngine; Fix floating point comparison More... almost 6 years ago
ExprEngine: Add workarounds for z3 bugs with FP comparisson (#2965) More... almost 6 years ago
Checking in fix for issue 9957 - - False negative: duplInheritedMember (#2964) More... almost 6 years ago
wxsvg: Added missing args More... almost 6 years ago
Added wxSVG configuration More... almost 6 years ago
Visual Studio; Try to fix compilation More... almost 6 years ago
Summaries: Moved to its own files More... almost 6 years ago
ExprEngine: Added ifIntRangeAlwaysFalse and ifIntRangeAlwaysTrue tests More... almost 6 years ago
Revert "ExprEngine: Fixed float value" More... almost 6 years ago
Revert "ExprEngine; Try to fix assertion failure for floats" More... almost 6 years ago
ExprEngine; Try to fix assertion failure for floats More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
ExprEngine: Fixed float value More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
ExprEngine; refactoring if() More... almost 6 years ago
Summaries: Enhanced merge of noreturn info More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago
wxwidgets.cfg: Added support for more interfaces, found by da...@home More... almost 6 years ago