)]}'
{"common/hw-gfx-gma-pipe_setup.adb":[{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"6bde50ba614c904139504623424e8a09a356f8c2","unresolved":false,"context_lines":[{"line_number":313,"context_line":"            pragma Assert_And_Cut (True);"},{"line_number":314,"context_line":"            declare"},{"line_number":315,"context_line":"               Linear_Offset : constant Pixel_Type :\u003d"},{"line_number":316,"context_line":"                  FB.Start_Y * FB.Stride + FB.Start_X;"},{"line_number":317,"context_line":"            begin"},{"line_number":318,"context_line":"               Registers.Write"},{"line_number":319,"context_line":"                 (Register \u003d\u003e Controller.DSPLINOFF,"}],"source_content_type":"application/octet-stream","patch_set":1,"id":"a98cfd48_67c6b940","line":316,"updated":"2026-06-24 07:21:56.000000000","message":"Config(s): i945\n```\nhw-gfx-gma-pipe_setup.adb:316: medium: range check might fail\n  316 |                  FB.Start_Y * FB.Stride + FB.Start_X;\n      |                                         ^ here\n  e.g. when FB \u003d (Start_Y \u003d\u003e 0, Tiling \u003d\u003e Linear, Rotation \u003d\u003e No_Rotation, Offset \u003d\u003e 0, others \u003d\u003e ?)\n  reason for check: default component value must fit in the type\n```\nConfig(s): ironlake_edp ironlake\n```\nhw-gfx-gma-pipe_setup.adb:316: medium: range check might fail\n  316 |                  FB.Start_Y * FB.Stride + FB.Start_X;\n      |                                         ^ here\n  reason for check: default component value must fit in the type\n```","commit_id":"10573c798a40af35b945c2295e3e2451f2680ba5"},{"author":{"_account_id":1000002,"name":"Thomas Heijligen","email":"src@posteo.de","username":"heijligen","avatars":[{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"cfcfcf2e9a1eee49c56a3dcec4aa942dac49da22","unresolved":true,"context_lines":[{"line_number":608,"context_line":"      Gap_X : constant Position_Type :\u003d Mode.H_Visible - Width;"},{"line_number":609,"context_line":"      Gap_Y : constant Position_Type :\u003d Mode.V_Visible - Height;"},{"line_number":610,"context_line":"   begin"},{"line_number":611,"context_line":"      case Align is"},{"line_number":612,"context_line":"         when Top_Left     \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d 0;"},{"line_number":613,"context_line":"         when Top          \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d 0;"},{"line_number":614,"context_line":"         when Top_Right    \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d 0;"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"afba74ee_d42f2eb9","line":611,"updated":"2026-07-03 17:49:01.000000000","message":"Nit/Personal: I\u0027m not a fan of this mirrored G order, would prefer an englisch reading order, top+left to bottom+right","commit_id":"bf0e4b1226cfb266831bab2a1d0e456838fed34b"},{"author":{"_account_id":1000002,"name":"Thomas Heijligen","email":"src@posteo.de","username":"heijligen","avatars":[{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/4285328fce6f2f2d1dcd3409fd9ebcbe.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"b5803a59b6b059fbafda7b432b525746b8f07edb","unresolved":false,"context_lines":[{"line_number":608,"context_line":"      Gap_X : constant Position_Type :\u003d Mode.H_Visible - Width;"},{"line_number":609,"context_line":"      Gap_Y : constant Position_Type :\u003d Mode.V_Visible - Height;"},{"line_number":610,"context_line":"   begin"},{"line_number":611,"context_line":"      case Align is"},{"line_number":612,"context_line":"         when Top_Left     \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d 0;"},{"line_number":613,"context_line":"         when Top          \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d 0;"},{"line_number":614,"context_line":"         when Top_Right    \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d 0;"}],"source_content_type":"application/octet-stream","patch_set":2,"id":"08c21369_2b3c44c5","line":611,"in_reply_to":"afba74ee_d42f2eb9","updated":"2026-07-07 17:35:07.000000000","message":"Done","commit_id":"bf0e4b1226cfb266831bab2a1d0e456838fed34b"},{"author":{"_account_id":1000029,"name":"Ada SPARK","email":"gnatbot@sourcearcade.org","username":"gnatbot","avatars":[{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/c244ab97f43ca382a72e76784b616a4b.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"6ade359853a6ccde424cc2b3f3330363e6ade785","unresolved":false,"context_lines":[{"line_number":311,"context_line":""},{"line_number":312,"context_line":"         if Config.Has_DSP_Linoff and then FB.Tiling \u003d Linear then"},{"line_number":313,"context_line":"            pragma Assert_And_Cut"},{"line_number":314,"context_line":"              (FB.Start_Y * FB.Stride + FB.Start_X in Pixel_Type);"},{"line_number":315,"context_line":"            declare"},{"line_number":316,"context_line":"               Linear_Offset : constant Pixel_Type :\u003d"},{"line_number":317,"context_line":"                  FB.Start_Y * FB.Stride + FB.Start_X;"}],"source_content_type":"application/octet-stream","patch_set":3,"id":"b993dc33_39b37a41","line":314,"updated":"2026-07-06 14:36:07.000000000","message":"Config(s): ironlake i945 ironlake_edp\n```\nhw-gfx-gma-pipe_setup.adb:314: medium: assertion might fail, cannot prove FB.Start_Y * FB.Stride + FB.Start_X in Pixel_Type\n  314 |              (FB.Start_Y * FB.Stride + FB.Start_X in Pixel_Type);\n      |               ^ here\n```","commit_id":"a19a2f6c348214f12e07ab82e21466eab7c92945"},{"author":{"_account_id":1000012,"name":"Angel Pons","email":"th3fanbus@gmail.com","username":"th3fanbus","avatars":[{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"e9710015b1844cd60b51013a4e0f69e15d94adbf","unresolved":true,"context_lines":[{"line_number":607,"context_line":"      Gap_X : constant Position_Type :\u003d Mode.H_Visible - Width;"},{"line_number":608,"context_line":"      Gap_Y : constant Position_Type :\u003d Mode.V_Visible - Height;"},{"line_number":609,"context_line":"   begin"},{"line_number":610,"context_line":"      case Align is"},{"line_number":611,"context_line":"         when Top_Left     \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d 0;"},{"line_number":612,"context_line":"         when Top          \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d 0;"},{"line_number":613,"context_line":"         when Top_Right    \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d 0;"},{"line_number":614,"context_line":"         when Left         \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y / 2;"},{"line_number":615,"context_line":"         when Center       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y / 2;"},{"line_number":616,"context_line":"         when Right        \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y / 2;"},{"line_number":617,"context_line":"         when Bottom_Left  \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y;"},{"line_number":618,"context_line":"         when Bottom       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y;"},{"line_number":619,"context_line":"         when Bottom_Right \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y;"},{"line_number":620,"context_line":"      end case;"},{"line_number":621,"context_line":"   end Align_Framebuffer;"},{"line_number":622,"context_line":""},{"line_number":623,"context_line":"   type Pipe_Scaler_Limit_Config is record"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"27ecbbe0_71af2c69","line":620,"range":{"start_line":610,"start_character":6,"end_line":620,"end_character":15},"updated":"2026-07-07 11:26:18.000000000","message":"How about:\n\n```suggestion\n      Pos_X :\u003d (case Align is\n         when Top_Left  | Left   | Bottom_Left  \u003d\u003e 0,\n         when Top       | Center | Bottom       \u003d\u003e Gap_X / 2,\n         when Top_Right | Right  | Bottom_Right \u003d\u003e Gap_X);\n      Pos_Y :\u003d (case Align is\n         when    Top_Left | Top    |    Top_Right \u003d\u003e 0,\n         when        Left | Center |        Right \u003d\u003e Gap_Y / 2,\n         when Bottom_Left | Bottom | Bottom_Right \u003d\u003e Gap_Y);\n```","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"},{"author":{"_account_id":1000003,"name":"Arthur Heymans","email":"arthur@aheymans.xyz","username":"arthurheymans","avatars":[{"url":"https://www.gravatar.com/avatar/518bb7353a0a42df698e1736723abc9f.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/518bb7353a0a42df698e1736723abc9f.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/518bb7353a0a42df698e1736723abc9f.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/518bb7353a0a42df698e1736723abc9f.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"2b5928d43456828cfa8c890b49f1857ceff3708c","unresolved":true,"context_lines":[{"line_number":607,"context_line":"      Gap_X : constant Position_Type :\u003d Mode.H_Visible - Width;"},{"line_number":608,"context_line":"      Gap_Y : constant Position_Type :\u003d Mode.V_Visible - Height;"},{"line_number":609,"context_line":"   begin"},{"line_number":610,"context_line":"      case Align is"},{"line_number":611,"context_line":"         when Top_Left     \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d 0;"},{"line_number":612,"context_line":"         when Top          \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d 0;"},{"line_number":613,"context_line":"         when Top_Right    \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d 0;"},{"line_number":614,"context_line":"         when Left         \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y / 2;"},{"line_number":615,"context_line":"         when Center       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y / 2;"},{"line_number":616,"context_line":"         when Right        \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y / 2;"},{"line_number":617,"context_line":"         when Bottom_Left  \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y;"},{"line_number":618,"context_line":"         when Bottom       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y;"},{"line_number":619,"context_line":"         when Bottom_Right \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y;"},{"line_number":620,"context_line":"      end case;"},{"line_number":621,"context_line":"   end Align_Framebuffer;"},{"line_number":622,"context_line":""},{"line_number":623,"context_line":"   type Pipe_Scaler_Limit_Config is record"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"380307e4_346151ee","line":620,"range":{"start_line":610,"start_character":6,"end_line":620,"end_character":15},"in_reply_to":"27ecbbe0_71af2c69","updated":"2026-07-08 12:21:52.000000000","message":"\u003e How about:\n\u003e \n\u003e ```suggestion\n\u003e       Pos_X :\u003d (case Align is\n\u003e          when Top_Left  | Left   | Bottom_Left  \u003d\u003e 0,\n\u003e          when Top       | Center | Bottom       \u003d\u003e Gap_X / 2,\n\u003e          when Top_Right | Right  | Bottom_Right \u003d\u003e Gap_X);\n\u003e       Pos_Y :\u003d (case Align is\n\u003e          when    Top_Left | Top    |    Top_Right \u003d\u003e 0,\n\u003e          when        Left | Center |        Right \u003d\u003e Gap_Y / 2,\n\u003e          when Bottom_Left | Bottom | Bottom_Right \u003d\u003e Gap_Y);\n\u003e ```\n\nMy brain prefers the former actually mapping Align to Coordinates","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"},{"author":{"_account_id":1000000,"name":"Nico Huber","email":"nico.h@gmx.de","username":"icon","avatars":[{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"111809ec520145f32d6c0e119231ea25de92fe49","unresolved":true,"context_lines":[{"line_number":607,"context_line":"      Gap_X : constant Position_Type :\u003d Mode.H_Visible - Width;"},{"line_number":608,"context_line":"      Gap_Y : constant Position_Type :\u003d Mode.V_Visible - Height;"},{"line_number":609,"context_line":"   begin"},{"line_number":610,"context_line":"      case Align is"},{"line_number":611,"context_line":"         when Top_Left     \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d 0;"},{"line_number":612,"context_line":"         when Top          \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d 0;"},{"line_number":613,"context_line":"         when Top_Right    \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d 0;"},{"line_number":614,"context_line":"         when Left         \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y / 2;"},{"line_number":615,"context_line":"         when Center       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y / 2;"},{"line_number":616,"context_line":"         when Right        \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y / 2;"},{"line_number":617,"context_line":"         when Bottom_Left  \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y;"},{"line_number":618,"context_line":"         when Bottom       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y;"},{"line_number":619,"context_line":"         when Bottom_Right \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y;"},{"line_number":620,"context_line":"      end case;"},{"line_number":621,"context_line":"   end Align_Framebuffer;"},{"line_number":622,"context_line":""},{"line_number":623,"context_line":"   type Pipe_Scaler_Limit_Config is record"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"39a87a8b_e142fe42","line":620,"range":{"start_line":610,"start_character":6,"end_line":620,"end_character":15},"in_reply_to":"380307e4_346151ee","updated":"2026-07-08 13:50:31.000000000","message":"I tried the latter originally, but somehow liked the single-table version better.\nOk to leave it?","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"},{"author":{"_account_id":1000012,"name":"Angel Pons","email":"th3fanbus@gmail.com","username":"th3fanbus","avatars":[{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"b9198acb5bb5569e77047ff56f9bcee0ad0a3765","unresolved":false,"context_lines":[{"line_number":607,"context_line":"      Gap_X : constant Position_Type :\u003d Mode.H_Visible - Width;"},{"line_number":608,"context_line":"      Gap_Y : constant Position_Type :\u003d Mode.V_Visible - Height;"},{"line_number":609,"context_line":"   begin"},{"line_number":610,"context_line":"      case Align is"},{"line_number":611,"context_line":"         when Top_Left     \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d 0;"},{"line_number":612,"context_line":"         when Top          \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d 0;"},{"line_number":613,"context_line":"         when Top_Right    \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d 0;"},{"line_number":614,"context_line":"         when Left         \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y / 2;"},{"line_number":615,"context_line":"         when Center       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y / 2;"},{"line_number":616,"context_line":"         when Right        \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y / 2;"},{"line_number":617,"context_line":"         when Bottom_Left  \u003d\u003e Pos_X :\u003d 0;          Pos_Y :\u003d Gap_Y;"},{"line_number":618,"context_line":"         when Bottom       \u003d\u003e Pos_X :\u003d Gap_X / 2;  Pos_Y :\u003d Gap_Y;"},{"line_number":619,"context_line":"         when Bottom_Right \u003d\u003e Pos_X :\u003d Gap_X;      Pos_Y :\u003d Gap_Y;"},{"line_number":620,"context_line":"      end case;"},{"line_number":621,"context_line":"   end Align_Framebuffer;"},{"line_number":622,"context_line":""},{"line_number":623,"context_line":"   type Pipe_Scaler_Limit_Config is record"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"fd69b0f1_3619c01a","line":620,"range":{"start_line":610,"start_character":6,"end_line":620,"end_character":15},"in_reply_to":"39a87a8b_e142fe42","updated":"2026-07-12 13:27:31.000000000","message":"We could have a record that contains Pos_X and Pos_Y so that we can use a single case expression (different from a case statement). But fine, let\u0027s leave it as-is.","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"}],"common/hw-gfx.ads":[{"author":{"_account_id":1000012,"name":"Angel Pons","email":"th3fanbus@gmail.com","username":"th3fanbus","avatars":[{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"e9710015b1844cd60b51013a4e0f69e15d94adbf","unresolved":true,"context_lines":[{"line_number":25,"context_line":"   -- Allow same range for width and height (for rotated framebuffers)"},{"line_number":26,"context_line":"   subtype Width_Type      is Pos32 range 1 .. 8192;"},{"line_number":27,"context_line":"   subtype Height_Type     is Pos32 range 1 .. 8192;"},{"line_number":28,"context_line":"   subtype Position_Type   is Int32 range 0 .. 8191;"},{"line_number":29,"context_line":""},{"line_number":30,"context_line":"   Auto_BPC : constant :\u003d 5;"},{"line_number":31,"context_line":"   subtype BPC_Type    is Int64 range Auto_BPC .. 16;"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"1da2776c_6af6d7fb","line":28,"updated":"2026-07-07 11:26:18.000000000","message":"Out of curiosity, why was this range changed?","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"},{"author":{"_account_id":1000000,"name":"Nico Huber","email":"nico.h@gmx.de","username":"icon","avatars":[{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/60d420b5d650d48b86d6921a9f683b64.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"111809ec520145f32d6c0e119231ea25de92fe49","unresolved":true,"context_lines":[{"line_number":25,"context_line":"   -- Allow same range for width and height (for rotated framebuffers)"},{"line_number":26,"context_line":"   subtype Width_Type      is Pos32 range 1 .. 8192;"},{"line_number":27,"context_line":"   subtype Height_Type     is Pos32 range 1 .. 8192;"},{"line_number":28,"context_line":"   subtype Position_Type   is Int32 range 0 .. 8191;"},{"line_number":29,"context_line":""},{"line_number":30,"context_line":"   Auto_BPC : constant :\u003d 5;"},{"line_number":31,"context_line":"   subtype BPC_Type    is Int64 range Auto_BPC .. 16;"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"595fe601_5dd51ae5","line":28,"in_reply_to":"1da2776c_6af6d7fb","updated":"2026-07-08 13:50:31.000000000","message":"The range of `Position_Type` was chosen to assist proving. Now that we have a\nuse case with coordinates anywhere on the screen, it needed to adapt. TBH, I\ndon\u0027t remember why exactly it was more limited before, except that it was enough\nfor the proofs. There\u0027s still plenty of margin to `Int32\u0027Max` which is the impor-\ntant part, e.g. add two of these and it still always fits `Int32`.","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"},{"author":{"_account_id":1000012,"name":"Angel Pons","email":"th3fanbus@gmail.com","username":"th3fanbus","avatars":[{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d32","height":32},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d56","height":56},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d100","height":100},{"url":"https://www.gravatar.com/avatar/61cdfc186d8caca5a8908b0a382de6d8.jpg?d\u003didenticon\u0026r\u003dpg\u0026s\u003d120","height":120}]},"change_message_id":"b9198acb5bb5569e77047ff56f9bcee0ad0a3765","unresolved":false,"context_lines":[{"line_number":25,"context_line":"   -- Allow same range for width and height (for rotated framebuffers)"},{"line_number":26,"context_line":"   subtype Width_Type      is Pos32 range 1 .. 8192;"},{"line_number":27,"context_line":"   subtype Height_Type     is Pos32 range 1 .. 8192;"},{"line_number":28,"context_line":"   subtype Position_Type   is Int32 range 0 .. 8191;"},{"line_number":29,"context_line":""},{"line_number":30,"context_line":"   Auto_BPC : constant :\u003d 5;"},{"line_number":31,"context_line":"   subtype BPC_Type    is Int64 range Auto_BPC .. 16;"}],"source_content_type":"application/octet-stream","patch_set":5,"id":"7c5fbe10_594161ca","line":28,"in_reply_to":"595fe601_5dd51ae5","updated":"2026-07-12 13:27:31.000000000","message":"Ack","commit_id":"eadccdf724ad3cb05b01ef61ac306a4120c2f4af"}]}