ada/sarif-ada
0
0
Fork 0
mirror of https://github.com/AdaCore/sarif-ada.git synced 2026-02-12 13:53:12 -08:00
Code Issues Packages Projects Releases Wiki Activity
30 Commits 7 Branches 0 Tags

Default Branch

main

4bc234cccc · Merge branch 'richa-main-patch-7fb8' into 'main' · Updated 2025-10-21 04:04:19 -07:00
 ZIP  TAR.GZ

Branches

26.0

304f0b21d1 · Merge branch 'topic/vadim/switches' into 'main' · Updated 2025-07-24 02:11:45 -07:00    ada

4
0
 Included
 ZIP  TAR.GZ
26.1

304f0b21d1 · Merge branch 'topic/vadim/switches' into 'main' · Updated 2025-07-24 02:11:45 -07:00    ada

4
0
 Included
 ZIP  TAR.GZ
25.0

de974e024a · Merge branch 'topic/elie' into 'main' · Updated 2024-03-13 08:01:28 -07:00    ada

13
0
 Included
 ZIP  TAR.GZ
25.1

de974e024a · Merge branch 'topic/elie' into 'main' · Updated 2024-03-13 08:01:28 -07:00    ada

13
0
 Included
 ZIP  TAR.GZ
25.2

de974e024a · Merge branch 'topic/elie' into 'main' · Updated 2024-03-13 08:01:28 -07:00    ada

13
0
 Included
 ZIP  TAR.GZ
25-sustained

de974e024a · Merge branch 'topic/elie' into 'main' · Updated 2024-03-13 08:01:28 -07:00    ada

13
0
 Included
 ZIP  TAR.GZ