jasmin Initial support for RISC-V 32 I M

Initial support for RISC-V 32 I M

Open clebreto opened this issue 1 year ago • 7 comments

Fixes #698 and #503 and #783.

Apr 08 '24 08:04 clebreto

Yet another CI failure due to opam: https://gitlab.com/jasmin-lang/jasmin/-/jobs/6667779612.

Apr 19 '24 14:04 eponier

Are we ready to start reviewing this branch ?

May 13 '24 07:05 bgregoir

Are we ready to start reviewing this branch ?

Almost, more testing should be incorporated beforehand.

Let's hope we can make it by the end of the month.

May 13 '24 07:05 clebreto

Is it ready for review ?

Jun 03 '24 05:06 bgregoir

Still being polished

Jun 03 '24 15:06 eponier

It seems that the PR is ready, isn't it ?

Sep 16 '24 09:09 bgregoir

It seems that the PR is ready, isn't it ?

We lack a proof in lowering.

Sep 16 '24 09:09 clebreto

Did we still have work to do before merging? Or we can resolve conflict and merge?

Dec 11 '24 06:12 bgregoir

My comments above still need to be addressed.

Dec 11 '24 06:12 vbgl

Can I squash all these commits into a single one?

Fine with me.

Jan 13 '25 13:01 clebreto

This needs a bit of work to adapt to current main… I’m on it.

Jan 13 '25 13:01 vbgl