)]}'
{"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":"ec328d5f4d54e4256340fbc3141de5e06846d4c5","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":1,"id":"fd43bc26_ba172c61","line":314,"updated":"2026-07-03 18:00:59.000000000","message":"Config(s): ironlake 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```\nConfig(s): i945\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  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```","commit_id":"72159fb9e210070b1b927c9c50d2871eeffe4a59"}],"gfxtest/hw-gfx-gma-gfx_test.adb":[{"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":"8c2aee7100d1ac99f88d33192bfd3c7ebb38d75a","unresolved":false,"context_lines":[{"line_number":636,"context_line":"               Cursor.Mode :\u003d No_Cursor;"},{"line_number":637,"context_line":"               Cursor.Center_X :\u003d Rotated_Width (New_FB) / 2;"},{"line_number":638,"context_line":"               Cursor.Center_Y :\u003d Rotated_Height (New_FB) / 2;"},{"line_number":639,"context_line":"               CI.X_Velo :\u003d 6 * Cursor_Rand (Gen) / (Width / New_FB.Width);"},{"line_number":640,"context_line":"               CI.Y_Velo :\u003d 6 * Cursor_Rand (Gen) / (Height / New_FB.Height);"},{"line_number":641,"context_line":"            end;"},{"line_number":642,"context_line":"         end loop;"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"2284e586_82b6c09b","line":639,"range":{"start_line":639,"start_character":28,"end_line":639,"end_character":29},"updated":"2026-07-07 11:38:48.000000000","message":"Magic number","commit_id":"eeba4c83130eb647c446eddb1eaa4a55a9531c5a"},{"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":"ffdcd44ba7c2a329b2a0a97ba54e2c540bbd63fb","unresolved":false,"context_lines":[{"line_number":636,"context_line":"               Cursor.Mode :\u003d No_Cursor;"},{"line_number":637,"context_line":"               Cursor.Center_X :\u003d Rotated_Width (New_FB) / 2;"},{"line_number":638,"context_line":"               Cursor.Center_Y :\u003d Rotated_Height (New_FB) / 2;"},{"line_number":639,"context_line":"               CI.X_Velo :\u003d 6 * Cursor_Rand (Gen) / (Width / New_FB.Width);"},{"line_number":640,"context_line":"               CI.Y_Velo :\u003d 6 * Cursor_Rand (Gen) / (Height / New_FB.Height);"},{"line_number":641,"context_line":"            end;"},{"line_number":642,"context_line":"         end loop;"}],"source_content_type":"application/octet-stream","patch_set":4,"id":"e1c2fb82_1cdd88d9","line":639,"range":{"start_line":639,"start_character":28,"end_line":639,"end_character":29},"in_reply_to":"2284e586_82b6c09b","updated":"2026-07-08 14:25:26.000000000","message":"Hmmm, yeah, like mostly everything here 😆 I consider this more like some\nadapt-as-needed than something that follows a bigger plan.","commit_id":"eeba4c83130eb647c446eddb1eaa4a55a9531c5a"}]}