Commit Graph

Select branches

Hide Pull Requests

17

17-sustained

18-sustained

18.0

18.1

18.2

19-sustained

19.0

19.1

19.2

20-sustained

20.0

20.1

20.2

21-sustained

21.0

21.1

21.2

22-sustained

22.0

22.1

22.2

23-sustained

23.0

23.1

23.2

24-sustained

24.0

24.1

24.2

25-sustained

25.0

25.1

25.2

26.0

26.1

26.2

a2c2-2020

array_record_semantic

codepeer-run

combined_floats

float-smtlib

fsf

fsf-11.2

fsf-12

fsf-13

fsf-14

fsf-15

gg

gpl-2012

gpl-2013

gpl-2014

gpl-2015

gpl-2016

gpl-2017

gpl-2018

gpl-2020

ipstack

itp_spark

japanese

lts-18

lts-19

lts-20

lts-21

master

newsystem

oxford_cde

procedures_semantic

spark-14.0

spark-15.0

spark-16.0

thierry

#1

#1

#12

#14

#15

#33

#37

#38

#42

#44

#7

#8

#9

0.3_draft

Mono Color

• 3a0b36c5a3 Merge branch 'topic/1003-clochard-unsigned-base-range' into 'master' Martin Clochard 2026-01-13 15:25:46 +00:00
• 4babb8fb0a Update test outputs Martin Clochard 2026-01-09 15:25:12 +01:00
• b9ded22412 Support for Unsigned_Base_Range aspect in GNATprove Martin Clochard 2026-01-09 15:22:21 +01:00
• fed020c9ae Merge branch 'topic/fsf_merge_269/20251226' into 'fsf' fsf Marc Poulhiès 2026-01-13 08:55:17 +01:00
• afec7ae42b Merge branch 'topic/toom/vscode-python-settings' into 'master' Andres Toom 2026-01-13 09:40:43 +02:00
• ed5bf70586 Extend Python settings in the code workspace files Andres Toom 2026-01-11 19:43:49 +02:00
• 536e972f9e Merge branch 'topic/kanig-1150-origin' into 'master' Johannes Kanig 2026-01-13 01:03:28 +00:00
• d241f32c49 Merge commit '6f22f216ae964340748a3337516a3ea66246902a' into topic/fsf_merge_269/20251226 Marc Poulhiès 2026-01-12 16:11:08 +01:00
• 55f60a9185 Identify test origin in test data Johannes Kanig 2026-01-12 11:02:30 +09:00
• 14d0b3f903 Merge branch 'topic/toom/923-ce-diffs' into 'master' Andres Toom 2026-01-08 13:37:10 +02:00
• e6ee2d810e Remove xfail and update baseline with the prover's result Andres Toom 2026-01-07 18:29:44 +02:00
• 57e6fd5b81 Merge branch 'topic/1151-dross-array-attr' into 'master' Claire Dross 2026-01-07 10:51:31 +00:00
• 3caaceeca3 Introduce dereference on array attribute with simple prefix Claire Dross 2026-01-06 12:23:51 +01:00
• 0286baf331 Merge branch 'topic/1027-dross-ghost-state' into 'master' Claire Dross 2026-01-06 15:23:54 +00:00
• 8fb7ee4b16 Accept assertion level in the grammar of Abstract_State Claire Dross 2026-01-06 14:31:08 +01:00
• fa6cb1e832 Merge branch 'topic/kanig-copyright' into 'master' Johannes Kanig 2026-01-05 10:01:55 +00:00
• 5687c0663a Update copyright info Johannes Kanig 2026-01-05 08:18:45 +09:00
• 0b8b46b927 Merge branch 'automated-submodule-update-23421c30' into 'master' Johannes Kanig 2026-01-05 09:57:03 +00:00
• 9864277e28 Automatic submodule commit eng-bot 2026-01-05 09:55:52 +00:00
• 42554fc241 Merge branch 'topic/kanig-merge' into 'master' Johannes Kanig 2026-01-05 09:55:05 +00:00
• 4e7f9706fc Testsuite updates for why3 merge Johannes Kanig 2025-12-16 17:17:36 +09:00
• e3ed4c0f0e Merge branch 'topic/1133-dross-minor-expl-improvement' into 'master' Claire Dross 2026-01-05 09:45:15 +00:00
• 28ed0ebca5 Merge branch 'topic/overlay_constant-26.1' into '26.1' 26.1 Piotr Trojanek 2025-12-19 16:58:38 +01:00
• d437dd91e2 Fix untangling with overlays and constants with no variable inputs Piotr Trojanek 2025-11-18 13:27:00 +01:00
• 2085deb0b8 Merge branch 'topic/large_input_crash' into '26.1' Piotr Trojanek 2025-12-19 16:55:08 +01:00
• 65775e0c6f Replace explicit deallocation in graph routines with a storage pool Piotr Trojanek 2025-11-10 17:01:29 +01:00
• 4e3ac49fc9 Keep local array objects on the heap in graph algorithms Piotr Trojanek 2025-11-06 17:08:49 +01:00
• 522d685275 Change DFS for dominator tree from recursive to iterative Piotr Trojanek 2025-11-06 16:58:01 +01:00
• 3421d03c51 Suppress xrefs when generating data representation info Piotr Trojanek 2025-11-05 20:52:24 +01:00
• 8e9ba61821 Fix explanation for size of unconstrained arrays Claire Dross 2025-12-18 14:03:07 +01:00
• 6555c6c61d Merge branch 'topic/kanig-sparklib-26.1' into '26.1' Johannes Kanig 2025-12-19 10:22:44 +00:00
• 6f22f216ae Merge branch 'topic/kanig-1148-gnatformat' into 'master' Johannes Kanig 2025-12-19 09:51:05 +00:00
• 679e053733 use coverage qualifier on sparklib testing to avoid forcing another build Johannes Kanig 2025-10-23 16:25:30 +09:00
• 1138b2bb63 Extract sparkformat version from anod spec Johannes Kanig 2025-12-19 10:38:26 +09:00
• 0d0c379ab2 Merge branch 'topic/kanig-1135-alignment' into 'master' Johannes Kanig 2025-12-19 08:57:36 +00:00
• d503f77bc7 more testsuite updates Johannes Kanig 2025-12-18 11:16:36 +09:00
• 8f05e7e764 Fix incorrect fix suggestion for unknown alignment Johannes Kanig 2025-12-18 10:09:06 +09:00
• a16595d9aa Merge branch 'topic/1139-test-update' into 'master' Claire Dross 2025-12-19 08:38:37 +00:00
• 8eb6e145d4 Remaining large test updates Claire Dross 2025-12-19 09:19:29 +01:00
• 04bafbbdaf Merge branch 'topic/kanig-format' into 'master' Johannes Kanig 2025-12-19 08:26:12 +00:00
• 59d4f4ba8c Fix formatting Johannes Kanig 2025-12-19 11:45:57 +09:00
• 4b6bfb88d6 Merge branch 'topic/1139-dross-internal-names' into 'master' Claire Dross 2025-12-18 10:22:46 +00:00
• 2a1ec2fb42 Update large tests Claire Dross 2025-12-17 19:15:05 +01:00
• ef0fb3cf29 Update test outputs Claire Dross 2025-12-17 12:28:00 +01:00
• 0ca82989ca Use pretty printing in more places Claire Dross 2025-12-17 09:04:35 +01:00
• c40740b45a Update test outputs Claire Dross 2025-12-17 09:57:59 +01:00
• 0cb1eb186c Avoid internal names in Source_Name Claire Dross 2025-12-12 15:49:09 +01:00
• fdf732d24a Merge branch 'topic/kanig-1149-branch' into '26.1' Johannes Kanig 2025-12-18 08:29:24 +00:00
• bedae91d00 Fix e3-testsuite version for testsuite_reports script Johannes Kanig 2025-12-16 18:15:28 +09:00
• 2721c19a72 Merge branch 'topic/kanig-1148-gnatformat' into 'master' Johannes Kanig 2025-12-18 00:13:41 +00:00
• cce53fd0d7 Hardcode gnatformat version Johannes Kanig 2025-12-16 18:32:11 +09:00
• fdfda1ab3f Merge branch 'topic/kanig-1149-master' into 'master' Johannes Kanig 2025-12-18 00:08:16 +00:00
• baf0b521a3 Fix e3-testsuite version for testsuite_reports script Johannes Kanig 2025-12-16 18:15:28 +09:00
• 2e07798ecc Merge branch 'topic/1133-dross-size-refactor' into 'master' Claire Dross 2025-12-16 10:06:12 +00:00
• f8e7c3e8dc Merge branch 'topic/26.1-update-tests' into '26.1' Joffrey Huguet 2025-12-16 09:23:24 +00:00
• 28479cd697 Update tests and SKIP tests on Windows Joffrey Huguet 2025-12-16 10:17:16 +01:00
• f3b25e8f38 Share utilities for size computation Claire Dross 2025-12-08 17:19:23 +01:00
• 7779491449 Merge branch 'topic/1133-dross-26' into '26.1' Claire Dross 2025-12-15 11:03:08 +00:00
• c96e9921b4 Support 'Size on 'Result Claire Dross 2025-12-11 12:21:44 +01:00
• a9f238f4cb Reject 'Size on formals with dynamic 'Constrained Claire Dross 2025-12-10 13:10:50 +01:00
• edc5770ce1 Revert reformatting Johannes Kanig 2025-12-11 18:36:34 +09:00
• 3d2f8bbe01 Reject 'Size on complex prefixes Claire Dross 2025-12-04 17:45:17 +01:00
• fe935583f9 Merge branch 'topic/1133-dross-25' into '25-sustained' Claire Dross 2025-12-15 11:01:45 +00:00
• a245fd21b2 Merge branch 'mr/botcazou-gnat#1702' into 'master' Eric Botcazou 2025-12-15 11:53:04 +01:00
• ea153f8154 Remove unused clauses Eric Botcazou 2025-12-15 10:06:00 +01:00
• 0658965c92 Merge branch 'cherry-pick-399f75c4' into '26.1' Claire Dross 2025-12-15 09:48:54 +00:00
• 3336363392 Merge branch 'topic/kanig-formatting' into 'master' Johannes Kanig 2025-12-15 09:47:17 +00:00
• a906565678 Support 'Size on 'Result Claire Dross 2025-12-11 12:21:44 +01:00
• 863b36cb7d Reject 'Size on formals with dynamic 'Constrained Claire Dross 2025-12-10 13:10:50 +01:00
• 112abf09b6 Reject 'Size on complex prefixes Claire Dross 2025-12-04 17:45:17 +01:00
• d3b1d20965 Automatic formatting Johannes Kanig 2025-12-12 19:07:12 +09:00
• 59e06a97cd Merge branch 'topic/1144-dross-mut-discr-overlays' into 'master' Claire Dross 2025-12-12 16:39:45 +00:00
• 59de98c935 Expect mutable discriminants for overlays Claire Dross 2025-12-12 09:46:50 +01:00
• 986d56f645 Merge branch 'topic/1133-dross-result' into 'master' Claire Dross 2025-12-12 16:39:10 +00:00
• fe51eeeb52 Support 'Size on 'Result Claire Dross 2025-12-11 12:21:44 +01:00
• 553a1059a0 Merge branch 'topic/1145-dross-uc-align-check' into 'master' Claire Dross 2025-12-12 12:07:17 +00:00
• c200b9ef6e Merge branch 'topic/kanig-272-testsuite' into 'master' Claire Dross 2025-12-12 11:28:33 +00:00
• dbb20bab66 Updates for prover failure message on large tests Johannes Kanig 2025-12-12 17:46:35 +09:00
• 08c412a200 Line number updates for sparklib Johannes Kanig 2025-12-12 17:45:55 +09:00
• 399f75c4cf Merge branch 'topic/1145-dross-uc-align-check' into 'master' Claire Dross 2025-12-12 09:30:40 +00:00
• fba8911c2e Add conversion in alignment checks for overlays Claire Dross 2025-12-12 09:25:02 +01:00
• 96b99d30ab Merge branch 'automated-submodule-update-9390baf1' into 'master' Claire Dross 2025-12-11 11:09:43 +00:00
• 4401e13027 Automatic submodule commit eng-bot 2025-12-11 10:20:23 +00:00
• be979a1524 Merge branch 'topic/kanig-testsuite' into 'master' Johannes Kanig 2025-12-11 10:38:00 +00:00
• 8c3797d75b Various testsuite updates Johannes Kanig 2025-12-11 17:16:20 +09:00
• 70a5a2d40c Merge branch 'topic/kanig-1143-gnatformat' into 'master' Johannes Kanig 2025-12-11 10:26:50 +00:00
• ca3de6afc7 Remove all formatting exceptions Johannes Kanig 2025-12-11 19:15:14 +09:00
• efea5e7a12 Merge branch 'topic/kanig-1142-format' into '26.1' Johannes Kanig 2025-12-11 10:24:00 +00:00
• 2bc5a7a5c2 Disable automatic formatting on 26.1 Johannes Kanig 2025-12-11 18:38:58 +09:00
• 89759a0a94 Merge branch 'topic/kanig-272-fialures' into 'master' Johannes Kanig 2025-12-11 10:21:09 +00:00
• 13468f429b Update baselines for improved prover failure Johannes Kanig 2025-11-27 06:23:57 +00:00
• 8dc05ea8ae Don't print unproved failures on justified messages Johannes Kanig 2025-12-02 10:58:49 +09:00
• 3fed432558 Merge branch 'topic/1133-dross-mutable-discrs' into 'master' Claire Dross 2025-12-11 10:19:52 +00:00
• b56d62cc0f Reject 'Size on formals with dynamic 'Constrained Claire Dross 2025-12-10 13:10:50 +01:00
• fec0593f8b Merge branch 'topic/kanig-baseline-26.1' into '26.1' Johannes Kanig 2025-12-11 10:16:47 +00:00
• 6c179cf4aa Fix line numbers of sparklib test Johannes Kanig 2025-12-11 17:30:25 +09:00
• 0e1d8b24c6 Merge branch 'topic/kanig-1137-format' into 'master' Johannes Kanig 2025-12-10 23:49:31 +00:00
• 2be1dce4dc Merge branch 'topic/kanig-1110-merge' into '26.1' Johannes Kanig 2025-12-10 23:48:23 +00:00
• ee5a2bf3b0 Baseline changes for sparklib reformatting Johannes Kanig 2025-12-08 11:57:13 +09:00
• 71aaed0458 Merge branch 'topic/1133-dross-size' into 'master' Claire Dross 2025-12-09 10:05:22 +00:00