{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":646470446,"defaultBranch":"main","name":"model-checking","ownerLogin":"paultristanwagner","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-05-28T14:01:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13136968?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1696057805.0","currentOid":""},"activityList":{"items":[{"before":"d3891f58c03e3f189a4b2a660e8d87a082adcc3f","after":"26e56aaca58971e47447edc5ada86717e1291627","ref":"refs/heads/main","pushedAt":"2024-02-05T17:37:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Fix typo","shortMessageHtmlLink":"Fix typo"}},{"before":"25a41d9f6a0b9abd463a6e1d8caaf1cd9a830f28","after":"d3891f58c03e3f189a4b2a660e8d87a082adcc3f","ref":"refs/heads/main","pushedAt":"2023-10-12T17:50:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Generify TS, modify transitions and general clean up","shortMessageHtmlLink":"Generify TS, modify transitions and general clean up"}},{"before":"fe672751d076b6e811612d108d0ab99263ee60c3","after":"25a41d9f6a0b9abd463a6e1d8caaf1cd9a830f28","ref":"refs/heads/main","pushedAt":"2023-10-02T23:54:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Generify NBA and GNBA, minor performance improvement","shortMessageHtmlLink":"Generify NBA and GNBA, minor performance improvement"}},{"before":"87a7f7e15cd7eb926e5f4d6d36dae226c81f71cc","after":"fe672751d076b6e811612d108d0ab99263ee60c3","ref":"refs/heads/main","pushedAt":"2023-10-02T11:28:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Use sets instead of lists","shortMessageHtmlLink":"Use sets instead of lists"}},{"before":"08634df5fd4a596e929c1b9ad08f43c94aeca3cb","after":"87a7f7e15cd7eb926e5f4d6d36dae226c81f71cc","ref":"refs/heads/main","pushedAt":"2023-10-02T11:15:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Simplify LTL model checker","shortMessageHtmlLink":"Simplify LTL model checker"}},{"before":"10520491a247a6800b82c6567e49bb1518416ddb","after":"08634df5fd4a596e929c1b9ad08f43c94aeca3cb","ref":"refs/heads/main","pushedAt":"2023-09-30T07:12:39.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Fix bug in synchronous product and ts.copy()","shortMessageHtmlLink":"Fix bug in synchronous product and ts.copy()"}},{"before":"9aff3170a5c8e0d21ecf37f620d90ba7ab166b3d","after":"10520491a247a6800b82c6567e49bb1518416ddb","ref":"refs/heads/main","pushedAt":"2023-09-30T07:11:48.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Fix bug in synchronous product and ts.copy()","shortMessageHtmlLink":"Fix bug in synchronous product and ts.copy()"}},{"before":"4d40f35904f1ae830f047b76c1f8ea6dfa25cb64","after":null,"ref":"refs/heads/development","pushedAt":"2023-09-30T07:10:05.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"}},{"before":"e7e13c5b76d003063e40e7acdb1da22978beaaf3","after":"9aff3170a5c8e0d21ecf37f620d90ba7ab166b3d","ref":"refs/heads/main","pushedAt":"2023-09-30T07:08:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Fix bug in synchronous product and ts.copy()","shortMessageHtmlLink":"Fix bug in synchronous product and ts.copy()"}},{"before":null,"after":"4d40f35904f1ae830f047b76c1f8ea6dfa25cb64","ref":"refs/heads/development","pushedAt":"2023-09-29T13:26:00.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"WIP: Debugging LTL model checking","shortMessageHtmlLink":"WIP: Debugging LTL model checking"}},{"before":"69af078188d4d94722318b2c6ec3cf4f761c3bef","after":"e7e13c5b76d003063e40e7acdb1da22978beaaf3","ref":"refs/heads/main","pushedAt":"2023-09-29T08:42:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement implication in LTL","shortMessageHtmlLink":"Implement implication in LTL"}},{"before":"ee28e1629be6199996d06f29d15d1c8d6c5b1c5a","after":"69af078188d4d94722318b2c6ec3cf4f761c3bef","ref":"refs/heads/main","pushedAt":"2023-09-29T08:22:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement implication in LTL","shortMessageHtmlLink":"Implement implication in LTL"}},{"before":"2046ead69bba3c8c6ce9edba3b22b9ab2517197a","after":"ee28e1629be6199996d06f29d15d1c8d6c5b1c5a","ref":"refs/heads/main","pushedAt":"2023-09-28T19:38:23.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Add false and logical or to CTL* grammar","shortMessageHtmlLink":"Add false and logical or to CTL* grammar"}},{"before":"2874b8f8ca475cc012d5645a08f45921ac68be1d","after":"2046ead69bba3c8c6ce9edba3b22b9ab2517197a","ref":"refs/heads/main","pushedAt":"2023-09-28T19:36:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Add false and logical or to CTL* grammar","shortMessageHtmlLink":"Add false and logical or to CTL* grammar"}},{"before":"d9cd195ecc11027faf5fac703cd037cf52ec2df9","after":"2874b8f8ca475cc012d5645a08f45921ac68be1d","ref":"refs/heads/main","pushedAt":"2023-09-28T19:18:27.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement CTL* model checking","shortMessageHtmlLink":"Implement CTL* model checking"}},{"before":"2ec68636d6e125814df40ce3e1269c97c5108f48","after":"d9cd195ecc11027faf5fac703cd037cf52ec2df9","ref":"refs/heads/main","pushedAt":"2023-09-28T19:10:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement CTL* model checking","shortMessageHtmlLink":"Implement CTL* model checking"}},{"before":"1713a2cbe569c07d345bf7929f350a924f46fea6","after":"2ec68636d6e125814df40ce3e1269c97c5108f48","ref":"refs/heads/main","pushedAt":"2023-09-27T11:40:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Prototype for CTL*","shortMessageHtmlLink":"Prototype for CTL*"}},{"before":"e011065a35f189e68715ae60e039c0ef07fdde50","after":"1713a2cbe569c07d345bf7929f350a924f46fea6","ref":"refs/heads/main","pushedAt":"2023-09-27T11:35:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Reformat code","shortMessageHtmlLink":"Reformat code"}},{"before":"68a5b244d4a24a6a05aec0d1e2cdc2ce68fccf57","after":"e011065a35f189e68715ae60e039c0ef07fdde50","ref":"refs/heads/main","pushedAt":"2023-08-08T09:58:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Fix ambiguity in CTL grammar, make parsers more robust","shortMessageHtmlLink":"Fix ambiguity in CTL grammar, make parsers more robust"}},{"before":"fd6ad616b3d650ad72773c22f7c01d5c2adee94e","after":"68a5b244d4a24a6a05aec0d1e2cdc2ce68fccf57","ref":"refs/heads/main","pushedAt":"2023-06-06T13:44:34.077Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement LTL model checking","shortMessageHtmlLink":"Implement LTL model checking"}},{"before":"d4f97ae22283f3c635de2089a05e79797c4e25e6","after":"fd6ad616b3d650ad72773c22f7c01d5c2adee94e","ref":"refs/heads/main","pushedAt":"2023-06-05T17:26:52.878Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Shorthand notations for formula definition","shortMessageHtmlLink":"Shorthand notations for formula definition"}},{"before":"b5931c8329be025c08e08a7aa07386c82f977d5c","after":"d4f97ae22283f3c635de2089a05e79797c4e25e6","ref":"refs/heads/main","pushedAt":"2023-06-05T17:12:53.155Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement parser for LTL","shortMessageHtmlLink":"Implement parser for LTL"}},{"before":"4d4211cb21a7ea5a0b4f716016622b104c55c820","after":"b5931c8329be025c08e08a7aa07386c82f977d5c","ref":"refs/heads/main","pushedAt":"2023-06-05T16:26:51.656Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Add types for LTL formulae","shortMessageHtmlLink":"Add types for LTL formulae"}},{"before":"304538002fe4a04cca2dff0c7dd5cce0bfcdfc52","after":"4d4211cb21a7ea5a0b4f716016622b104c55c820","ref":"refs/heads/main","pushedAt":"2023-06-05T16:15:05.561Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Implement NBA, GNBA and synchronous product of TS and NBA","shortMessageHtmlLink":"Implement NBA, GNBA and synchronous product of TS and NBA"}},{"before":"d72e2b55e329def0660ff02f43c5dcbb75161c0c","after":"304538002fe4a04cca2dff0c7dd5cce0bfcdfc52","ref":"refs/heads/main","pushedAt":"2023-05-28T22:56:14.305Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Edit README","shortMessageHtmlLink":"Edit README"}},{"before":"ca5504ce18ead5fb3c447d2b344dee62a352702e","after":"d72e2b55e329def0660ff02f43c5dcbb75161c0c","ref":"refs/heads/main","pushedAt":"2023-05-28T22:54:41.196Z","pushType":"push","commitsCount":1,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Edit README","shortMessageHtmlLink":"Edit README"}},{"before":"14739d153ffdc438ea2dbbe7dde5b30abe8bb0b3","after":"ca5504ce18ead5fb3c447d2b344dee62a352702e","ref":"refs/heads/main","pushedAt":"2023-05-28T22:44:01.969Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Working prototype for CTL model checking","shortMessageHtmlLink":"Working prototype for CTL model checking"}},{"before":"0d8a45901b2ee5b12165f90beb60aa5e5aa5af6b","after":"14739d153ffdc438ea2dbbe7dde5b30abe8bb0b3","ref":"refs/heads/main","pushedAt":"2023-05-28T22:40:43.538Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Working prototype for CTL model checking","shortMessageHtmlLink":"Working prototype for CTL model checking"}},{"before":"2dae502c7bafbe640d7c2beb4f7f43cc7257a232","after":"0d8a45901b2ee5b12165f90beb60aa5e5aa5af6b","ref":"refs/heads/main","pushedAt":"2023-05-28T22:39:02.245Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Working prototype for CTL model checking","shortMessageHtmlLink":"Working prototype for CTL model checking"}},{"before":"78ac661268088640ceba17a8c25e7626d6e7e57f","after":"2dae502c7bafbe640d7c2beb4f7f43cc7257a232","ref":"refs/heads/main","pushedAt":"2023-05-28T22:37:53.669Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"paultristanwagner","name":"Paul Tristan Wagner","path":"/paultristanwagner","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/13136968?s=80&v=4"},"commit":{"message":"Working prototype for CTL model checking","shortMessageHtmlLink":"Working prototype for CTL model checking"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD8oqdjgA","startCursor":null,"endCursor":null}},"title":"Activity · paultristanwagner/model-checking"}