{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":53711734,"defaultBranch":"master","name":"souffle","ownerLogin":"souffle-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-03-12T03:39:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/17791708?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1700064471.0","currentOid":""},"activityList":{"items":[{"before":"57f104deaab4a383f2cc320119f0fcdc518d24e6","after":"c7ce22981525b488c9be9ee77ab48a43290f52dc","ref":"refs/heads/master","pushedAt":"2024-04-05T06:25:37.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"fix ungrounded error when destructuring with don't-cares (#2483)\n\nfix ungrounded error when destructuring with don't-cares\r\n\r\nName unnamed variables that appear in record and branch\r\ninits before the resolution of aliases.\r\n\r\nfix #2482\r\n\r\nAfter the `ResolveAliasesTransformer`, all  occurences of `t` are replaced with `[ta,_]`, and the groundedness constraint system cannot give a bounded value to `[ta,_]` in the head (`var([ta,_])->0` in the `Solution`).\r\n\r\n```\r\nClause: pred([ta,_],ta) :-\r\n   fact([ta,_]).\r\nProblem:\r\n{\r\n        var([ta,_]) ⇒ var(ta),\r\n        var([ta,_]) ⇒ var(_),\r\n        var(ta) ∧ var(_) ⇒ var([ta,_]),\r\n        var([ta,_]) is true,\r\n        var([ta,_]) ⇒ var(ta),\r\n        var([ta,_]) ⇒ var(_),\r\n        var(ta) ∧ var(_) ⇒ var([ta,_])\r\n}\r\nSolution:\r\n{var(_)->1,var(_)->0,var([ta,_])->1,var([ta,_])->0,var(ta)->1}\r\n```\r\n\r\nWhen you provide an explicit variable for the second part of the record, the constraint system can be solved because the second member of the record has is bound by the variable (`var(_fix)->1` and `var([ta,_fix])->1`):\r\n\r\n```\r\nClause: pred([ta,_fix],ta) :-\r\n   fact([ta,_fix]).\r\nProblem:\r\n{\r\n        var([ta,_fix]) ⇒ var(ta),\r\n        var([ta,_fix]) ⇒ var(_fix),\r\n        var(ta) ∧ var(_fix) ⇒ var([ta,_fix]),\r\n        var([ta,_fix]) is true,\r\n        var([ta,_fix]) ⇒ var(ta),\r\n        var([ta,_fix]) ⇒ var(_fix),\r\n        var(ta) ∧ var(_fix) ⇒ var([ta,_fix])\r\n}\r\nSolution:\r\n{var([ta,_fix])->1,var([ta,_fix])->1,var(ta)->1,var(_fix)->1}\r\n```\r\n\r\nTo fix this, we need to transform `_` into unique variables before the `ResolveAliasesTransformer`.","shortMessageHtmlLink":"fix ungrounded error when destructuring with don't-cares (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2222894272\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2483\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2483/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2483\">#2483</a>)"}},{"before":"647378789718bd15ddbac3d76828bbb43a163a03","after":"57f104deaab4a383f2cc320119f0fcdc518d24e6","ref":"refs/heads/master","pushedAt":"2024-03-18T08:00:54.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Merge pull request #2479 from quentin/memchk\n\nfix memory check CI workflow","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2189892904\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2479\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2479/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2479\">#2479</a> from quentin/memchk"}},{"before":"d3661e568a55913946ac4a0843c7d88ccd65517e","after":"647378789718bd15ddbac3d76828bbb43a163a03","ref":"refs/heads/master","pushedAt":"2024-03-17T07:44:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Merge pull request #2478 from quentin/macos14\n\nAdd CI job for Apple ARM","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2189168401\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2478\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2478/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2478\">#2478</a> from quentin/macos14"}},{"before":"d8049888d73a3695ce339f2c76cd839635d9f0cf","after":"d3661e568a55913946ac4a0843c7d88ccd65517e","ref":"refs/heads/master","pushedAt":"2024-03-16T13:16:20.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Merge pull request #2477 from strRM/rm/cet-2475-fix-stoi-no-conversion\n\nFix stoi error when passing --jobs=auto in non-OpenMP code path","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2188366966\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2477\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2477/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2477\">#2477</a> from strRM/rm/cet-2475-fix-stoi-no-conversion"}},{"before":"7826a260a9dc30a3d917c1f320ba999c4b59ba93","after":"d8049888d73a3695ce339f2c76cd839635d9f0cf","ref":"refs/heads/master","pushedAt":"2024-03-05T07:59:03.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"doc comments and annotations in Souffle datalog (#2472)\n\n* doc comments and annotations in Souffle datalog\r\n\r\nAnnotations are free meta-data that can be attached to most items of a\r\nSouffle datalog program.\r\n\r\nA documentation comment is a syntactic sugar for a `doc` annotation.\r\n\r\nThe design is close to Rust's *attributes*.\r\n\r\nAll program's and component's items can have *outer* annotations of\r\nthe form `@[annotation]` or `/// doc comment`. Attributes and ADT\r\nbranches also accept outer annotations.\r\n\r\nSome items can have *inner* annotations of the for `@![annotation]`\r\nor `//! doc comment`:\r\n- after `{` of a component, before the first component's item.\r\n- after `{` of an ADT branch, before the first attribute of the branch.\r\n- after `:-` of a clause, before the first constraint.\r\n\r\nAnnotations should not appear before `.include` or before any `}` or\r\nbefore the end of a file.\r\n\r\nAn annotation's payload may be of these forms:\r\n- an identifier: `@[IDENT]`\r\n- possibly followed by delimited token stream: `@[IDENT DELIM]`\r\n- or `=` and a delimited token stream: `@[IDENT = DELIM]` or\r\n  `@[IDENT = TOKEN TT*]`\r\n\r\nWhere:\r\n- `IDENT` is an identifier or a keyword of Souffle.\r\n- `TOKEN` is any token except delimiters.\r\n- `TS ::= TT+` is a token-stream.\r\n- `TT ::= TOKEN | DELIM` is a token-tree.\r\n- `DELIM ::= '(' TS? ')' | '[' TS? ']' | '{' TS? '}'` is a delimited\r\n  token-stream.\r\n\r\nUse cases:\r\n- documentation comments attached to AST nodes ease the writing of documentation generation tools.\r\n- annotations could replace \"dirty\" parts of the current Souffle grammar (stateful, choice-domain, .plan ...).\r\n- annotations brings extensibility without modifications of the core grammar.","shortMessageHtmlLink":"doc comments and annotations in Souffle datalog (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2167014052\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2472\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2472/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2472\">#2472</a>)"}},{"before":"dc8ecf801a4ae67325ad313191efa61489e9eaea","after":"7826a260a9dc30a3d917c1f320ba999c4b59ba93","ref":"refs/heads/master","pushedAt":"2024-03-05T07:51:35.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"avoid calls to `getArguments()` in interpreter (#2473)\n\nAvoid calling costly `getArguments()` when the interpreter is only\r\ninterested by the number of arguments.","shortMessageHtmlLink":"avoid calls to <code>getArguments()</code> in interpreter (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2167273289\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2473\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2473/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2473\">#2473</a>)"}},{"before":"42e432b3c56160431d43072bc98ec60828439b6c","after":"dc8ecf801a4ae67325ad313191efa61489e9eaea","ref":"refs/heads/master","pushedAt":"2024-02-01T04:48:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Update check_os.sh (#2469)\n\nOn my RHEL system, ID is initially set to  'ID_LIKE=\"RHEL CENTOS FEDORA\"', which, when expanded in the if-statement, turns into  this:\r\nif [ -z ID_LIKE=RHEL CENTOS FEDORA ]; then and causes the error:\r\n`souffle/sh/check_os.sh: line 15: [: too many arguments`\r\n\r\nIt is necessary to quote $ID","shortMessageHtmlLink":"Update check_os.sh (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2110729994\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2469\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2469/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2469\">#2469</a>)"}},{"before":"4b4a255d61864ad48f6c7f8c0f995e9dedfdbffa","after":"42e432b3c56160431d43072bc98ec60828439b6c","ref":"refs/heads/master","pushedAt":"2023-12-24T08:24:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Add 32 bit versions of MSVC intrinsics (#2463)\n\nIn some cases, this is enough to make Souffle work on Windows on 32 bit\nmachines.","shortMessageHtmlLink":"Add 32 bit versions of MSVC intrinsics (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2052919207\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2463\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2463/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2463\">#2463</a>)"}},{"before":"a779dbe558d19c29b8678d917763e9331387c847","after":"4b4a255d61864ad48f6c7f8c0f995e9dedfdbffa","ref":"refs/heads/master","pushedAt":"2023-12-23T18:20:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Fix uninitialized variable warning (#2465)\n\nThe interface/lattice{1,2,3} tests otherwise fail on MSVC in debug mode due\nto \"Run-Time Check Failure #3 - The variable 'changed' is being used without\nbeing initialized.\"","shortMessageHtmlLink":"Fix uninitialized variable warning (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2053206392\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2465\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2465/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2465\">#2465</a>)"}},{"before":"9ac6b24ec130e0a69bdb5eb6142952d804f27d82","after":"a779dbe558d19c29b8678d917763e9331387c847","ref":"refs/heads/master","pushedAt":"2023-12-23T17:08:20.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Fix warning suppression in the json utility. (#2462)\n\nProperly push and pop the warning configuration to avoid unintentional\nside effects. The previous solution could overwrite command line options\nand the inclusion of the header can change what warnings are enabled.","shortMessageHtmlLink":"Fix warning suppression in the json utility. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2052907973\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2462\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2462/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2462\">#2462</a>)"}},{"before":"f7667009ea98b27e3b0d6aa48349a7a6ae1c9fc2","after":"9ac6b24ec130e0a69bdb5eb6142952d804f27d82","ref":"refs/heads/master","pushedAt":"2023-12-19T18:46:23.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Order generators with respect to their dependencies (#2458)\n\nfix #2416","shortMessageHtmlLink":"Order generators with respect to their dependencies (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2047345634\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2458\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2458/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2458\">#2458</a>)"}},{"before":"2d20ade15c4085f9e226001dcd625c6c67519e50","after":"f7667009ea98b27e3b0d6aa48349a7a6ae1c9fc2","ref":"refs/heads/master","pushedAt":"2023-12-19T09:03:18.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"fix `apply` on user-defined aggregate `init` (#2456)\n\nThe `init` expression of user-define aggregates was never\r\nhanded-over to `apply`'s `mapper`.\r\n\r\nOne visible issue is that the `TupleId` transformer would not update the\r\ntuple of the `init` expression while shuffling tuple identifiers.\r\nThat would then result in the `init` expression peeking data in the\r\nwrong tuple during execution of the RAM program.","shortMessageHtmlLink":"fix <code>apply</code> on user-defined aggregate <code>init</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2046791200\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2456\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2456/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2456\">#2456</a>)"}},{"before":"40a702ece1903617316b66ae275d03b6b9d1a61a","after":"2d20ade15c4085f9e226001dcd625c6c67519e50","ref":"refs/heads/master","pushedAt":"2023-12-12T19:54:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"fix multi-result intrinsic functor within aggregate (#2455)\n\nfix #2160","shortMessageHtmlLink":"fix multi-result intrinsic functor within aggregate (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2036130010\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2455\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2455/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2455\">#2455</a>)"}},{"before":"9ed9a3182dea2fd70c7590465a2f3aae0179c1c0","after":"40a702ece1903617316b66ae275d03b6b9d1a61a","ref":"refs/heads/master","pushedAt":"2023-12-11T17:39:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"also run CI on `push` (#2454)\n\n* README CI badges based on `master`\r\n* Should fix issue with Codecov reporting wrong `base` commit","shortMessageHtmlLink":"also run CI on <code>push</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2035123692\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2454\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2454/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2454\">#2454</a>)"}},{"before":"c8edcc19b082463a524fcaaf82708be3cec2dea6","after":"9ed9a3182dea2fd70c7590465a2f3aae0179c1c0","ref":"refs/heads/master","pushedAt":"2023-12-09T08:55:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"non-RTTI dynamic cast (#2452)\n\nDynamic cast have a significant performance impact on Souffle AST/RAM\r\npipelines.\r\n\r\n* non-RTTI dynamic cast for the ast::Node hierarchy\r\n* non-RTTI dynamic cast for the ast::analysis::Type hierarchy\r\n* non-RTTI dynamic cast for the ram::Node hierarchy","shortMessageHtmlLink":"non-RTTI dynamic cast (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2032608656\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2452\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2452/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2452\">#2452</a>)"}},{"before":"1009dadcdadc753976d72237732510c1e02db2a1","after":"c8edcc19b082463a524fcaaf82708be3cec2dea6","ref":"refs/heads/master","pushedAt":"2023-12-08T08:10:30.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"interned QualifiedName (#2451)\n\nString interning of `QualifiedName` and switch many associative datastructures to unordered comparison between qualified name. These comparisons had a significant cost on large datalog programs.\r\n\r\nA global `QNInterner` object is responsible for interning of qualified names.\r\n\r\nAlso fix a performance issue in the `RecursiveClauses` analysis.","shortMessageHtmlLink":"interned QualifiedName (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2030999295\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2451\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2451/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2451\">#2451</a>)"}},{"before":"3d1851a1ec3e9df0b530bccec363bf152f66746a","after":"1009dadcdadc753976d72237732510c1e02db2a1","ref":"refs/heads/master","pushedAt":"2023-12-07T16:45:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"better handling of unknown components in `.init` (#2450)\n\n- Detect unknown component at .init instead of post-flattening late detection of missing elements.\r\n- Update the negative test.\r\n- Add a positive test demonstrating complex chain of component argument passing.","shortMessageHtmlLink":"better handling of unknown components in <code>.init</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2030840305\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2450\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2450/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2450\">#2450</a>)"}},{"before":"85bb04786af7cc8d8fa5734dfd5b66ce3ead5a7b","after":"3d1851a1ec3e9df0b530bccec363bf152f66746a","ref":"refs/heads/master","pushedAt":"2023-12-04T12:37:19.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"update minimum requirement to bison 3.2 (#2449)\n\nget rid of `Mov` workaround in the parser","shortMessageHtmlLink":"update minimum requirement to bison 3.2 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2020638430\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2449\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2449/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2449\">#2449</a>)"}},{"before":"cd6f2da1ce25d59daaf17e68cf9c3ea509ebe37f","after":"85bb04786af7cc8d8fa5734dfd5b66ce3ead5a7b","ref":"refs/heads/master","pushedAt":"2023-11-28T14:18:45.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Fix for compilation warnings (#2446)","shortMessageHtmlLink":"Fix for compilation warnings (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2014308614\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2446\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2446/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2446\">#2446</a>)"}},{"before":"7a2185aa025df4e04ec756f7439c2991315f9147","after":"cd6f2da1ce25d59daaf17e68cf9c3ea509ebe37f","ref":"refs/heads/master","pushedAt":"2023-11-28T13:06:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"fix #1896 (#2445)","shortMessageHtmlLink":"<span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #1896.\">fix</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"852617385\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/1896\" data-hovercard-type=\"issue\" data-hovercard-url=\"/souffle-lang/souffle/issues/1896/hovercard\" href=\"https://github.com/souffle-lang/souffle/issues/1896\">#1896</a> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2013639837\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2445\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2445/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2445\">#2445</a>)"}},{"before":"030e111be9e3aa90033092e56ce49af96dd36790","after":"7a2185aa025df4e04ec756f7439c2991315f9147","ref":"refs/heads/master","pushedAt":"2023-11-23T08:28:36.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Lattice fix (#2442)\n\nbug fix in lattice support","shortMessageHtmlLink":"Lattice fix (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2006483257\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2442\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2442/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2442\">#2442</a>)"}},{"before":"c17bbabd6a30f441a2fe2f73f7825f28e7a32fc9","after":"030e111be9e3aa90033092e56ce49af96dd36790","ref":"refs/heads/master","pushedAt":"2023-11-16T07:49:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Let `to_number` infer the base (#2439)\n\nx = to_number(\"0x100\") will now be parsed as 256, not 0. Similarly binary\r\nliterals are supported as \"0b10010\".","shortMessageHtmlLink":"Let <code>to_number</code> infer the base (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1986999116\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2439\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2439/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2439\">#2439</a>)"}},{"before":"01f11777b4b09329b8232466d82376e039ac1ba8","after":"c17bbabd6a30f441a2fe2f73f7825f28e7a32fc9","ref":"refs/heads/master","pushedAt":"2023-11-15T17:43:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Lattice support (#2438)\n\nintroduce support of lattice types","shortMessageHtmlLink":"Lattice support (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1985707842\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2438\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2438/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2438\">#2438</a>)"}},{"before":"735375126b6e8f5b7d7271432b147172d13b148e","after":"01f11777b4b09329b8232466d82376e039ac1ba8","ref":"refs/heads/master","pushedAt":"2023-11-15T16:08:29.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"changelog for release 2.4.1 (#2432)","shortMessageHtmlLink":"changelog for release 2.4.1 (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1937316938\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2432\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2432/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2432\">#2432</a>)"}},{"before":"ab6c00df3378920027561900802e0479c1d297f2","after":"735375126b6e8f5b7d7271432b147172d13b148e","ref":"refs/heads/master","pushedAt":"2023-10-24T17:21:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Fixed CSV read failure involving blank lines in RFC4180 mode. (#2434)\n\n* Ensure we can read blank lines in CSV files.\r\n\r\nThere was a problem handling blank lines in a quoted\r\nCSV column when reading RFC4180 mode.\r\nInstead of continuing to read more lines, it dropped out\r\nassuming there was at least 1 character. Now, if the\r\nline we read contains 0 characters, it immediately goes\r\nback to read more lines.\r\n\r\nI did not notice this before, because the test did not\r\nuse rfc4180 csv files for input or output.\r\n\r\n* Added a test for quotes in quoted CSV.\r\n\r\nThis adds a test to make sure we can process\r\nquotes within a quoted column. Quotes in quotes\r\nneed to be double-quoted.","shortMessageHtmlLink":"Fixed CSV read failure involving blank lines in RFC4180 mode. (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1957653970\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2434\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2434/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2434\">#2434</a>)"}},{"before":"da9e3c24d15580b614b994eb4a39627a69516679","after":"ab6c00df3378920027561900802e0479c1d297f2","ref":"refs/heads/master","pushedAt":"2023-10-24T17:15:21.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"fixes for the debug report (#2433)\n\n- update `highlightjs` and `diff2html`\r\n- fix: display graphs as images instead of text\r\n- fix: display diffs correctly\r\n- fix: highlight souffle and RAM diffs correctly","shortMessageHtmlLink":"fixes for the debug report (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1957619512\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2433\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2433/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2433\">#2433</a>)"}},{"before":"5449a7838e2c6d53747796e5198272c6f0f22aa2","after":"da9e3c24d15580b614b994eb4a39627a69516679","ref":"refs/heads/master","pushedAt":"2023-10-11T05:52:08.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"symbol concatenation with binary `+` (#2431)\n\n* dos2unix populate-deps.yml\r\n\r\n* Introduce binary `+` symbol concatenation","shortMessageHtmlLink":"symbol concatenation with binary <code>+</code> (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1931353907\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2431\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2431/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2431\">#2431</a>)"}},{"before":"63d6684fe907e8c141d4ffa0e73aefcc857dd83f","after":"5449a7838e2c6d53747796e5198272c6f0f22aa2","ref":"refs/heads/master","pushedAt":"2023-10-07T13:37:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"fix sqlite reading of empty values (#2412)\n\ncloses #2411","shortMessageHtmlLink":"fix sqlite reading of empty values (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1712196682\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2412\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2412/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2412\">#2412</a>)"}},{"before":"0ad4109b5b4da89f4fc7b7a01f629a72d3731b8b","after":"63d6684fe907e8c141d4ffa0e73aefcc857dd83f","ref":"refs/heads/master","pushedAt":"2023-08-09T07:29:50.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Enabling souffle-lang/souffle GitHub dependency graph with vcpk (#2427) (#2428)\n\nintegrate GitHub dependency-graph\r\n\r\nFor the story, a GitHub representative contacted me to test their new dependency graph integration for C++ projects based on vcpkg.\r\n\r\nInstructions that I followed:\r\nhttps://learn.microsoft.com/en-us/vcpkg/github-integration#dependency-graph\r\n\r\nRelates to:\r\nhttps://docs.github.com/en/code-security/supply-chain-security/understanding-your-software-supply-chain/about-supply-chain-security","shortMessageHtmlLink":"Enabling souffle-lang/souffle GitHub dependency graph with vcpk (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1819551642\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2427\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2427/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2427\">#2427</a>)…"}},{"before":"0ad4109b5b4da89f4fc7b7a01f629a72d3731b8b","after":"0515002cef812778cf426654320a6b0b6f399253","ref":"refs/heads/ghinteg","pushedAt":"2023-07-30T07:52:07.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"quentin","name":"Quentin Sabah","path":"/quentin","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/42100?s=80&v=4"},"commit":{"message":"Enabling souffle-lang/souffle GitHub dependency graph with vcpk (#2427)\n\nintegrate GitHub dependency-graph","shortMessageHtmlLink":"Enabling souffle-lang/souffle GitHub dependency graph with vcpk (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1819551642\" data-permission-text=\"Title is private\" data-url=\"https://github.com/souffle-lang/souffle/issues/2427\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/souffle-lang/souffle/pull/2427/hovercard\" href=\"https://github.com/souffle-lang/souffle/pull/2427\">#2427</a>)"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEKIqtUgA","startCursor":null,"endCursor":null}},"title":"Activity · souffle-lang/souffle"}