Can we get a formal 1.0 release please

[rod-chapman]

Following work on allowing the bv2nat stuff earlier, could we get an official release of Dolmen that incorporates that so it can be included in the SMTComp PR approval process please? Many thanks.

[Gbury]

Sure ! I might a bit too busy this week because of the deadline for the SMT workshop, but I'll try and make a release as soon as possible.

[rod-chapman]

Any news?

[Gbury]

Apologies, I've been swamped these last few weeks (both with work and other personal things).

My plan is now to try and cut a 0.10 release using the current master branch (which includes the bv2nat stuff, as well as other minor fixes) hopefully this week, and wait until I've finished work on printers/exporting to cut a 1.0 release, if that works for you.

[rod-chapman]

that will be fine. thanks.

[rod-chapman]

Any news of a 0.10 or a 1.0 release?

[Gbury]

Version 0.10 has just been released !
Release page : https://github.com/Gbury/dolmen/releases/tag/v0.10
Again, apologies for the delay.

[rod-chapman]

Thanks!