Sebastian Ullrich 3f09741fb9 chore: revert "fix: do not compile with -fwrapv" (#12125) ... We are seeing (non-deterministically?) some ubsan reports from implicit casting to `int`: https://github.com/leanprover/lean4/actions/runs/21290374536/job/61282105493?pr=12082 Reverts leanprover/lean4#12098		2026-01-23 17:39:52 +00:00
..
lean.h	chore: revert "fix: do not compile with -fwrapv" (#12125)	2026-01-23 17:39:52 +00:00
lean_gmp.h	fix: do not dllexport symbols in core static libraries (#3601)	2024-03-15 11:58:34 +00:00
lean_libuv.h	feat: link LibUV (#4963)	2024-08-12 12:33:24 +00:00