{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":545433471,"defaultBranch":"master","name":"souffle","ownerLogin":"strRM","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-10-04T11:11:17.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/114995819?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710503205.0","currentOid":""},"activityList":{"items":[{"before":"0ee65f8906fcca7878aa0451095a7e18caddfa74","after":"f58f4c2d0c42567cfe6cb41a7c204dfbfd55b704","ref":"refs/heads/rm/cet-2475-fix-stoi-no-conversion","pushedAt":"2024-03-15T16:20:49.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Fix stoi error when passing --jobs=auto in non-OpenMP code path\n\nWhen passing `auto` to the jobs in non-OpenMP mode, the `\"auto\"` ends\nup as an argument to `std::stoi` in  a couple of places, causing the\nprogram to crash. We fix this by mapping `auto` to `1` when OpenMP\nis not available.\n\nFixes #2475","shortMessageHtmlLink":"Fix stoi error when passing --jobs=auto in non-OpenMP code path"}},{"before":"21aa5ad9233380877794cca6ab7a04ad76f8be26","after":"0ee65f8906fcca7878aa0451095a7e18caddfa74","ref":"refs/heads/rm/cet-2475-fix-stoi-no-conversion","pushedAt":"2024-03-15T12:05:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Fix stoi error when passing --jobs=auto in non-OpenMP code path\n\nWhen passing `auto` to the jobs in non-OpenMP mode, the `\"auto\"` ends\nup as an argument to `std::stoi` in  a couple of places, causing the\nprogram to crash. We fix this by mapping `auto` to `1` when OpenMP\nis not available.\n\nFixes #2475","shortMessageHtmlLink":"Fix stoi error when passing --jobs=auto in non-OpenMP code path"}},{"before":"2c8d19c383dca31e9e24a78ff93ab61400e2600d","after":"21aa5ad9233380877794cca6ab7a04ad76f8be26","ref":"refs/heads/rm/cet-2475-fix-stoi-no-conversion","pushedAt":"2024-03-15T11:52:47.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Fix stoi error when passing --jobs=auto in non-OpenMP code path\n\nFixes #2475","shortMessageHtmlLink":"Fix stoi error when passing --jobs=auto in non-OpenMP code path"}},{"before":null,"after":"2c8d19c383dca31e9e24a78ff93ab61400e2600d","ref":"refs/heads/rm/cet-2475-fix-stoi-no-conversion","pushedAt":"2024-03-15T11:46:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Resolves 2475 stoi: no conversion, when passing --jobs=auto as command line argument","shortMessageHtmlLink":"Resolves 2475 stoi: no conversion, when passing --jobs=auto as comman…"}},{"before":"da9e3c24d15580b614b994eb4a39627a69516679","after":"d8049888d73a3695ce339f2c76cd839635d9f0cf","ref":"refs/heads/master","pushedAt":"2024-03-14T19:59:49.000Z","pushType":"push","commitsCount":22,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?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\">souffle-lang#2472</a>)"}},{"before":"42e432b3c56160431d43072bc98ec60828439b6c","after":"1f4f74928208e990e6f95a55a898e9b0a119b000","ref":"refs/heads/patch-1","pushedAt":"2024-01-31T18:30:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Update check_os.sh\n\n\r\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"}},{"before":"4bf3480625a27e13c210eaab2745e71c6f9196c4","after":"b65d87a3c519b63efa775a0b0af1e6928edd27e3","ref":"refs/heads/blank-csv-lines","pushedAt":"2023-10-23T16:27:44.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Added a test for quotes in quoted CSV.\n\nThis adds a test to make sure we can process\nquotes within a quoted column. Quotes in quotes\nneed to be double-quoted.","shortMessageHtmlLink":"Added a test for quotes in quoted CSV."}},{"before":"5088c51944178a03d30203a012ef204754f17aea","after":"4bf3480625a27e13c210eaab2745e71c6f9196c4","ref":"refs/heads/blank-csv-lines","pushedAt":"2023-10-23T16:24:16.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Added a test for quotes in quoted CSV.\n\nThis adds a test to make sure we can process\nquotes within a quoted column. Quotes in quotes\nneed to be double-quoted.","shortMessageHtmlLink":"Added a test for quotes in quoted CSV."}},{"before":"fba5a3de5330452f051925567086f776d38379bf","after":"5088c51944178a03d30203a012ef204754f17aea","ref":"refs/heads/blank-csv-lines","pushedAt":"2023-10-23T16:11:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Ensure we can read blank lines in CSV files.\n\nThere was a problem handling blank lines in a quoted\nCSV column when reading RFC4180 mode.\nInstead of continuing to read more lines, it dropped out\nassuming there was at least 1 character. Now, if the\nline we read contain 0 characters, it immediately goes\nback to read more lines.\n\nI did not notice this before, because the test did not\nuse rfc4180 csv files for input or output.","shortMessageHtmlLink":"Ensure we can read blank lines in CSV files."}},{"before":"d4de39bcf2c472c42e7f92ed1af099fba962b59d","after":"da9e3c24d15580b614b994eb4a39627a69516679","ref":"refs/heads/master","pushedAt":"2023-10-23T16:09:21.000Z","pushType":"push","commitsCount":90,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?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\">souffle-lang#2431</a>)"}},{"before":null,"after":"fba5a3de5330452f051925567086f776d38379bf","ref":"refs/heads/blank-csv-lines","pushedAt":"2023-10-23T16:00:52.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"strRM","name":null,"path":"/strRM","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/114995819?s=80&v=4"},"commit":{"message":"Ensure we can read blank lines in CSV files.\n\nThere was a problem handling blank lines in a quoted\nCSV column when reading RFC4180 mode.\nInstead of continuing to read more lines, it dropped out\nassuming there was at least 1 character. Now, if the\nline we read contain 0 characters, it immediately goes\nback to read more lines.\n\nI did not notice this before, because the test did not\nuse rfc4180 csv files for input or output.","shortMessageHtmlLink":"Ensure we can read blank lines in CSV files."}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xNVQxNjoyMDo0OS4wMDAwMDBazwAAAAQW3Mn3","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wMy0xNVQxNjoyMDo0OS4wMDAwMDBazwAAAAQW3Mn3","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0yM1QxNjowMDo1Mi4wMDAwMDBazwAAAAOdvXoj"}},"title":"Activity · strRM/souffle"}