* pico_ada_c01_blink_e 1.7.0 (via `alr publish`)
* Downgrade rp2040_hal dependency to version 2.7.0
Downgrade HAL to last known working version.
* Update rp2040_hal dependency version constraint
Force downgrade.
* pico_ada_c01_blink_e update tar
* Update pico_ada_c01_blink_e-1.7.0.toml to use pico_xbsp 1.7
* pico_ada_c07_buzzer 1.7.0 (via `alr publish`)
* pico_ada_c07_buzzer-1.7.0 add ravenscar_build.gpr
* pico_ada_c07_buzzer update tar
* Fix formatting in pico_ada_c07_buzzer TOML file
To force a rebuild.
* Update pico_xbsp dependency version to 1.7
Since pico_ada_c07_buzzer-1.7.1 compiled without error I check step by step the differences.
---------
Co-authored-by: Alejandro R Mosteo <amosteo@unizar.es>
Removed build of examples: this causes a new, mysterious issue in at least one crate (LEA) using the GWindows crate.
Examples will be built in a separate crate.
Note that gwindows_contrib.gpr also has some own examples but is not exposed to that issue which is related to an extra file added for the linker.
GWindows release, 09-May-2026 [revision 635]
=========================================
629: GWindows.Clipboard: added Clipboard_HTML procedure (copy HTML fragment
to the clipboard; useful for copying more than plain texts)
626: GWindows.Common_Controls: added check box feature to List_View's
* Add ZanyBlue framework 1.4.0.
* Fix folder hierarchy.
* Fix name of ZanyBlue library crate.
* Sync also origin repo.
* Adapt bin and obj folder location to Alire requirement.
Fix typos in alire (zbinfo and zbmcompile).
* Change version for Alire as 1.4.0 is already registered.
* Suppress old 1.4.0 version.
* restore disabled 1.4.0 releases
* Restore original commit
* Restore original commit
---------
Co-authored-by: Alejandro R. Mosteo <amosteo@unizar.es>
* ZanyBlue release 1.5.0.
* Add .gitattributes with eol=lf for Ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Add .gitattributes with eol=lf for ads files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Add .gitattributes with "text=auto eol=lf" for ads, adb and ada files on Windows.
Avoid (style) incorrect line terminator [-gnatyd].
* Synchronize zbinfo and zbmcompile crates.
* Remove zbinfo and zbmcompile crates.
Only one at a time.
* Change .gitattributes back without auto.
* Avoid (style) incorrect line terminator [-gnatyd] with BUILD = "Production".
* Pi Ada Tutorial release 1.6.0
* Remove extra newline before URL in TOML file
Force rebuild by removing redundant lines at the end of the file
---------
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch>
SPARK-proved CCSDS protocol suite for Ada 2022. Covers Space Packet,
Time Code Formats (CUC / CDS), AOS Transfer Frame with FECF,
Encapsulation Packet, CFDP PDU with optional CRC, SLE identifiers,
and the shared CRC-16-CCITT-FALSE primitive. 440 SPARK Level 2 proof
obligations, all discharged, no pragma Assume, no justified checks.
Martin Krischik
Alejandro R Mosteo
Paul Jarrett
Rene Hartmann
Gautier de Montmollin
Blady-Com
Vadim Godunko
Sebastián Benítez
Fabien Chouteau
Mahesh Chandra Teja
Quentin Dauprat, PhD
César Sagaert
Jochen Lillich
Daniel King
0xA672
Baris Erdem