ada/SPARKlib
0
0
Fork 0
mirror of https://github.com/AdaCore/SPARKlib.git synced 2026-02-12 13:11:36 -08:00
Code Issues Packages Projects Releases Wiki Activity
415 Commits 15 Branches 0 Tags

Default Branch

master

44c9f597a6 · Merge branch 'topic/1187-minor-test-update' into 'master' · Updated 2026-02-11 07:06:36 -08:00
 ZIP  TAR.GZ

Branches

fsf

24f6b1860d · Merge branch 'topic/fsf_merge_269/20251226' into 'fsf' · Updated 2026-01-12 16:55:51 -08:00    ada

23
120
 ZIP  TAR.GZ
26.1

5c0ebb457e · Merge branch 'topic/26.1-update-tests' into '26.1' · Updated 2025-12-19 07:51:36 -08:00    ada

109
12
 ZIP  TAR.GZ
26.2

5c0ebb457e · Merge branch 'topic/26.1-update-tests' into '26.1' · Updated 2025-12-19 07:51:36 -08:00    ada

109
12
 ZIP  TAR.GZ
25-sustained

294e31ac13 · Merge branch 'topic/kanig-2176-strings' into '25-sustained' · Updated 2025-12-05 01:12:52 -08:00    ada

251
28
 ZIP  TAR.GZ
26.0

0f564ef7c2 · Merge branch 'topic/26.0-test-update' into '26.0' · Updated 2025-10-08 15:16:16 -07:00    ada

109
2
 ZIP  TAR.GZ
fsf-15

dc7cd02b08 · Merge branch 'topic/fsf-15-cp' into 'fsf-15' · Updated 2025-06-11 01:39:51 -07:00    ada

207
4
 ZIP  TAR.GZ
25.2

17c6c618cc · Merge branch 'topic/kanig-1602-baseline' into '25.2' · Updated 2025-05-14 00:14:59 -07:00    ada

251
26
 ZIP  TAR.GZ
25.1

5ccc0764e1 · Merge branch 'cherry-pick-3e25f066' into '25.1' · Updated 2024-11-22 01:28:01 -08:00    ada

251
17
 ZIP  TAR.GZ
25.0

562f599127 · Merge branch 'topic/665-dross-formal-maps-test' into 'master' · Updated 2024-09-16 02:31:37 -07:00    ada

251
0
 Included
 ZIP  TAR.GZ
fsf-14

d3069f657f · Merge branch 'topic/637-huguet-sparklib-alire' into 'fsf-14' · Updated 2024-06-28 02:04:16 -07:00    ada

358
2
 ZIP  TAR.GZ