ada/why3
0
0
Fork 0
mirror of https://github.com/AdaCore/why3.git synced 2026-02-12 12:34:55 -08:00
Code Issues Packages Projects Releases Wiki Activity
18,511 Commits 65 Branches 1 Tag

Default Branch

master

723d72a7b5 · Merge branch 'topic/kanig-win-patch' into 'master' · Updated 2026-02-10 01:43:23 -08:00
 ZIP  TAR.GZ

Branches

fsf

60b0b618a6 · Merge branch 'topic/fsf_merge_269/20251226' into 'fsf' · Updated 2026-01-12 23:55:26 -08:00    ada

244
11
 ZIP  TAR.GZ
26.1

e19e373269 · Merge branch 'topic/kanig-1110-merge' into '26.1' · Updated 2025-12-10 15:48:02 -08:00    ada

301
2
 ZIP  TAR.GZ
26.2

e19e373269 · Merge branch 'topic/kanig-1110-merge' into '26.1' · Updated 2025-12-10 15:48:02 -08:00    ada

301
2
 ZIP  TAR.GZ
26.0

fa7bfb3862 · Merge branch 'topic/kanig-typo' into 'master' · Updated 2025-08-28 17:01:54 -07:00    ada

301
0
 Included
 ZIP  TAR.GZ
fsf-15

695db5347e · Merge branch 'topic/kanig-6-sig' into 'fsf-15' · Updated 2025-06-04 01:05:38 -07:00    ada

881
11
 ZIP  TAR.GZ
25.1

1af03cedb2 · Merge branch 'cherry-pick-2ab57e21' into '25.1' · Updated 2024-11-06 01:21:02 -08:00    ada

889
2
 ZIP  TAR.GZ
25.2

1af03cedb2 · Merge branch 'cherry-pick-2ab57e21' into '25.1' · Updated 2024-11-06 01:21:02 -08:00    ada

889
2
 ZIP  TAR.GZ
25-sustained

1af03cedb2 · Merge branch 'cherry-pick-2ab57e21' into '25.1' · Updated 2024-11-06 01:21:02 -08:00    ada

889
2
 ZIP  TAR.GZ
25.0

045f120ce1 · Merge branch 'topic/593-kanig-json' into 'master' · Updated 2024-08-13 16:51:37 -07:00    ada

889
0
 Included
 ZIP  TAR.GZ
24.2

00d88d5e16 · Merge branch 'topic/475-kanig-merge' into '24.2' · Updated 2024-01-15 23:56:55 -08:00    ada

1341
3
 ZIP  TAR.GZ