efe50551b5
gnatformat_bin 26.0.0 ( #1902 )
2026-05-11 13:26:29 +02:00
3f6a0856e9
gnattest_bin 26.2.0 ( #1901 )
2026-05-11 13:25:54 +02:00
155321e60f
gnatdoc_bin 26.0.0 metadata fix path ( #1900 )
2026-05-11 13:22:39 +02:00
b3948f0b36
czmq_ada 0.5.0 (via alr publish) ( #1905 )
2026-05-11 12:50:19 +02:00
75537c14bb
community-bb-runtimes 15.4.0 ( #1908 )
2026-05-11 12:34:46 +02:00
f02e58e864
septum 0.2.0 (via alr publish) ( #1899 )
2026-05-06 11:43:12 +02:00
4e2d9d262e
Add oherr 0.1.0 ( #1890 )
...
* Add oherr 0.1.0-dev
* Update index/oh/oherr/oherr-0.1.0-dev.toml
Co-authored-by: César Sagaert <aldantanneo@gmail.com >
* "-dev" has been removed
Update commit hash in oherr-0.1.0.toml
* Bump version from 0.1.0-dev to 0.1.0
---------
Co-authored-by: 0xA672 <“3629574623@qq.com ”>
Co-authored-by: César Sagaert <aldantanneo@gmail.com >
2026-05-06 11:00:04 +02:00
de5ba6186d
Add p256_ada 0.1.0 ( #1893 )
...
* Add p256_ada 0.1.0
* Re-trigger CI
2026-05-04 17:20:36 +02:00
a6762c98e7
cose_ada 0.1.0 (via alr publish) ( #1892 )
...
Co-authored-by: Baris Erdem <example@example.com >
2026-05-04 17:17:58 +02:00
d227e36248
gnatcov_bin 26.2.1 ( #1887 )
2026-05-04 17:16:57 +02:00
b7111626c5
gnatdoc_bin 26.0.0 ( #1883 )
2026-05-04 17:16:24 +02:00
aeed2f34b1
Pi Ada Tutorial release 1.6.0 ( #1898 )
...
* 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 >
2026-05-04 16:16:28 +02:00
dc89797378
hkdf_ada 0.1.0 (via alr publish) ( #1891 )
...
Co-authored-by: Baris Erdem <example@example.com >
2026-05-04 14:54:43 +02:00
601e0e2604
septum 0.1.1 (via alr publish) ( #1894 )
2026-05-04 13:38:10 +02:00
fbaee67fc7
progress_indicators 0.0.2 (via alr publish) ( #1895 )
2026-05-04 12:10:44 +02:00
981ec864e5
trendy_terminal 0.0.6 (via alr publish) ( #1896 )
2026-05-04 12:09:06 +02:00
7dca3fe0ce
hmac_ada 0.2.0 ( #1885 )
2026-04-27 13:18:09 +02:00
4115555bab
Pi Ada tutorial 1.5.2 ( #1884 )
...
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch >
2026-04-25 12:46:06 +02:00
0c186dbbb1
ccsds_ada 0.1.0 ( #1875 )
...
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.
2026-04-25 12:35:16 +02:00
5e368ffe1c
cbor_ada 0.2.0 ( #1870 )
2026-04-25 12:28:15 +02:00
9bdbbbc9ec
hmac_ada 0.1.0 ( #1871 )
...
SPARK-proved HMAC (RFC 2104) with standalone SHA-256 for Ada 2022.
2026-04-25 12:26:00 +02:00
f1b7e7e579
florist, ncursesada external metadata ( #1855 )
2026-04-25 12:09:35 +02:00
e551c9ed23
munts_rp2040_firmware_embedded release 2.24840.1 Tue Apr 14 01:12:29 PM PDT 2026 ( #1859 )
...
Phil's RP2040 Microcontroller Embedded Profile Firmware Template
Added web site link.
Added long description.
Refined postbuild.sh to make search for implicit mount point much more robust.
2026-04-21 11:36:28 +02:00
114f9939ae
espidf_driver_i2c 0.1.0 (via alr publish) ( #1882 )
2026-04-21 11:30:16 +02:00
b20c7e5b1e
Pi Ada Tutorial release 1.5.1 ( #1878 )
...
* Pi Ada Tutorial release 1.5.1
Add installation via openocd. Update description.
* Fix URL formatting in pico_ada_c01_blink TOML file
Remove new lines - will also trigger a rebuild.
* Remove unnecessary line break in TOML file
And trigger a rebuild.
---------
Co-authored-by: Martin Krischik <martin.krischik@kpt.ch >
2026-04-20 18:31:49 +02:00
1284c5494b
a0b_sensirion 0.1.0 (via alr publish) ( #1881 )
2026-04-20 18:30:05 +02:00
299e0216cc
espidf 0.1.0 (via alr publish) ( #1880 )
2026-04-20 15:05:17 +02:00
83ea866704
libsap 0.1.0 ( #1879 )
2026-04-20 15:04:39 +02:00
757423a167
gnatcov 26.2 ( #1874 )
2026-04-20 15:01:41 +02:00
4234fd149e
septum 0.1.0 (via alr publish) ( #1873 )
2026-04-17 19:02:58 +02:00
5f493217ee
pico_ada_c05_rgb 1.5.0 (via alr publish) ( #1872 )
2026-04-14 17:04:38 +02:00
044905f905
pico_xbsp 1.5.0 (via alr publish) ( #1869 )
2026-04-14 15:36:23 +02:00
903b9e4280
pico_ada_c04_pwm 1.4.0 ( #1868 )
...
* pico_ada_c04_pwm 1.4.0 (via `alr publish`)
* Update pico_ada_c04_pwm-1.4.0.toml
names should be all lower caps.
2026-04-14 15:35:57 +02:00
484eff6048
pico_xbsp 1.4.0 (via alr publish) ( #1867 )
2026-04-14 15:35:30 +02:00
883cc887ff
community-bb-runtimes 15.3.0 ( #1864 )
2026-04-14 15:35:01 +02:00
ca5cffb14e
pico_ada_c03_led_bar 1.3.1 (via alr publish) ( #1849 )
2026-04-14 15:34:23 +02:00
bf9d563255
pico_ada_c02_button_and_led 1.3.1 (via alr publish) ( #1848 )
2026-04-14 15:33:50 +02:00
1941ece544
pico_ada_c01_blink_lt 1.3.1 (via alr publish) ( #1847 )
2026-04-14 15:33:04 +02:00
22c7f28502
pico_ada_c01_blink 1.3.1 (via alr publish) ( #1846 )
2026-04-14 15:32:35 +02:00
bf2c6631f3
pico_ada_c03_led_bar 1.3.0 (via alr publish) ( #1842 )
2026-04-14 15:32:08 +02:00
b4f820d2e7
pico_ada_c02_button_and_led 1.3.0 (via alr publish) ( #1841 )
2026-04-14 15:31:42 +02:00
e28e8f7082
pico_ada_c01_blink_lt 1.3.0 (via alr publish) ( #1840 )
2026-04-14 15:31:07 +02:00
a47d43631b
pico_ada_c01_blink 1.3.0 (via alr publish) ( #1839 )
2026-04-14 15:30:14 +02:00
592051a8a9
pico_ada_c03_led_bar 1.2.0 (via alr publish) ( #1837 )
2026-04-14 15:29:11 +02:00
ce048ea860
pico_ada_c01_blink 1.2.0 ( #1831 )
...
* pico_ada_c01_blink 1.2.0 (via `alr publish`)
* Update pico_ada_c01_blink-1.2.0.toml
Remove gnatprove for now as it's not (yet) working.
2026-04-14 15:28:19 +02:00
a2426744d4
Tresses and Noise Nugget updates ( #1843 )
2026-04-13 14:59:35 +02:00
7294ded59c
Add cbor_ada 0.1.1 ( #1866 )
2026-04-13 14:35:18 +02:00
05c2203817
czmq_ada 0.4.0 (via alr publish) ( #1865 )
2026-04-13 14:23:25 +02:00
ff5ab43798
pico_xbsp 1.3.3 (via alr publish) ( #1862 )
2026-04-13 14:17:23 +02:00
a71949f1e0
elogs 1.3.4 (via alr publish) ( #1861 )
...
Co-authored-by: Kevin Chadwick <kc-ada@elansys.co >
2026-04-13 14:16:26 +02:00
César Sagaert
Jochen Lillich
Daniel King
Paul Jarrett
0xA672
Baris Erdem
Martin Krischik
Darren Bane
pmunts
Vadim Godunko
Fabien Chouteau
Jochen Lillich
Kevin Chadwick