dolmen Can we get a formal 1.0 release please

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.

Apr 29 '24 09:04 rod-chapman

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.

Apr 29 '24 12:04 Gbury

Any news?

May 20 '24 13:05 rod-chapman

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.

May 22 '24 16:05 Gbury

that will be fine. thanks.

May 22 '24 16:05 rod-chapman

Any news of a 0.10 or a 1.0 release?

Jun 12 '24 18:06 rod-chapman

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

Jun 17 '24 14:06 Gbury

Thanks!

Jun 17 '24 15:06 rod-chapman