search

rems-project / sail

Sail architecture definition language
Other
563 stars 92 forks source link

New release? #569

Open Timmmm opened 3 weeks ago

Timmmm commented 3 weeks ago

Might be nice to do a new release now there are version checking flags and we can do a binary tarball.

bacam commented 3 weeks ago

We should check that the main models come out well on most back-ends first - I'm just fixing an issue that's affecting Coq output for RISC-V that might affect other back-ends too, for example.

Alasdair commented 3 weeks ago

Yes, I think we should do a new release soon. I have some improvements to the documentation generation that I'd like to get out.