Age | Commit message (Expand) | Author |
---|---|---|
2024-01-31 | add dedicated undefined behavior handler, simplify most checks | Jakob Kaivo |
2024-01-31 | make tweaks to work with 1:1 checked functions | Jakob Kaivo |
2024-01-30 | update standards and safety checks | Jakob Kaivo |
2023-11-27 | add framework for marking function call location in diagnostics | Jakob Kaivo |