xr0-org/xr0
View on GitHub ↗ ★ 209 C
The Xr0 Verifier for C
3 mentions on Hacker News by 1 person: 0 stories, 3 comments · first 2024-04-05 · latest 2024-04-05
20082026
-
…branch [0], and there are still some issues we're resolving on this, hopefully by next week. [0]: https://github.com/xr0-org/xr0/tree/fix/nested-branching
comment by akiarie · 2024-04-05 · in Xr0: C but Safe -
…try using `&&`, ternaries, and so on. We've put a fix in for this on a dev branch for now though: https://github.com/xr0-org/xr0/issues/43
comment by akiarie · 2024-04-05 · in Xr0: C but Safe -
Good spot. We hadn't enabled `else` last week when we posted, but we've just fixed this [0]. [0] https://github.com/xr0-org/xr0/releases/tag/v0.15.0
comment by akiarie · 2024-04-05 · in Xr0: C but Safe