{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":47627172,"defaultBranch":"master","name":"libadalang","ownerLogin":"AdaCore","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-12-08T14:28:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/7767877?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1705585978.0","currentOid":""},"activityList":{"items":[{"before":"300bb9a99c212afa99e7c7d127b1b48ecc428d90","after":"345558ad1ee52d99d59bb45d3420c79eb207c453","ref":"refs/heads/master","pushedAt":"2024-05-08T15:23:40.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":"Merge branch 'mr/update_driver' into 'master'\n\nAdjust JSON comparison in unparse driver\n\nSee merge request eng/libadalang/libadalang!1637","shortMessageHtmlLink":"Merge branch 'mr/update_driver' into 'master'"}},{"before":"0791661df166b05df4e1e62f4e90b75efe636b89","after":"300bb9a99c212afa99e7c7d127b1b48ecc428d90","ref":"refs/heads/master","pushedAt":"2024-05-07T09:06: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":"Merge branch 'issue_778' into 'master'\n\nUnparsing: add configuration for BinOp, UnOp, ConcatOp and RelationOp\n\nCloses #1341\n\nSee merge request eng/libadalang/libadalang!1612","shortMessageHtmlLink":"Merge branch 'issue_778' into 'master'"}},{"before":"8ebb4383898e0282934bddb9de88a46cdae84825","after":"0791661df166b05df4e1e62f4e90b75efe636b89","ref":"refs/heads/master","pushedAt":"2024-05-06T12:25:18.000Z","pushType":"push","commitsCount":12,"pusher":{"login":"adacore-bot","name":"AdaCore Bot","path":"/adacore-bot","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14904961?s=80&v=4"},"commit":{"message":"Merge branch 'sync/fix_rebindings' into 'master'\n\nMultiple fixes for nameres bugs when traversing generic instantiations.\n\nCloses #1220, #1221, #1226, and #1306\n\nSee merge request eng/libadalang/libadalang!1630","shortMessageHtmlLink":"Merge branch 'sync/fix_rebindings' into 'master'"}},{"before":"4f3c6c98fd21926b5c8f18ee909085c818bee6d6","after":"8ebb4383898e0282934bddb9de88a46cdae84825","ref":"refs/heads/master","pushedAt":"2024-04-30T14:58:53.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":"Merge branch 'topic/is_definite_subt' into 'master'\n\nExtend is_definite_subtype to work on type expressions\n\nSee merge request eng/libadalang/libadalang!1632","shortMessageHtmlLink":"Merge branch 'topic/is_definite_subt' into 'master'"}},{"before":"9c8c0fcd6e43553efaa45adb8a8e023e81cd689c","after":"4f3c6c98fd21926b5c8f18ee909085c818bee6d6","ref":"refs/heads/master","pushedAt":"2024-04-29T14:03:20.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":"Merge branch 'topic/fix_java_arrays_test' into 'master'\n\nJava: change array types in tests to native java arrays\n\nSee merge request eng/libadalang/libadalang!1625","shortMessageHtmlLink":"Merge branch 'topic/fix_java_arrays_test' into 'master'"}},{"before":"394a2acd855d653d271e06462b5782ac24bf0c9c","after":"9c8c0fcd6e43553efaa45adb8a8e023e81cd689c","ref":"refs/heads/master","pushedAt":"2024-04-29T12:36:46.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":"Merge branch 'sync/mr/pmderodat/lkt-null-cond' into 'master'\n\nAdapt for recent Langkit fixes for the null-conditonal operator\n\nSee merge request eng/libadalang/libadalang!1631","shortMessageHtmlLink":"Merge branch 'sync/mr/pmderodat/lkt-null-cond' into 'master'"}},{"before":"b951e15cd7b123db8dfdecb11703602fce10a121","after":"394a2acd855d653d271e06462b5782ac24bf0c9c","ref":"refs/heads/master","pushedAt":"2024-04-25T08:30:36.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":"Merge branch 'topic/1377' into 'master'\n\nA type conversion's type reference does not have a type.\n\nCloses #1377\n\nSee merge request eng/libadalang/libadalang!1634","shortMessageHtmlLink":"Merge branch 'topic/1377' into 'master'"}},{"before":"2d6b738a6d3e046fa063ae16f3d59be4ce9b5497","after":"b951e15cd7b123db8dfdecb11703602fce10a121","ref":"refs/heads/master","pushedAt":"2024-04-19T08:31:37.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":"Merge branch 'mku/raise_stmt' into 'master'\n\nUnparsing: Add RaiseStmt and RaiseExpr config\n\nCloses #1371\n\nSee merge request eng/libadalang/libadalang!1629","shortMessageHtmlLink":"Merge branch 'mku/raise_stmt' into 'master'"}},{"before":"70a549fc906b18a3e63916f5be41484019a9ab9b","after":"2d6b738a6d3e046fa063ae16f3d59be4ce9b5497","ref":"refs/heads/master","pushedAt":"2024-04-18T11:33:39.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":"Merge branch 'topic/1036' into 'master'\n\nImplement defaults for generic formal functions\n\nCloses #1036\n\nSee merge request eng/libadalang/libadalang!1627","shortMessageHtmlLink":"Merge branch 'topic/1036' into 'master'"}},{"before":"5e102bcf284cd00927a77e6cb97d5858b80ce866","after":"70a549fc906b18a3e63916f5be41484019a9ab9b","ref":"refs/heads/master","pushedAt":"2024-04-17T16:50:59.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":"Merge branch 'mku/delay_stmt' into 'master'\n\nAdd DelayStmt config\n\nCloses #1369\n\nSee merge request eng/libadalang/libadalang!1624","shortMessageHtmlLink":"Merge branch 'mku/delay_stmt' into 'master'"}},{"before":"28074426fcc03c89c23597c85c9327e2adb2453e","after":"5e102bcf284cd00927a77e6cb97d5858b80ce866","ref":"refs/heads/master","pushedAt":"2024-04-17T15:50:59.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":"Merge branch 'mku/MR_contract_cases' into 'master'\n\nUnparsing: Add ContractCases, ContractCaseAssoc and ContractCaseAssocList configs\n\nCloses #1368\n\nSee merge request eng/libadalang/libadalang!1628","shortMessageHtmlLink":"Merge branch 'mku/MR_contract_cases' into 'master'"}},{"before":"57716c0d89b14d8e79a3b184b6a671e10d401010","after":"28074426fcc03c89c23597c85c9327e2adb2453e","ref":"refs/heads/master","pushedAt":"2024-04-17T13:21:03.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":"Merge branch 'mku/concat_op' into 'master'\n\nAdding ConcatOp, ConcatOperand and ConcatOperandList configs\n\nCloses #1367\n\nSee merge request eng/libadalang/libadalang!1622","shortMessageHtmlLink":"Merge branch 'mku/concat_op' into 'master'"}},{"before":"2d1eeecd22d0918da31efcd2eb73617e7fe5e0d9","after":"57716c0d89b14d8e79a3b184b6a671e10d401010","ref":"refs/heads/master","pushedAt":"2024-04-17T12:45:46.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":"Merge branch 'mku/attribute_def_clause' into 'master'\n\nAdd AttributeDefClause and AttributeRef configs\n\nCloses #1366\n\nSee merge request eng/libadalang/libadalang!1621","shortMessageHtmlLink":"Merge branch 'mku/attribute_def_clause' into 'master'"}},{"before":"17f47c4d9fb06f77f5ab101c5cb4a4c6c9149039","after":"2d1eeecd22d0918da31efcd2eb73617e7fe5e0d9","ref":"refs/heads/master","pushedAt":"2024-04-17T11:49:27.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":"Merge branch 'mku/allocator' into 'master'\n\nAdd Allocator and QualExpr config\n\nCloses #1365\n\nSee merge request eng/libadalang/libadalang!1620","shortMessageHtmlLink":"Merge branch 'mku/allocator' into 'master'"}},{"before":"e4c63fe9305c2e8c2a3434afdc9d6cfaa7e20995","after":"17f47c4d9fb06f77f5ab101c5cb4a4c6c9149039","ref":"refs/heads/master","pushedAt":"2024-04-17T09:34:46.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":"Merge branch 'mku/record_rep_clause' into 'master'\n\nAdd ComponentClause and RecordrepClause configs\n\nCloses #1364\n\nSee merge request eng/libadalang/libadalang!1619","shortMessageHtmlLink":"Merge branch 'mku/record_rep_clause' into 'master'"}},{"before":"0a3bc01c270aee14b9e82210adab2f6cabf8b970","after":"e4c63fe9305c2e8c2a3434afdc9d6cfaa7e20995","ref":"refs/heads/master","pushedAt":"2024-04-17T09:02:02.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":"Merge branch 'topic/perf_improvements' into 'master'\n\nSlightly optimize code that was transitioned to use `get_aspect`.\n\nSee merge request eng/libadalang/libadalang!1615","shortMessageHtmlLink":"Merge branch 'topic/perf_improvements' into 'master'"}},{"before":"60459a65e471b23472dd83a8c519e2cd6450284f","after":"0a3bc01c270aee14b9e82210adab2f6cabf8b970","ref":"refs/heads/master","pushedAt":"2024-04-16T08:08:44.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":"Merge branch 'mku/enum_rep_clause' into 'master'\n\nAdd EnumRepClause config\n\nCloses #1363\n\nSee merge request eng/libadalang/libadalang!1618","shortMessageHtmlLink":"Merge branch 'mku/enum_rep_clause' into 'master'"}},{"before":"eb2015153eb3043bc4becc554eb0f1c4236c4861","after":"60459a65e471b23472dd83a8c519e2cd6450284f","ref":"refs/heads/master","pushedAt":"2024-04-15T15:21:27.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":"Merge branch 'mku/abort_stmt' into 'master'\n\nAdd AbortStmt config\n\nCloses #1362\n\nSee merge request eng/libadalang/libadalang!1617","shortMessageHtmlLink":"Merge branch 'mku/abort_stmt' into 'master'"}},{"before":"fd27030e7ec754825fbb7d5d9189548c01ed3437","after":"eb2015153eb3043bc4becc554eb0f1c4236c4861","ref":"refs/heads/master","pushedAt":"2024-04-15T14:41: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":"Merge branch 'mku/protected_body_stub' into 'master'\n\nAdd ProtectedBodyStub config\n\nCloses #1361\n\nSee merge request eng/libadalang/libadalang!1616","shortMessageHtmlLink":"Merge branch 'mku/protected_body_stub' into 'master'"}},{"before":"307649c2a12b7f235e3bfb954cb8b5e3d4951cae","after":"fd27030e7ec754825fbb7d5d9189548c01ed3437","ref":"refs/heads/master","pushedAt":"2024-04-15T10:32:59.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":"Merge branch 'incomplete_types' into 'master'\n\nUnparsing: Add Incomplete Types configs\n\nCloses #1358\n\nSee merge request eng/libadalang/libadalang!1613","shortMessageHtmlLink":"Merge branch 'incomplete_types' into 'master'"}},{"before":"c860961a6d41294084abf26510e3a99e7e6f63f9","after":"307649c2a12b7f235e3bfb954cb8b5e3d4951cae","ref":"refs/heads/master","pushedAt":"2024-04-11T08:45:41.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":"Merge branch 'topic/1234' into 'master'\n\nGive gnat_compare/gnat_xref tests meaningful names\n\nCloses #1234\n\nSee merge request eng/libadalang/libadalang!1608","shortMessageHtmlLink":"Merge branch 'topic/1234' into 'master'"}},{"before":"ea03d6b69b24e1327c3ed1a0c9e259c9f6f83283","after":"c860961a6d41294084abf26510e3a99e7e6f63f9","ref":"refs/heads/master","pushedAt":"2024-04-11T08:28: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":"Merge branch 'topic/1349' into 'master'\n\ngnat_compare: use GNATCOLL.OS.Process.Run to spawn processes\n\nCloses #1349\n\nSee merge request eng/libadalang/libadalang!1607","shortMessageHtmlLink":"Merge branch 'topic/1349' into 'master'"}},{"before":"622b5fdc3cdffaa4d5abe58f30d09dc151d73553","after":"ea03d6b69b24e1327c3ed1a0c9e259c9f6f83283","ref":"refs/heads/master","pushedAt":"2024-04-10T09:59: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":"Merge branch 'topic/1163' into 'master'\n\nImprove the quality of nameres tests\n\nSee merge request eng/libadalang/libadalang!1601","shortMessageHtmlLink":"Merge branch 'topic/1163' into 'master'"}},{"before":"ad015e373c72c43472c123c3e4f80c5934e3a076","after":"622b5fdc3cdffaa4d5abe58f30d09dc151d73553","ref":"refs/heads/master","pushedAt":"2024-04-09T12:32:04.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":"Merge branch 'mku/anonymous_type' into 'master'\n\nUnparsing: Add AnonymousType and AnonymousTypeDecl configs\n\nCloses #1355\n\nSee merge request eng/libadalang/libadalang!1611","shortMessageHtmlLink":"Merge branch 'mku/anonymous_type' into 'master'"}},{"before":"6e28b8fd6e022184735a9fd0e38290c5a0501ce1","after":"ad015e373c72c43472c123c3e4f80c5934e3a076","ref":"refs/heads/master","pushedAt":"2024-04-08T16:07:18.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":"Merge branch 'topic/1354' into 'master'\n\nFix p_body_part_for_decl for when body part is in separate unit\n\nCloses #1354\n\nSee merge request eng/libadalang/libadalang!1610","shortMessageHtmlLink":"Merge branch 'topic/1354' into 'master'"}},{"before":"b813c12f067dbeafacfd78bc4cfcfda67c05c032","after":"6e28b8fd6e022184735a9fd0e38290c5a0501ce1","ref":"refs/heads/master","pushedAt":"2024-04-04T14:59:43.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":"Merge branch 'issue_1340' into 'master'\n\nUnparsing: add configuration for AspectAssoc\n\nCloses #1340\n\nSee merge request eng/libadalang/libadalang!1609","shortMessageHtmlLink":"Merge branch 'issue_1340' into 'master'"}},{"before":"e019dffc95c456e49a5961a651c36849e288178f","after":"b813c12f067dbeafacfd78bc4cfcfda67c05c032","ref":"refs/heads/master","pushedAt":"2024-04-04T14:28:54.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":"Merge branch 'mku/task_types_and_related' into 'master'\n\nUnparsing: Add configuration for Task types and related nodes\n\nCloses #1344, #1346, #1347, #1348, #1350, #1351, and #1352\n\nSee merge request eng/libadalang/libadalang!1602","shortMessageHtmlLink":"Merge branch 'mku/task_types_and_related' into 'master'"}},{"before":"d733b0046839a8ad8d8f6d155acf08456cdd130e","after":"e019dffc95c456e49a5961a651c36849e288178f","ref":"refs/heads/master","pushedAt":"2024-04-03T13:01:25.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":"Merge branch 'topic/1337' into 'master'\n\nMake `inst_params` parameters instance-aware.\n\nCloses #1339 and #1337\n\nSee merge request eng/libadalang/libadalang!1599","shortMessageHtmlLink":"Merge branch 'topic/1337' into 'master'"}},{"before":"cae90aa8a5037bbc57ef76e9fa4ca78c26b65aa3","after":"d733b0046839a8ad8d8f6d155acf08456cdd130e","ref":"refs/heads/master","pushedAt":"2024-04-03T12:59:12.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":"Merge branch 'topic/libadalang-internal-testsuite/13' into 'master'\n\ngnat_compare: fix short flag for --skip-gprclean option\n\nSee merge request eng/libadalang/libadalang!1606","shortMessageHtmlLink":"Merge branch 'topic/libadalang-internal-testsuite/13' into 'master'"}},{"before":"d371733aad1d214646118bd3b9d2339a1df00126","after":"cae90aa8a5037bbc57ef76e9fa4ca78c26b65aa3","ref":"refs/heads/master","pushedAt":"2024-04-03T10:10:06.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":"Merge branch 'topic/libadalang-internal-testsuite/13' into 'master'\n\ngnat_compare: run gprclean recursively\n\nSee merge request eng/libadalang/libadalang!1603","shortMessageHtmlLink":"Merge branch 'topic/libadalang-internal-testsuite/13' into 'master'"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAERMdrUAA","startCursor":null,"endCursor":null}},"title":"Activity · AdaCore/libadalang"}