Age | Commit message (Expand) | Author |
---|---|---|
2024-05-31 | fix off-by-one with overlap checking | Jakob Kaivo |
2024-05-31 | add support for marking "dangerous" memory access | Jakob Kaivo |
2024-05-29 | apply GCC_SSE_HACK more uniformly | Jakob Kaivo |
2024-02-02 | first cut of tracking previous return values with ftell()/fseek() as POC | Jakob Kaivo |
2024-02-02 | use UNDEFINED() instead of directly calling __undefined() | Jakob Kaivo |
2024-02-02 | add UNDEFINED() macro | Jakob Kaivo |
2024-01-31 | git rid of __check_* in favor of CHECK_* | Jakob Kaivo |
2024-01-31 | clean up UB detection | Jakob Kaivo |
2024-01-31 | add dedicated undefined behavior handler, simplify most checks | Jakob Kaivo |
2024-01-31 | implement ASSERT_NOOVERLAP() | Jakob Kaivo |
2024-01-31 | make tweaks to work with 1:1 checked functions | Jakob Kaivo |
2024-01-30 | add macros for 1:1 checked functions | Jakob Kaivo |
2024-01-30 | update standards and safety checks | Jakob Kaivo |
2024-01-08 | add macro to assert signal-safety of library functions | Jakob Kaivo |