Markus Himmel 3a22035dad feat: IntX.abs (#7131) ... This PR adds `IntX.abs` functions. These are specified by `BitVec.abs`, so they map `IntX.minValue` to `IntX.minValue`, similar to Rust's `i8::abs`. In the future we might also have versions which take values in `UIntX` and/or `Nat`.		2025-02-18 13:16:30 +00:00
..
lean.h	feat: IntX.abs (#7131)	2025-02-18 13:16:30 +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