Gbury / dolmen

Dolmen provides a library and a binary to parse, typecheck, and evaluate languages used in automated deduction
BSD 2-Clause "Simplified" License
80 stars 17 forks source link

Can we get a formal 1.0 release please #213

Open rod-chapman opened 6 months ago

rod-chapman commented 6 months ago

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 commented 6 months ago

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 commented 6 months ago

Any news?

Gbury commented 6 months ago

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 commented 6 months ago

that will be fine. thanks.

rod-chapman commented 5 months ago

Any news of a 0.10 or a 1.0 release?

Gbury commented 5 months ago

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 commented 5 months ago

Thanks!