|
Safe API Framework 0.1.0 build 384e6ae
Layered API framework for safety-related applications (ERTMS RBC reference targeting CENELEC EN 50128 SIL 4)
|
Types module is a thin wrapper over C11's <stdint.h>. Provides fixed-width integer types guaranteed by C standard: uint8_t, int32_t, etc. No implementation - just type definitions and static assertions.
Verified by framework at compile-time via _Static_assert.
✓ Rule 6.1 - Fixed-width types only ✓ Rule 7.2 - Proper signedness ✓ Rule 8.3 - Type compatible