search

xr0-org / xr0

The Xr0 Verifier for C
https://xr0.dev
Apache License 2.0
173 stars 4 forks source link

Setup tester to run against multiple machines and C compilers #39

Open claude-betz opened 5 months ago

claude-betz commented 5 months ago

We need improved confidence that changes we make to Xr0 are compatible with various machines and C compilers.