Alire on Ada Class Library https://adacl.sourceforge.net/tags/alire/ Recent content in Alire on Ada Class Library Hugo en-gb krischik@users.sourceforge.net (Martin Krischik) krischik@users.sourceforge.net (Martin Krischik) Tue, 14 Jul 2026 14:00:00 +0100 How to Set Up Unit Tests and SPARK Proofs https://adacl.sourceforge.net/setup-prove_and_test/ Tue, 14 Jul 2026 14:00:00 +0100krischik@users.sourceforge.net (Martin Krischik) https://adacl.sourceforge.net/setup-prove_and_test/ Learn how to structure an Ada/Alire project with multiple test and proof configurations, integrate them with Alire actions, and set up a convenient Visual Studio Code workspace.