Skip to content

36 unsound behaviour in recursive function - #37

Open
The-Ray-Man wants to merge 5 commits into
mainfrom
36-unsound-behaviour-in-recursive-function
Open

36 unsound behaviour in recursive function#37
The-Ray-Man wants to merge 5 commits into
mainfrom
36-unsound-behaviour-in-recursive-function

resolved unsoundness bug

7ad773b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
regression tests
succeeded Oct 30, 2026 in 41s