search

xr0-org / xr0

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

initializers #41

Closed claude-betz closed 3 days ago

claude-betz commented 5 months ago

Implement initializers and add coverage.

int c = 4;
claude-betz commented 2 months ago

This change implements scalar initialisers. We will prioritise and track full implementation of intializers later.