copilot-swe-agent[bot] a9ba041a2b Fix netcoreapp2.0 references in FindDotnet.cmake, CMakeLists.txt, and mk_util.py ... Agent-Logs-Url: https://github.com/Z3Prover/z3/sessions/2df6876c-cffb-44a2-8f4a-02e7e175886f Co-authored-by: NikolajBjorner <3085284+NikolajBjorner@users.noreply.github.com>		2026-05-14 07:26:56 +00:00
..
DotnetImports.props.in	incrementally adding files from dotnet core pull request from @yatli	2019-01-20 10:40:11 -08:00
FindDotnet.cmake	Fix netcoreapp2.0 references in FindDotnet.cmake, CMakeLists.txt, and mk_util.py	2026-05-14 07:26:56 +00:00
FindGMP.cmake	clean up CMake code (#5182)	2021-04-14 10:29:15 -07:00
FindOCaml.cmake	WIP: Migrating OCaml binding to CMake (#7254)	2025-04-19 13:41:27 -07:00