{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":151739310,"defaultBranch":"master","name":"ada-spark-rfcs","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-10-05T15:12:41.000Z","ownerAvatar":"https://github.com/avatars/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1716384001.0","currentOid":""},"activityList":{"items":[{"before":"2c756d2bdd81a30b2d14c8a2cfb58ea8dec76d99","after":"fe098da156614156308aa56c2143c3c1119b3a07","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2024-09-16T15:34:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Add partial generic instantiations RFC","shortMessageHtmlLink":"Add partial generic instantiations RFC"}},{"before":"dba6d3e4fbedc869c47d0c2d3f2c2d08bbeeb32c","after":"e4970aade9a511000668cfd263e1de0cee31fcae","ref":"refs/heads/topic/rfc-finally","pushedAt":"2024-09-16T12:52:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Amend the finally RFC after the working group meeting","shortMessageHtmlLink":"Amend the finally RFC after the working group meeting"}},{"before":"9322a2ee48ab1315730d0edab29ebefaab0f8f1b","after":"a55046c2e8dfe3b656892d928b619a8104a16243","ref":"refs/heads/master","pushedAt":"2024-09-06T15:10:05.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Move Super attribute to prototyped","shortMessageHtmlLink":"Move Super attribute to prototyped"}},{"before":"a1b1b87c2c89e33ba96f650883cc0880064c87eb","after":"9322a2ee48ab1315730d0edab29ebefaab0f8f1b","ref":"refs/heads/master","pushedAt":"2024-09-06T15:07:30.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"fix non-tagged => untagged","shortMessageHtmlLink":"fix non-tagged =&gt; untagged"}},{"before":"038fd6555ecda5d6b52d78e02bef25a55ae0fbd2","after":"a1b1b87c2c89e33ba96f650883cc0880064c87eb","ref":"refs/heads/master","pushedAt":"2024-09-06T15:04:04.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"isolated file from the oop branch","shortMessageHtmlLink":"isolated file from the oop branch"}},{"before":"25a9a4b42b2835deb4125ac8f739d047bec64e59","after":"038fd6555ecda5d6b52d78e02bef25a55ae0fbd2","ref":"refs/heads/master","pushedAt":"2024-09-06T14:27:42.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Address last round of comments","shortMessageHtmlLink":"Address last round of comments"}},{"before":"331e3ef881df62e263eb71bde2af803cf89b197d","after":"25a9a4b42b2835deb4125ac8f739d047bec64e59","ref":"refs/heads/master","pushedAt":"2024-06-18T16:29:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update string interpolation RFC","shortMessageHtmlLink":"Update string interpolation RFC"}},{"before":"05f8f600033b9084eb9b56ecc7c2b46d0dcb13b4","after":"331e3ef881df62e263eb71bde2af803cf89b197d","ref":"refs/heads/master","pushedAt":"2024-05-22T14:14:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update finally RFC","shortMessageHtmlLink":"Update finally RFC"}},{"before":"62e595874c156955ad753fb2fd025e168c66eb95","after":"05f8f600033b9084eb9b56ecc7c2b46d0dcb13b4","ref":"refs/heads/master","pushedAt":"2024-05-22T13:58:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Add RFC about inference of dependent types","shortMessageHtmlLink":"Add RFC about inference of dependent types"}},{"before":null,"after":"62e595874c156955ad753fb2fd025e168c66eb95","ref":"refs/heads/first-controlling","pushedAt":"2024-05-22T13:20:01.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Add First_Controlling_Parameters","shortMessageHtmlLink":"Add First_Controlling_Parameters"}},{"before":"25871486a1cc98a8cb232478f754dd4c1aab61be","after":"62e595874c156955ad753fb2fd025e168c66eb95","ref":"refs/heads/master","pushedAt":"2024-05-22T13:19:29.000Z","pushType":"push","commitsCount":10,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Add First_Controlling_Parameters","shortMessageHtmlLink":"Add First_Controlling_Parameters"}},{"before":"b97499d6363a975c08d64450d62fa67637dbbc22","after":"dba6d3e4fbedc869c47d0c2d3f2c2d08bbeeb32c","ref":"refs/heads/topic/rfc-finally","pushedAt":"2024-04-23T10:20:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Small changes to alternative syntaxes part","shortMessageHtmlLink":"Small changes to alternative syntaxes part"}},{"before":"1e0d67a647707cdbd94bb0eb2090fac011e7c245","after":"b97499d6363a975c08d64450d62fa67637dbbc22","ref":"refs/heads/topic/rfc-finally","pushedAt":"2024-04-23T10:03:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update considered/rfc-finally.md\n\nCo-authored-by: Marc Poulhiès <poulhies@adacore.com>","shortMessageHtmlLink":"Update considered/rfc-finally.md"}},{"before":"c68ba7cab741162bd406529b16a27355f70e116d","after":"c21504257a6cd2cdbbca0dbc168cfc50a1aa5001","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-04-12T12:21:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Address last round of comments","shortMessageHtmlLink":"Address last round of comments"}},{"before":"8ff5babe60d65db340634da404537310d3463776","after":"c68ba7cab741162bd406529b16a27355f70e116d","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-04-11T14:22:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Roldak","name":"Beguet Romain","path":"/Roldak","primaryAvatarUrl":"https://github.com/avatars/u/6619531?s=80&v=4"},"commit":{"message":"Various modifications.\n\n* Style/typo fixes.\n* Removes the TODO for the SPARK team as they answered it.\n* Rename the check category to `Raise_Check`, as per Tuck's comment.\n* Explicitly mention that the aspect cannot be set on a derived type.","shortMessageHtmlLink":"Various modifications."}},{"before":"aacd18ddf2182c2ecf54694045986e3f0397b403","after":"8ff5babe60d65db340634da404537310d3463776","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-04-11T10:31:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Amend generalized finalization RFC\n\n* Unify the two configuration aspects into one\n* Specify the behavior in terms of permission for the compiler\n* Use Program_Error rt. Assertion_Error in the specification of No_Raise\n* Enforce that this can only be specified on record types or private\n  view of record types","shortMessageHtmlLink":"Amend generalized finalization RFC"}},{"before":"acf8cb12c8284bb17a6fe2b6cc00ee4505ac1689","after":"aacd18ddf2182c2ecf54694045986e3f0397b403","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-04-04T10:19:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Amend following Yannick & Steve's comments","shortMessageHtmlLink":"Amend following Yannick &amp; Steve's comments"}},{"before":"3e6b73e52bdf2a68d0eb0b294a7ea810a8b9b914","after":"2c756d2bdd81a30b2d14c8a2cfb58ea8dec76d99","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2024-04-03T10:23:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update rfc-structural-generic-instantiation.md","shortMessageHtmlLink":"Update rfc-structural-generic-instantiation.md"}},{"before":"06a6edb0c45f9a29733840b53f5dc3a79fb10196","after":"acf8cb12c8284bb17a6fe2b6cc00ee4505ac1689","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-04-02T10:06:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Add noraise RFC + some fixes to finalization","shortMessageHtmlLink":"Add noraise RFC + some fixes to finalization"}},{"before":"5d7f2a3209e0b3e9a009c5a4ad2887c75f5da05f","after":"06a6edb0c45f9a29733840b53f5dc3a79fb10196","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-04-02T09:22:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Small edits","shortMessageHtmlLink":"Small edits"}},{"before":null,"after":"5d7f2a3209e0b3e9a009c5a4ad2887c75f5da05f","ref":"refs/heads/topic/finalization-rehaul","pushedAt":"2024-03-26T16:26:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Refactor finalization RFC","shortMessageHtmlLink":"Refactor finalization RFC"}},{"before":"49a14c39175483389d5d2487e0291996bace16da","after":null,"ref":"refs/heads/dkm-patch-1","pushedAt":"2024-02-16T10:44:33.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Fabien-Chouteau","name":"Fabien Chouteau","path":"/Fabien-Chouteau","primaryAvatarUrl":"https://github.com/avatars/u/12136138?s=80&v=4"}},{"before":"675dbce8335183ce467b4c63bbe9435f52e3eabe","after":"9f0a969c60fe78cd9d86f101c107231ea59240b7","ref":"refs/heads/array_slice_access","pushedAt":"2024-02-16T10:44:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"Fabien-Chouteau","name":"Fabien Chouteau","path":"/Fabien-Chouteau","primaryAvatarUrl":"https://github.com/avatars/u/12136138?s=80&v=4"},"commit":{"message":"Typo fix in Update array_slice_access.md\n\nSmall typo fix.","shortMessageHtmlLink":"Typo fix in Update array_slice_access.md"}},{"before":null,"after":"49a14c39175483389d5d2487e0291996bace16da","ref":"refs/heads/dkm-patch-1","pushedAt":"2024-02-16T10:14:23.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"dkm","name":"Marc Poulhiès","path":"/dkm","primaryAvatarUrl":"https://github.com/avatars/u/87603?s=80&v=4"},"commit":{"message":"Typo fix in Update array_slice_access.md\n\nSmall typo fix.","shortMessageHtmlLink":"Typo fix in Update array_slice_access.md"}},{"before":"8cbf49e4f551e4db0426362c5f1c9f187903ffe9","after":"3e6b73e52bdf2a68d0eb0b294a7ea810a8b9b914","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2024-01-08T16:23:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update rfc-inference-of-generic-actuals-from-call-actuals.md","shortMessageHtmlLink":"Update rfc-inference-of-generic-actuals-from-call-actuals.md"}},{"before":"6d328c19da5303dc9c6c69dbdb3f8253c85f05d6","after":"8cbf49e4f551e4db0426362c5f1c9f187903ffe9","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2023-12-20T10:32:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update rfc-structural-generic-instantiation.md","shortMessageHtmlLink":"Update rfc-structural-generic-instantiation.md"}},{"before":"0fee93eb428985b7e033b30bd16067dceadd6aed","after":"6d328c19da5303dc9c6c69dbdb3f8253c85f05d6","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2023-12-20T10:26:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Update rfc-structural-generic-instantiation.md","shortMessageHtmlLink":"Update rfc-structural-generic-instantiation.md"}},{"before":"661c58cf21bc07fdc7e7ac96d7a158b2487a7d63","after":"0fee93eb428985b7e033b30bd16067dceadd6aed","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2023-12-19T14:23:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Complete struct generic inst RFC","shortMessageHtmlLink":"Complete struct generic inst RFC"}},{"before":"51b616d60e7a61065dc2e9c98799b14490fc6daf","after":"661c58cf21bc07fdc7e7ac96d7a158b2487a7d63","ref":"refs/heads/topic/generic_instantiations","pushedAt":"2023-12-18T13:59:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Finish inference of dependent types RFC","shortMessageHtmlLink":"Finish inference of dependent types RFC"}},{"before":"3758482918996995254db07d24482fec6c40d918","after":"d93053fe6b79eb95114c63683173f93b5ba70525","ref":"refs/heads/oop","pushedAt":"2023-12-08T21:32:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"raph-amiard","name":"Raphaël AMIARD","path":"/raph-amiard","primaryAvatarUrl":"https://github.com/avatars/u/478727?s=80&v=4"},"commit":{"message":"Fill in first controlling RFC","shortMessageHtmlLink":"Fill in first controlling RFC"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNTozNDozOC4wMDAwMDBazwAAAAS3mlHA","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xNlQxNTozNDozOC4wMDAwMDBazwAAAAS3mlHA","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMi0wOFQyMTozMjozMS4wMDAwMDBazwAAAAPFuIsv"}},"title":"Activity · AdaCore/ada-spark-rfcs"}