Use logs in `Adt_rel` - Githubissues

OCamlPro / alt-ergo

OCamlPro public development repository for Alt-Ergo

https://alt-ergo.ocamlpro.com/

Other

130 stars 33 forks source link

Use logs in `Adt_rel` #1207

Closed Halbaroth closed 3 weeks ago

Halbaroth commented 1 month ago

This PR is rebased on #1204 and #1206

Halbaroth commented 3 weeks ago

Actually I already rebased it and I expected that github will skip empty commit. I rebased it again to be sure but now the CI is dead :D (it is not our fault).