)]}'
{"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":"11bdde539cc99d90aada1b70ca6d5f114d1d07a4","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":"3a1aa752_ccfbdac7","line":314,"updated":"2026-07-03 17:45:58.000000000","message":"Config(s): ironlake ironlake_edp 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```","commit_id":"0f839e1cf1a8038a62c616af432c476b27603718"}],"common/hw-gfx-gma.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":"332b80275ff76096b7a0596d5a087ef78e84236a","unresolved":false,"context_lines":[{"line_number":546,"context_line":"      PLLs.Initialize;"},{"line_number":547,"context_line":""},{"line_number":548,"context_line":"      Dev.Initialize (Success);"},{"line_number":549,"context_line":"      pragma Debug (not Success, Debug.Put_Line (\"ERROR: Couldn\u0027t initialize PCI dev.\"));"},{"line_number":550,"context_line":""},{"line_number":551,"context_line":"      if Success then"},{"line_number":552,"context_line":"         Check_Platform_PCI (Success);"}],"source_content_type":"application/octet-stream","patch_set":6,"id":"dee0409a_fe3ff02f","line":549,"updated":"2026-07-07 11:32:27.000000000","message":"Would it make sense to exit early?","commit_id":"00ff21d3ad1a2088b491bf459ce31c92456b2d78"},{"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":"34fa751980bf2bb98f4568c5e0c3600e49185364","unresolved":false,"context_lines":[{"line_number":546,"context_line":"      PLLs.Initialize;"},{"line_number":547,"context_line":""},{"line_number":548,"context_line":"      Dev.Initialize (Success);"},{"line_number":549,"context_line":"      pragma Debug (not Success, Debug.Put_Line (\"ERROR: Couldn\u0027t initialize PCI dev.\"));"},{"line_number":550,"context_line":""},{"line_number":551,"context_line":"      if Success then"},{"line_number":552,"context_line":"         Check_Platform_PCI (Success);"}],"source_content_type":"application/octet-stream","patch_set":6,"id":"513100c4_fc252b48","line":549,"in_reply_to":"7a40ad63_7a15a02b","updated":"2026-07-12 13:31:15.000000000","message":"Ack","commit_id":"00ff21d3ad1a2088b491bf459ce31c92456b2d78"},{"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":"d41ac7823e0e9d725dbfc712e5ca92ca11a3de51","unresolved":false,"context_lines":[{"line_number":546,"context_line":"      PLLs.Initialize;"},{"line_number":547,"context_line":""},{"line_number":548,"context_line":"      Dev.Initialize (Success);"},{"line_number":549,"context_line":"      pragma Debug (not Success, Debug.Put_Line (\"ERROR: Couldn\u0027t initialize PCI dev.\"));"},{"line_number":550,"context_line":""},{"line_number":551,"context_line":"      if Success then"},{"line_number":552,"context_line":"         Check_Platform_PCI (Success);"}],"source_content_type":"application/octet-stream","patch_set":6,"id":"7a40ad63_7a15a02b","line":549,"in_reply_to":"dee0409a_fe3ff02f","updated":"2026-07-08 15:09:35.000000000","message":"Probably yes, but we\u0027d have to move some things around. `Panel.Static_Init` below\nshould always be called (that\u0027s what the comment tries to say). Right now, I can\u0027t\nsay why the PCI device handling landed above it (`Static_Init` is only about soft-\nware state, not hardware).","commit_id":"00ff21d3ad1a2088b491bf459ce31c92456b2d78"}]}