I believe the Goblint project had similar issues, in their case it was caused by weak tables failing to clear unused elements in some cases (typically when hash collisions are common). It is likely that Why3 also uses weak tables or ephemerons, so it could be the same issue.
Related topics
| Topic | Replies | Views | Activity | |
|---|---|---|---|---|
| OCaml 5 GC. Releasing memory back to the OS | 17 | 2893 | February 11, 2023 | |
| OCaml 5.3.0 released | 20 | 2926 | February 23, 2025 | |
| Janestreet OCaml compiler extensions | 19 | 2174 | August 10, 2024 | |
| No more memory leaks after linux kernel version and settings update (!?) | 5 | 491 | February 13, 2025 | |
| OCaml 5.1.0 released | 11 | 3257 | September 18, 2023 |