{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":120609541,"defaultBranch":"main","name":"RecordFlux","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-02-07T12:00:08.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1726155045.0","currentOid":""},"activityList":{"items":[{"before":"c26f0c98341c3c6338076a7a6e76ad94f95525a8","after":"1ef5cc8e25d7a3c3c2299250f22015599c43ae4c","ref":"refs/heads/main","pushedAt":"2024-09-13T16:05:59.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Fix location of function parameter type\n\nRef. eng/recordflux/RecordFlux#977","shortMessageHtmlLink":"Fix location of function parameter type"}},{"before":"88ac0163868f590011232a5823ab3f6f004c25bb","after":"c26f0c98341c3c6338076a7a6e76ad94f95525a8","ref":"refs/heads/main","pushedAt":"2024-09-13T11:03:51.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Remove requirements tool and references for feature coverage\n\nRef. eng/recordflux/RecordFlux#1783","shortMessageHtmlLink":"Remove requirements tool and references for feature coverage"}},{"before":"c911a7b15367167a70a9778ac2cd09647c448864","after":"88ac0163868f590011232a5823ab3f6f004c25bb","ref":"refs/heads/main","pushedAt":"2024-09-13T11:01:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Remove keep going after error in CI\n\nRef. eng/recordflux/RecordFlux#1688","shortMessageHtmlLink":"Remove keep going after error in CI"}},{"before":"f1519da74fb1a869e2389cd1feb69112294076aa","after":"c911a7b15367167a70a9778ac2cd09647c448864","ref":"refs/heads/main","pushedAt":"2024-09-12T14:57:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add 0.24.0 to CHANGELOG\n\nRef. eng/recordflux/RecordFlux#1790","shortMessageHtmlLink":"Add 0.24.0 to CHANGELOG"}},{"before":"351c6d10a0af39cc9da66cd5de083377cefb537f","after":"f1519da74fb1a869e2389cd1feb69112294076aa","ref":"refs/heads/main","pushedAt":"2024-09-11T15:08:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Enable configuration of prover memory limit for feature tests\n\nRef. eng/recordflux/RecordFlux#1786","shortMessageHtmlLink":"Enable configuration of prover memory limit for feature tests"}},{"before":"7a7daa41504061ec2c2e2810aa26aca1e53afade","after":"351c6d10a0af39cc9da66cd5de083377cefb537f","ref":"refs/heads/main","pushedAt":"2024-09-11T10:00:01.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Include pytest in Python wheels archive\n\nRef. eng/recordflux/RecordFlux#1744","shortMessageHtmlLink":"Include pytest in Python wheels archive"}},{"before":"80db1d7f0598d7d816f5aea81c5abfd6c602600c","after":"7a7daa41504061ec2c2e2810aa26aca1e53afade","ref":"refs/heads/main","pushedAt":"2024-09-11T09:41:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Fix cleaning of caches\n\nRef. eng/recordflux/RecordFlux#1779","shortMessageHtmlLink":"Fix cleaning of caches"}},{"before":"64a0df8f6cd5cfe53dd44d576264c3617a185ce5","after":"80db1d7f0598d7d816f5aea81c5abfd6c602600c","ref":"refs/heads/main","pushedAt":"2024-09-11T09:31:22.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Improve error messages for inconsistent identifiers\n\nRef. eng/recordflux/RecordFlux!1673","shortMessageHtmlLink":"Improve error messages for inconsistent identifiers"}},{"before":"6c0c94d688a2c1cbec7c5ea2f226d7c80d932d1b","after":"64a0df8f6cd5cfe53dd44d576264c3617a185ce5","ref":"refs/heads/main","pushedAt":"2024-09-11T09:14:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Fix fatal errors caused by missing locations after proof timeouts\n\nRef. eng/recordflux/RecordFlux#1782","shortMessageHtmlLink":"Fix fatal errors caused by missing locations after proof timeouts"}},{"before":"63738d107404b90a22f1e19ac3801fa3c51335c3","after":"6c0c94d688a2c1cbec7c5ea2f226d7c80d932d1b","ref":"refs/heads/main","pushedAt":"2024-09-09T11:44:42.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Enable SPARK proofs for SPDM responder example\n\nRef. eng/recordflux/RecordFlux#1704","shortMessageHtmlLink":"Enable SPARK proofs for SPDM responder example"}},{"before":"fd282228769f9bfe829f51c082e37b34efd2eacd","after":"63738d107404b90a22f1e19ac3801fa3c51335c3","ref":"refs/heads/main","pushedAt":"2024-09-04T10:07:27.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Fix initialization of SPDM responder\n\nRef. eng/recordflux/RecordFlux!1663","shortMessageHtmlLink":"Fix initialization of SPDM responder"}},{"before":"75a788150b90d7475710be4984898f4c821c9cfc","after":"fd282228769f9bfe829f51c082e37b34efd2eacd","ref":"refs/heads/main","pushedAt":"2024-09-03T14:42:31.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Fix syntax highlighting for identifiers with numbers or keywords\n\nRef. AdaCore/RecordFlux#1301, eng/recordflux/RecordFlux#1776","shortMessageHtmlLink":"Fix syntax highlighting for identifiers with numbers or keywords"}},{"before":"db4d5ad0ab544d3796e9be71435a7452dcdf5883","after":"75a788150b90d7475710be4984898f4c821c9cfc","ref":"refs/heads/main","pushedAt":"2024-08-30T13:13:23.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Rename function in code generator\n\nRef. eng/recordflux/RecordFlux!1658","shortMessageHtmlLink":"Rename function in code generator"}},{"before":"dfb53542ae6bd638ec2a2516b787a6f2a891e91a","after":"db4d5ad0ab544d3796e9be71435a7452dcdf5883","ref":"refs/heads/main","pushedAt":"2024-08-29T15:24:47.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Update error message guideline\n\nRef. eng/recordflux/RecordFlux#1771","shortMessageHtmlLink":"Update error message guideline"}},{"before":"42ec1b033199c6abf28c5d4853d40bdfa411d5de","after":"dfb53542ae6bd638ec2a2516b787a6f2a891e91a","ref":"refs/heads/main","pushedAt":"2024-08-29T15:18:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add support for project files to code optimizer\n\nRef. eng/recordflux/RecordFlux#1766","shortMessageHtmlLink":"Add support for project files to code optimizer"}},{"before":"9f5ac97aab12cda63a18dbd685e0316f9d7ae98a","after":"42ec1b033199c6abf28c5d4853d40bdfa411d5de","ref":"refs/heads/main","pushedAt":"2024-08-29T11:31:15.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add CI job for creating Rust crates archive\n\nRef. eng/recordflux/RecordFlux#1744","shortMessageHtmlLink":"Add CI job for creating Rust crates archive"}},{"before":"90454fe661e4569ad802fd5839edf89c4e1caf8d","after":"9f5ac97aab12cda63a18dbd685e0316f9d7ae98a","ref":"refs/heads/main","pushedAt":"2024-08-28T12:33:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add vim and neovim syntax\n\nRef. eng/recordflux/RecordFlux#1749","shortMessageHtmlLink":"Add vim and neovim syntax"}},{"before":"d2e047af57752aed88e3a9aa48606687b5079286","after":"90454fe661e4569ad802fd5839edf89c4e1caf8d","ref":"refs/heads/main","pushedAt":"2024-08-28T09:26:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Small optimization for messages with single field\n\nRef. eng/recordflux/RecordFlux#1761","shortMessageHtmlLink":"Small optimization for messages with single field"}},{"before":"a97e4eb7e2cc35e4f5cd9c3827744b9852b30465","after":"d2e047af57752aed88e3a9aa48606687b5079286","ref":"refs/heads/main","pushedAt":"2024-08-23T09:08:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add 0.23.0 to CHANGELOG\n\nRef. eng/recordflux/RecordFlux#1755","shortMessageHtmlLink":"Add 0.23.0 to CHANGELOG"}},{"before":"d71173142320afe79768fa2040c1a8eb4ef0d38e","after":"a97e4eb7e2cc35e4f5cd9c3827744b9852b30465","ref":"refs/heads/main","pushedAt":"2024-08-21T13:32:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Use PEP604 type annotations\n\nRef. eng/recordflux/RecordFlux#1752","shortMessageHtmlLink":"Use PEP604 type annotations"}},{"before":"f4962f12a13d360acb7226e5392696508b63a1ba","after":"d71173142320afe79768fa2040c1a8eb4ef0d38e","ref":"refs/heads/main","pushedAt":"2024-08-21T13:11:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add Rust installation instructions to user's guide\n\nRef. eng/recordflux/RecordFlux#1758","shortMessageHtmlLink":"Add Rust installation instructions to user's guide"}},{"before":"489efe8d5c44102e755f64b5528d7936071a7895","after":"f4962f12a13d360acb7226e5392696508b63a1ba","ref":"refs/heads/main","pushedAt":"2024-08-12T15:26:12.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Fix state machine contracts for external IO buffers\n\nRef. eng/recordflux/RecordFlux#1704","shortMessageHtmlLink":"Fix state machine contracts for external IO buffers"}},{"before":"f1da68b835b781643da8f917858de9b1729f8d3f","after":"489efe8d5c44102e755f64b5528d7936071a7895","ref":"refs/heads/main","pushedAt":"2024-08-09T09:09:15.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add changelog entry for improve error message\n\nRef. eng/recordflux/RecordFlux#1746","shortMessageHtmlLink":"Add changelog entry for improve error message"}},{"before":"bca2e60adced456cf141f56b2fb71636c115c1b3","after":"f1da68b835b781643da8f917858de9b1729f8d3f","ref":"refs/heads/main","pushedAt":"2024-08-08T13:51:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Ensure deterministic checking in check_unit_test_file_coverage_test\n\nRef. None","shortMessageHtmlLink":"Ensure deterministic checking in check_unit_test_file_coverage_test"}},{"before":"825da89ad54446e9ac0494162b6a0fcf284380f3","after":"bca2e60adced456cf141f56b2fb71636c115c1b3","ref":"refs/heads/main","pushedAt":"2024-08-08T09:28:24.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Refactor SPDM responder specification and docstrings\n\nRef. eng/recordflux/RecordFlux!1645","shortMessageHtmlLink":"Refactor SPDM responder specification and docstrings"}},{"before":"b5976403efee10f6dde4a4f27ce329612ba4f7c6","after":"825da89ad54446e9ac0494162b6a0fcf284380f3","ref":"refs/heads/main","pushedAt":"2024-08-07T16:26:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Adapt bug box for the GNAT release\n\nRef. eng/recordflux/RecordFlux#1620","shortMessageHtmlLink":"Adapt bug box for the GNAT release"}},{"before":"f3ec4e925d2fe5418211b309734cc627c00fd267","after":"b5976403efee10f6dde4a4f27ce329612ba4f7c6","ref":"refs/heads/main","pushedAt":"2024-08-07T13:48:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Ensure Consistent Python Version Usage\n\nPreviously, the native Python module could be built outside the Python\nvirtual environment. This posed a problem if the virtual environment\nused a different Python version than the system default.\n\nIf the native module is built for a different version than the\ninterpreter version, it may cause undefined symbols, as the native\nmodule may attempt to call functions that are not present in the\ncurrent interpreter version.\n\nRef. eng/recordflux/RecordFlux#1747","shortMessageHtmlLink":"Ensure Consistent Python Version Usage"}},{"before":"6b77f136e8056074cd821dbe6d67e24de6086b92","after":"f3ec4e925d2fe5418211b309734cc627c00fd267","ref":"refs/heads/main","pushedAt":"2024-08-06T08:31:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Rerun make after devutils has been checked out\n\nRef. eng/recordflux/RecordFlux#1644","shortMessageHtmlLink":"Rerun make after devutils has been checked out"}},{"before":"35678bd2d61be398e355007c804ce7f801d0a5dc","after":"6b77f136e8056074cd821dbe6d67e24de6086b92","ref":"refs/heads/main","pushedAt":"2024-08-05T13:16:23.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Add error messages improvement to changelog\n\nRef. None","shortMessageHtmlLink":"Add error messages improvement to changelog"}},{"before":"ac93474c75e4ef655a650e282935506cc782c905","after":"35678bd2d61be398e355007c804ce7f801d0a5dc","ref":"refs/heads/main","pushedAt":"2024-08-01T15:04:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Allow `clippy::trivially_copy_pass_by_ref` for `rapidflux`\n\nRef. eng/recordflux/RecordFlux#1745","shortMessageHtmlLink":"Allow <code>clippy::trivially_copy_pass_by_ref</code> for <code>rapidflux</code>"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEtauiCAA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/RecordFlux"}