prepare for smtml switch to bitvectors

Open redianthus opened this issue 8 months ago • 2 comments

cc @filipeom

Apr 23 '25 18:04 redianthus

@zapashcanon Can you rebase this? I can't solve the conflicts because I don't want understand what was changed recently, sorry :sweat_smile:

Apr 30 '25 10:04 filipeom

@filipeom done! :) (you can remove the commit that promote broken tests and simply regenerate it if it becomes too annoying)

Apr 30 '25 10:04 redianthus

I'll review this once more to check if everything is ok. But probably good to go once https://github.com/ocaml/opam-repository/pull/27861 is accepted.

May 07 '25 19:05 filipeom

Ah, so I think the blocker now is https://github.com/ocaml/opam-repository/pull/27852. So we have to wait a little longer

May 08 '25 21:05 filipeom

I think this is good to go, I can't quite understand why the debian CI is not passing tho

May 15 '25 08:05 filipeom

Great! Thanks for all the work. I'll investigate the CI issue later, I don't want to let this one becoming stale.

May 15 '25 11:05 redianthus