Age | Commit message (Expand) | Author |
---|---|---|
2023-11-21 | spec: Validate C interfaces | Sebastian Huber |
2023-05-19 | Update company name | Sebastian Huber |
2023-05-08 | spec: Add constraint to C interfaces | Sebastian Huber |
2021-09-16 | spec: Use external references for interfaces | Sebastian Huber |
2021-09-03 | spec: Specify some C library functions | Sebastian Huber |