{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":174530006,"defaultBranch":"master","name":"black","ownerLogin":"black-sat","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-03-08T11:58:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/51610080?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1721657588.0","currentOid":""},"activityList":{"items":[{"before":"14aabfc3466885eed8c092c7778f1c7f404d9b36","after":"a1c18373c6693f2c666216057d53072242f1a9eb","ref":"refs/heads/project","pushedAt":"2024-08-30T14:24:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Fixed free variable counter","shortMessageHtmlLink":"Fixed free variable counter"}},{"before":"9faa233b7224e11fa8ca2a4d0b13f2149ad97571","after":"14aabfc3466885eed8c092c7778f1c7f404d9b36","ref":"refs/heads/project","pushedAt":"2024-08-30T14:20:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Integrated encoding for FOpLTL","shortMessageHtmlLink":"Integrated encoding for FOpLTL"}},{"before":"8dea877cfe7f8830475d97ed7bf3ff9e9062fb2e","after":"8f3be672f989503a0ca0effcfc95ae89c7a8b9e4","ref":"refs/heads/development","pushedAt":"2024-08-29T18:16:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Support for primed state variables","shortMessageHtmlLink":"Support for primed state variables"}},{"before":"1af170d403ffa85f6554044a430170becc888b41","after":"9faa233b7224e11fa8ca2a4d0b13f2149ad97571","ref":"refs/heads/project","pushedAt":"2024-08-29T10:09:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"All functions for encoding and debug pipeline stages are now private functions for their respective stages.","shortMessageHtmlLink":"All functions for encoding and debug pipeline stages are now private …"}},{"before":"5f0251454990ab9adf7e21dd35b12354161ddcfe","after":"1af170d403ffa85f6554044a430170becc888b41","ref":"refs/heads/project","pushedAt":"2024-08-28T14:38:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added the pipeline stage \"debug\". Its purpose is to print out whatever is received from the previous stage.","shortMessageHtmlLink":"Added the pipeline stage \"debug\". Its purpose is to print out whateve…"}},{"before":"b9ad72fff5517e226d53c47b37b5509113a87a90","after":"5f0251454990ab9adf7e21dd35b12354161ddcfe","ref":"refs/heads/project","pushedAt":"2024-08-27T15:10:57.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added encoding from FOLTL to FO automata.","shortMessageHtmlLink":"Added encoding from FOLTL to FO automata."}},{"before":"d8a2c3a5d82815607c4bae9d018ba385e621d306","after":"b9ad72fff5517e226d53c47b37b5509113a87a90","ref":"refs/heads/project","pushedAt":"2024-08-22T13:58:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Initial work on encoding","shortMessageHtmlLink":"Initial work on encoding"}},{"before":"42a4b78225b8b3e11d4bcacc0e81911122036250","after":"8dea877cfe7f8830475d97ed7bf3ff9e9062fb2e","ref":"refs/heads/development","pushedAt":"2024-08-21T16:53:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Fixed detection of hashability in `label`","shortMessageHtmlLink":"Fixed detection of hashability in <code>label</code>"}},{"before":"510a1e3ce4da9cc499178611c437b22b60fde65a","after":"42a4b78225b8b3e11d4bcacc0e81911122036250","ref":"refs/heads/development","pushedAt":"2024-08-21T09:36:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Fix to documentation","shortMessageHtmlLink":"Fix to documentation"}},{"before":"27117d0d21cc8bde0dde26c4bfe2190f029354fc","after":"d8a2c3a5d82815607c4bae9d018ba385e621d306","ref":"refs/heads/project","pushedAt":"2024-08-21T08:07:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Fixed a problem that turned negated atom to  non-negated.","shortMessageHtmlLink":"Fixed a problem that turned negated atom to non-negated."}},{"before":"15b93f530e0ec9597e79d4c041fd4a4a9475edaa","after":"27117d0d21cc8bde0dde26c4bfe2190f029354fc","ref":"refs/heads/project","pushedAt":"2024-08-21T07:57:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Fixed free variable counter","shortMessageHtmlLink":"Fixed free variable counter"}},{"before":"6a4519bbe033799a142819f4fd77d8530c71c0fb","after":"15b93f530e0ec9597e79d4c041fd4a4a9475edaa","ref":"refs/heads/project","pushedAt":"2024-08-21T07:17:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Free variables counter no longer consider declared objects as free variables.","shortMessageHtmlLink":"Free variables counter no longer consider declared objects as free va…"}},{"before":"131d533c08aa7e758c381141526440a4f3f57656","after":"6a4519bbe033799a142819f4fd77d8530c71c0fb","ref":"refs/heads/project","pushedAt":"2024-08-21T07:02:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added utils.hpp for common functions. Adopted free variables counter to use set_term type.","shortMessageHtmlLink":"Added utils.hpp for common functions. Adopted free variables counter …"}},{"before":"08e6c13a19583b6d5379efc97f4ae7b7d10f4ab7","after":"5259febe4204865b930dc65ed35377771b29146c","ref":"refs/heads/features/synthetico","pushedAt":"2024-08-19T13:58:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Fix for new cvc5 versions","shortMessageHtmlLink":"Fix for new cvc5 versions"}},{"before":"e12fbb2a4e15f4fad1c90d1ef4b71a2d730cc410","after":"131d533c08aa7e758c381141526440a4f3f57656","ref":"refs/heads/project","pushedAt":"2024-08-15T13:56:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Function term_to_string is now working on atom terms.","shortMessageHtmlLink":"Function term_to_string is now working on atom terms."}},{"before":"75db7b231689d886dc0bfea541021594a10c6700","after":"510a1e3ce4da9cc499178611c437b22b60fde65a","ref":"refs/heads/development","pushedAt":"2024-08-14T15:01:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"case-sensitiveness fix in docs examples","shortMessageHtmlLink":"case-sensitiveness fix in docs examples"}},{"before":"0e05742350e361be77676bd7f959be61ead1a58c","after":"e12fbb2a4e15f4fad1c90d1ef4b71a2d730cc410","ref":"refs/heads/project","pushedAt":"2024-08-05T08:51:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Fix: added lambda functions to handle arithmetic operators.","shortMessageHtmlLink":"Fix: added lambda functions to handle arithmetic operators."}},{"before":"9caf68149369c1d3a37e7dd46ee4e61e5e4d15be","after":"0e05742350e361be77676bd7f959be61ead1a58c","ref":"refs/heads/project","pushedAt":"2024-07-28T15:02:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added free variables counter.","shortMessageHtmlLink":"Added free variables counter."}},{"before":"55b38ab6d3012180eba7c762b482cf94b08ea005","after":"9caf68149369c1d3a37e7dd46ee4e61e5e4d15be","ref":"refs/heads/project","pushedAt":"2024-07-26T08:50:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Completed conversion to NNF.","shortMessageHtmlLink":"Completed conversion to NNF."}},{"before":"efbf0a8b3761a955ef841f6d48c82ce3dfb00c57","after":"55b38ab6d3012180eba7c762b482cf94b08ea005","ref":"refs/heads/project","pushedAt":"2024-07-26T08:46:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Conversion to NNF completed.","shortMessageHtmlLink":"Conversion to NNF completed."}},{"before":"16fb0940a25dd57bd14fca7432abd82be728f4e3","after":"efbf0a8b3761a955ef841f6d48c82ce3dfb00c57","ref":"refs/heads/project","pushedAt":"2024-07-25T13:09:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added conversion to NNF","shortMessageHtmlLink":"Added conversion to NNF"}},{"before":"8e76d9c450737bc8004b01648e4f574024169f56","after":"16fb0940a25dd57bd14fca7432abd82be728f4e3","ref":"refs/heads/project","pushedAt":"2024-07-25T12:30:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added conversion to NNF","shortMessageHtmlLink":"Added conversion to NNF"}},{"before":"54dd527cc22a09d32bb4bcff1ed42b902b13ef1d","after":"8e76d9c450737bc8004b01648e4f574024169f56","ref":"refs/heads/project","pushedAt":"2024-07-24T12:46:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added Exercise 1.","shortMessageHtmlLink":"Added Exercise 1."}},{"before":"7b07778aa8e3c91b15ef27a122ea8fec13eab9de","after":"54dd527cc22a09d32bb4bcff1ed42b902b13ef1d","ref":"refs/heads/project","pushedAt":"2024-07-24T12:16:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added Exercise1: check if a formula only involves future LTL operators and, if so, convert them all to past LTL operators.","shortMessageHtmlLink":"Added Exercise1: check if a formula only involves future LTL operator…"}},{"before":null,"after":"7b07778aa8e3c91b15ef27a122ea8fec13eab9de","ref":"refs/heads/project","pushedAt":"2024-07-22T14:13:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Alex-Dell1","name":"Alex Della Schiava","path":"/Alex-Dell1","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/76654679?s=80&v=4"},"commit":{"message":"Added code to API tutorial","shortMessageHtmlLink":"Added code to API tutorial"}},{"before":"d025e8633fe5bb23fdc84eddb08a84c2b25b3227","after":"75db7b231689d886dc0bfea541021594a10c6700","ref":"refs/heads/development","pushedAt":"2024-07-17T13:27:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Work-around for a G++ inconsistency with Clang++ that causes an incompatibility with Catch2 macros","shortMessageHtmlLink":"Work-around for a G++ inconsistency with Clang++ that causes an incom…"}},{"before":"3c93ad932cb1dbbf30daf04a17bcf46d9de44325","after":"d025e8633fe5bb23fdc84eddb08a84c2b25b3227","ref":"refs/heads/development","pushedAt":"2024-07-15T12:37:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Yet another fix for Fedora","shortMessageHtmlLink":"Yet another fix for Fedora"}},{"before":"6ac0aa6e0cca44bc8e7962af303bde4704c00cd4","after":"3c93ad932cb1dbbf30daf04a17bcf46d9de44325","ref":"refs/heads/development","pushedAt":"2024-07-15T07:42:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Other fixes for compilation on Fedora","shortMessageHtmlLink":"Other fixes for compilation on Fedora"}},{"before":"5cb63d728e8148b26507f497ef55c35e7aadc303","after":"6ac0aa6e0cca44bc8e7962af303bde4704c00cd4","ref":"refs/heads/development","pushedAt":"2024-07-15T07:19:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Fixes for compilation on Fedora","shortMessageHtmlLink":"Fixes for compilation on Fedora"}},{"before":"50b6caf0bd08d8fc322799cdc36a26d0996b1010","after":"5cb63d728e8148b26507f497ef55c35e7aadc303","ref":"refs/heads/development","pushedAt":"2024-07-13T10:34:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"nicola-gigante","name":"Nicola Gigante","path":"/nicola-gigante","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6161259?s=80&v=4"},"commit":{"message":"Little fix for compilation on Linux","shortMessageHtmlLink":"Little fix for compilation on Linux"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEqMCDRgA","startCursor":null,"endCursor":null}},"title":"Activity · black-sat/black"}