Another news that may have flown under the radar for some… SPARKlib added support for trees back in late November. You can see the commit and code here: Add functional trees to SPARKlib · AdaCore/SPARKlib@a7d8ec3 · GitHub
Best regards,
Fer
Are there plans to make it available with alire?
We’re also working on the formal tree containers too!
SPARKlib is already bundled with GNATprove, which is available in Alire. Though I would like to eventually get it into its own create which will improve usability.
1 Like
Yes, gnatprove is a heavy dependency (around 1Gb as I remember). And some may want to use spark libs without writing themself spark code. A separate crate would be nice.