Age | Commit message (Collapse) | 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 | |