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

• 91e05fabec Reject 'Size on complex prefixes Claire Dross 2025-12-04 17:45:17 +01:00
• 57d056f632 Merge branch 'topic/1059-dross-identity-uc' into 'master' Claire Dross 2025-12-09 09:07:49 +00:00
• 125ce364f1 Handle specifically unchecked conversions that are the identity Claire Dross 2025-12-05 12:47:10 +01:00
• 2151173423 Merge branch 'topic/minimal_recompile' into 'master' Piotr Trojanek 2025-12-09 08:25:04 +01:00
• fd6b065856 Enable minimal recompilation for gnatprove and xgen Piotr Trojanek 2025-12-08 23:59:31 +01:00
• c75f8c6b9d Comment and test to cover alignment 0 Johannes Kanig 2025-12-04 11:55:03 +09:00
• 1e6b2029ad Modify test to increase coverage Johannes Kanig 2025-12-02 09:27:16 +09:00
• 5ba089fccd Update baselines Johannes Kanig 2025-12-01 11:38:11 +09:00
• 3d636fec1e New check for alignment of Unchecked_Conversion Johannes Kanig 2025-11-25 19:40:37 +09:00
• 6414377d9b Merge branch 'topic/gnatformat_fix' into 'master' Piotr Trojanek 2025-12-09 01:02:14 +01:00
• 65ac8cfe18 Add recent reformatting to list of commits ignored for blaming Piotr Trojanek 2025-12-08 22:45:58 +01:00
• 000483a8b2 Merge branch 'topic/assertion_level_call_output' into 'master' Piotr Trojanek 2025-12-08 10:09:07 +01:00
• ca47424350 Combine checks for both part of SPARK RM 6.9(27) Piotr Trojanek 2025-12-04 17:52:12 +01:00
• 71c75c7e93 Check for assertion-level-dependency part of SPARK RM 6.9(27) Piotr Trojanek 2025-12-04 17:33:07 +01:00
• 831f2b3bfc Merge branch 'topic/dross-disable-test' into '25-sustained' Claire Dross 2025-12-08 08:38:31 +00:00
• 1e299c0ad1 Disable test with overlay of protected components Claire Dross 2025-12-05 15:41:16 +01:00
• 874f6a9bdf Merge branch 'automated-submodule-update-3c6bfd11' into 'master' Johannes Kanig 2025-12-05 10:06:33 +00:00
• c5aae01641 Automatic submodule commit eng-bot 2025-12-05 09:39:20 +00:00
• 869186a09e Merge branch 'topic/kanig-1110-ucalign' into 'master' Johannes Kanig 2025-12-05 09:38:58 +00:00
• 9b59eb3e02 Comment and test to cover alignment 0 Johannes Kanig 2025-12-04 11:55:03 +09:00
• 06acaa8d6f Modify test to increase coverage Johannes Kanig 2025-12-02 09:27:16 +09:00
• b402d3b5f2 Update baselines Johannes Kanig 2025-12-01 11:38:11 +09:00
• fd3a11ad00 New check for alignment of Unchecked_Conversion Johannes Kanig 2025-11-25 19:40:37 +09:00
• 76c19a8ce7 Merge branch 'topic/kanig-1099-threshold' into 'master' Johannes Kanig 2025-12-05 08:38:08 +00:00
• 28a8c40180 Larger threshold for slow test detection Johannes Kanig 2025-12-05 11:26:22 +09:00
• 9b30e9c0d8 Merge branch 'topic/gnatformat_fix' into 'master' Johannes Kanig 2025-12-05 00:01:18 +00:00
• 4d7e527037 Fix formatting to match recent changes in gnatformat Piotr Trojanek 2025-12-04 21:34:46 +01:00
• 58ae23fedb Merge branch 'topic/1070-dross-doc' into 'master' Claire Dross 2025-12-04 14:24:30 +00:00
• 1018c9fd77 Document functional trees in the UG Claire Dross 2025-11-27 12:24:49 +01:00
• 0448933bf2 Merge branch 'topic/1059-dross-precise-overlays' into 'master' Claire Dross 2025-12-04 14:23:32 +00:00
• 2c692fec47 Use UC to translate overlays more precisely Claire Dross 2025-11-14 15:03:22 +01:00
• 8ce3392265 Merge branch 'topic/kanig-reformat' into 'master' Johannes Kanig 2025-12-04 09:32:05 +00:00
• b47e1c3ffd More ignored revs for git blame Johannes Kanig 2025-12-04 17:15:45 +09:00
• dbb49dcb56 Merge branch 'topic/kanig-reformat' into 'master' Johannes Kanig 2025-12-04 08:07:30 +00:00
• 938d8cca60 fixes after automatic formatting Johannes Kanig 2025-12-04 12:03:49 +09:00
• 5be9c9c7d6 Automatic formatting Johannes Kanig 2025-12-04 12:01:10 +09:00
• 4ea651066c Merge branch 'cherry-pick-60a1282f-2' into '24-sustained' Claire Dross 2025-12-03 08:05:02 +00:00
• 97cd7cffc4 Merge branch 'topic/volatile_input' into 'master' Piotr Trojanek 2025-12-02 12:55:14 +01:00
• 127de3820e Update session files Piotr Trojanek 2025-11-21 19:43:18 +01:00
• b307e323e4 Adapt large tests and outputs with uninitialized Async_Writers Piotr Trojanek 2025-11-21 17:40:13 +01:00
• b460786b3a Adapt tests and update outputs with uninitialized Async_Writers Piotr Trojanek 2025-11-21 00:25:40 +01:00
• 01c95a1abb Objects with Async_Writers must be explicitly initialized Piotr Trojanek 2025-11-20 23:21:35 +01:00
• 8e8c717b0b Add test with uninitialized volatile variable Piotr Trojanek 2025-05-19 14:01:50 +02:00
• 3c4583e6da Merge branch 'topic/kanig-460-test' into 'master' Johannes Kanig 2025-12-02 01:50:16 +00:00
• e0fc5b8d30 Move code to separate file Johannes Kanig 2025-12-01 19:24:46 +09:00
• b2d3f9deae Merge branch 'topic/qualified_untangle' into 'master' Piotr Trojanek 2025-12-01 14:17:36 +01:00
• 7e181783ba Support qualified expressions in untangling record expressions Piotr Trojanek 2025-11-19 18:27:15 +01:00
• 2729f464f3 Merge branch 'topic/kanig-272-baselines' into 'master' Johannes Kanig 2025-12-01 11:01:19 +00:00
• f0ce30987d Baseline update Johannes Kanig 2025-12-01 19:55:51 +09:00
• 78615ed073 Merge branch 'topic/kanig-coq-baselines' into 'master' Johannes Kanig 2025-12-01 10:59:49 +00:00
• a779071e5d Baselines for coq tests Johannes Kanig 2025-12-01 19:49:10 +09:00
• 4d6f0ec4d5 Merge branch 'cherry-pick-60a1282f-3' into '25-sustained' Claire Dross 2025-12-01 10:42:32 +00:00
• 5dcba7ac76 Update test output for 25 sustained Joffrey Huguet 2025-12-01 11:38:11 +01:00
• 76f6e7d3bd Merge branch 'topic/1089-dross-ultimate-overlaid-entity' into 'master' Claire Dross 2025-11-28 10:26:12 +00:00
• 6818666bc0 Merge branch 'topic/1070-dross-trees' into 'master' Claire Dross 2025-12-01 09:19:18 +00:00
• 11dbe31486 File test using functional trees Claire Dross 2025-11-05 15:23:16 +01:00
• 8bc46a72b8 Merge branch 'cherry-pick-60a1282f' into '26.1' Claire Dross 2025-11-28 16:32:50 +00:00
• cc4ceebf5a Merge branch 'topic/remove_overlay_guards' into 'master' Piotr Trojanek 2025-11-28 17:15:57 +01:00
• 9b622f5fd9 Remove redundant guards for Ultimate_Overlaid_Entity Piotr Trojanek 2025-11-28 11:54:48 +01:00
• b9a4a12502 Merge branch 'topic/1089-dross-ultimate-overlaid-entity' into 'master' Claire Dross 2025-11-28 10:27:15 +00:00
• d720ba252f Merge branch 'topic/1089-dross-ultimate-overlaid-entity' into 'master' Claire Dross 2025-11-28 10:21:36 +00:00
• 60a1282f1e Merge branch 'topic/1089-dross-ultimate-overlaid-entity' into 'master' Claire Dross 2025-11-28 08:16:07 +00:00
• 5219c5b6d8 File test for incorrect handling of overlays in the frontend Claire Dross 2025-11-26 15:54:43 +01:00
• 5ebe64da4d Merge branch 'topic/kanig-1131-doc' into 'master' Johannes Kanig 2025-11-28 00:23:13 +00:00
• 8212f1a8bb Fix documentation for pragma Compile_Time_Error Johannes Kanig 2025-11-27 18:58:12 +09:00
• e5cd99d61e Merge branch 'topic/fsf_merge_269/20251119' into 'fsf' Marc Poulhiès 2025-11-28 00:59:03 +01:00
• 6462b74288 Merge commit 'e18335d8c0f03a7a4f985713eb6f3ed15449d3c2' into topic/fsf_merge_269/20251119 Marc Poulhiès 2025-11-27 13:59:10 +01:00
• e37b1b5217 Merge branch 'topic/kanig-testsuite' into 'master' Joffrey Huguet 2025-11-27 11:00:22 +00:00
• e0a5f166b0 Fix cross-device move error in sparklib preprocessing Johannes Kanig 2025-11-27 11:01:26 +09:00
• 4e0156e1c8 session updates Johannes Kanig 2025-11-27 10:59:38 +09:00
• 422f0a0305 baselines for inlining change Johannes Kanig 2025-11-27 10:41:48 +09:00
• 1f15da8deb Baselines for prover failures Johannes Kanig 2025-11-27 10:40:03 +09:00
• de0bf50741 Merge branch 'topic/1059-dross-separate-uc-functions' into 'master' Claire Dross 2025-11-27 10:06:07 +00:00
• 3a81cd1352 Introduce a separate module for UC functions Claire Dross 2025-11-13 15:55:04 +01:00
• 2aa28ac5ef Merge branch 'topic/session_cache' into 'master' Piotr Trojanek 2025-11-27 10:02:44 +01:00
• 772207826d Fix caching for tests with session files Piotr Trojanek 2025-11-21 22:40:17 +01:00
• f58a88a942 Merge branch 'topic/memcache_constant_overlay' into 'master' Piotr Trojanek 2025-11-27 09:59:17 +01:00
• 63dda6965d Refine overlay for file reading Piotr Trojanek 2025-11-24 12:01:52 +01:00
• 4867b8ef87 Merge branch 'topic/kanig-update' into 'master' Johannes Kanig 2025-11-27 02:18:57 +00:00
• 8559768ea0 update windows output for test Johannes Kanig 2025-11-25 10:32:12 +09:00
• ac1c5f808e Merge branch 'topic/1089-dross-ultimate-overlaid-entity' into 'master' Claire Dross 2025-11-26 14:20:00 +00:00
• 89781eb3fd Reenable disabled tests Claire Dross 2025-11-26 13:58:59 +01:00
• bd693396c5 Use frontend routine for precisely supported address clauses Claire Dross 2025-11-26 09:47:22 +01:00
• 1a2b9c02e3 Merge branch 'topic/kanig-272-large' into 'master' Johannes Kanig 2025-11-26 10:14:33 +00:00
• 81bf41f032 Update large tests for new proof failure message Johannes Kanig 2025-11-26 18:29:09 +09:00
• ee7af1d711 Merge branch 'automated-submodule-update-7fc0e557' into 'master' Johannes Kanig 2025-11-26 08:25:56 +00:00
• 3a62555d17 Automatic submodule commit eng-bot 2025-11-26 00:05:35 +00:00
• 89d81c949e Merge branch 'topic/kanig-1119-rn' into 'master' Johannes Kanig 2025-11-26 00:15:53 +00:00
• d65ec85bee Fix line endings on windows Johannes Kanig 2025-11-25 10:12:04 +09:00
• 316d5f40bd Merge branch 'topic/kanig-272-fail2' into 'master' Johannes Kanig 2025-11-26 00:05:55 +00:00
• ca92bc9af9 Update baselines Johannes Kanig 2025-11-18 10:24:53 +09:00
• db43c290c5 Handle extra output for unproved status Johannes Kanig 2025-11-17 11:39:32 +09:00
• 138ba4b5a0 Merge branch 'topic/toom/gnatsas-flow-generated-globals-serialize' into 'master' Andres Toom 2025-11-25 15:44:22 +02:00
• 6c625f362f Update GNAT SAS false positives for flow_generated_globals-phase_2 Andres Toom 2025-11-13 18:28:43 +02:00
• 055ee33e3d Merge branch 'topic/kanig-1127-sessions' into 'master' Johannes Kanig 2025-11-25 09:36:39 +00:00
• 6c489e3ce3 More thorough cleanup after session generation Johannes Kanig 2025-11-25 11:41:51 +09:00
• 9a46dd9803 Merge branch 'topic/1126-dross-ordered-maps' into 'master' Claire Dross 2025-11-25 08:24:50 +00:00
• 1d53de5189 Update large tests Claire Dross 2025-11-24 16:07:06 +01:00
• f2860e10e3 Merge branch 'topic/ghost_function_inline' into 'master' Piotr Trojanek 2025-11-24 16:01:32 +01:00
• 1b70ce30f0 Do not inline calls to ghost functions Piotr Trojanek 2025-11-24 14:56:19 +01:00