| 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 |
