{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":366978663,"defaultBranch":"main","name":"EventBTool","ownerLogin":"viklauverk","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-05-13T08:06:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/50742667?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1720949228.0","currentOid":""},"activityList":{"items":[{"before":"ca739c766cc501fa1b63ca5d98d27d6dc248f051","after":"29fbe8b28e82382a90dd88e2917ae212c9185ff5","ref":"refs/heads/main","pushedAt":"2024-07-18T17:27:06.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Add source file.","shortMessageHtmlLink":"Add source file."}},{"before":"bbc0c0cc330c5eb4f0a650da3227a6006cb61d1e","after":"ca739c766cc501fa1b63ca5d98d27d6dc248f051","ref":"refs/heads/main","pushedAt":"2024-07-17T22:34:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Added defi to operators.","shortMessageHtmlLink":"Added defi to operators."}},{"before":"0034950045ae7efe88663ce137e54969b85e55fc","after":"bbc0c0cc330c5eb4f0a650da3227a6006cb61d1e","ref":"refs/heads/main","pushedAt":"2024-07-17T21:32:28.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Update tests for docgen.","shortMessageHtmlLink":"Update tests for docgen."}},{"before":"54e9e285b7581f00a626ccb61708e940b8dec00a","after":"0034950045ae7efe88663ce137e54969b85e55fc","ref":"refs/heads/main","pushedAt":"2024-07-16T21:38:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Simplify event-b grammar.","shortMessageHtmlLink":"Simplify event-b grammar."}},{"before":"60e4aa3d00d4aa7aba6db30db9d36c686fb24cb6","after":"54e9e285b7581f00a626ccb61708e940b8dec00a","ref":"refs/heads/main","pushedAt":"2024-07-16T20:11:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Update copyright year.","shortMessageHtmlLink":"Update copyright year."}},{"before":"e4e74ca349423cbe614ae9bd80d7b0f1490d5d0d","after":"60e4aa3d00d4aa7aba6db30db9d36c686fb24cb6","ref":"refs/heads/main","pushedAt":"2024-07-16T20:09:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Update copyright year.","shortMessageHtmlLink":"Update copyright year."}},{"before":"0528f9828cf09b3bd7ac12f7324e6646c9c5647d","after":"e4e74ca349423cbe614ae9bd80d7b0f1490d5d0d","ref":"refs/heads/main","pushedAt":"2024-07-16T20:09:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Put detection of prefix operators in lexer as well.","shortMessageHtmlLink":"Put detection of prefix operators in lexer as well."}},{"before":"299fa1d6db9b136a6e4270b9e05a8bef52729acb","after":"0528f9828cf09b3bd7ac12f7324e6646c9c5647d","ref":"refs/heads/main","pushedAt":"2024-07-15T09:40:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Add missing java source file.","shortMessageHtmlLink":"Add missing java source file."}},{"before":"a9428c7b84808858656755fb5d08276d3c643e5d","after":"299fa1d6db9b136a6e4270b9e05a8bef52729acb","ref":"refs/heads/main","pushedAt":"2024-07-15T09:40:30.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Re-add pre-generated pdfs.","shortMessageHtmlLink":"Re-add pre-generated pdfs."}},{"before":"225b7cdfc2deeed9277ca7b35e28fada6665270f","after":"ef080c5faaaf85479933baab9b04274c6237cc72","ref":"refs/heads/AntlrReproducer","pushedAt":"2024-07-14T13:29:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Remove imports.","shortMessageHtmlLink":"Remove imports."}},{"before":"2f398c074b6d34b97276847ec1a8db62f7f9f2f0","after":"225b7cdfc2deeed9277ca7b35e28fada6665270f","ref":"refs/heads/AntlrReproducer","pushedAt":"2024-07-14T13:18:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Re-add Version.java","shortMessageHtmlLink":"Re-add Version.java"}},{"before":"93609de4d44f0103bceab6683f2fdeb69a3e7a27","after":"2f398c074b6d34b97276847ec1a8db62f7f9f2f0","ref":"refs/heads/AntlrReproducer","pushedAt":"2024-07-14T13:16:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Simplify parser even further.","shortMessageHtmlLink":"Simplify parser even further."}},{"before":"cb4889e4a5ab5d5cfc59b85cae133f8c43d61683","after":"93609de4d44f0103bceab6683f2fdeb69a3e7a27","ref":"refs/heads/AntlrReproducer","pushedAt":"2024-07-14T10:17:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Add necessary files.","shortMessageHtmlLink":"Add necessary files."}},{"before":null,"after":"cb4889e4a5ab5d5cfc59b85cae133f8c43d61683","ref":"refs/heads/AntlrReproducer","pushedAt":"2024-07-14T09:27:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Minimize ANTLR grammar for reproducer.","shortMessageHtmlLink":"Minimize ANTLR grammar for reproducer."}},{"before":"444ff72fa2e87547a1076335a67e2d613d3ac867","after":"a9428c7b84808858656755fb5d08276d3c643e5d","ref":"refs/heads/main","pushedAt":"2024-07-14T09:21:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Temporarily stop docgen of theory.","shortMessageHtmlLink":"Temporarily stop docgen of theory."}},{"before":"6a34c9ef42f846759d0bdd7ec2decc70aac5c849","after":"444ff72fa2e87547a1076335a67e2d613d3ac867","ref":"refs/heads/main","pushedAt":"2024-07-14T09:12:29.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Temporarily stop testing theories.","shortMessageHtmlLink":"Temporarily stop testing theories."}},{"before":"2a939d87f1efdc65dcf2a1147b18ee3dd80fe7f5","after":"6a34c9ef42f846759d0bdd7ec2decc70aac5c849","ref":"refs/heads/main","pushedAt":"2024-07-13T16:27:57.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Work on rendering of theories.","shortMessageHtmlLink":"Work on rendering of theories."}},{"before":"833949f32db70e3d5f30f86d5092ad46f0deb395","after":"2a939d87f1efdc65dcf2a1147b18ee3dd80fe7f5","ref":"refs/heads/main","pushedAt":"2024-07-12T20:51:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Parse constructors/destructors with arguments.","shortMessageHtmlLink":"Parse constructors/destructors with arguments."}},{"before":"36f9fd8c3f51b9bf798032a56d61bc59b60e1a71","after":"833949f32db70e3d5f30f86d5092ad46f0deb395","ref":"refs/heads/main","pushedAt":"2024-07-12T20:28:04.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Jump into console with correct symbol table set when parse fails. This helps debugging parse fails of forumlas.","shortMessageHtmlLink":"Jump into console with correct symbol table set when parse fails. Thi…"}},{"before":"2864bf31a0defcfbceade86de30b34c88fd11e3b","after":"36f9fd8c3f51b9bf798032a56d61bc59b60e1a71","ref":"refs/heads/main","pushedAt":"2024-07-12T19:22:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Parse theorems inside Theory using parameter types in local symbol table.","shortMessageHtmlLink":"Parse theorems inside Theory using parameter types in local symbol ta…"}},{"before":"b16afd276ff31829223ccdb1f43ee4c4a5b3fb99","after":"2864bf31a0defcfbceade86de30b34c88fd11e3b","ref":"refs/heads/main","pushedAt":"2024-07-12T14:36:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Track specialised DataTypes and list the in the console using sys.ls.specialised-data-types","shortMessageHtmlLink":"Track specialised DataTypes and list the in the console using sys.ls.…"}},{"before":"b1b2bcc99698bd0b9b6725adcc05263fcd2a4b13","after":"b16afd276ff31829223ccdb1f43ee4c4a5b3fb99","ref":"refs/heads/main","pushedAt":"2024-07-11T22:10:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Added missing pdf.","shortMessageHtmlLink":"Added missing pdf."}},{"before":"5a0d79079fa0c72926a755427e604fe27b4abc30","after":"b1b2bcc99698bd0b9b6725adcc05263fcd2a4b13","ref":"refs/heads/main","pushedAt":"2024-07-11T21:20:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Added project info to new test model.","shortMessageHtmlLink":"Added project info to new test model."}},{"before":"8049ea357f85425f0decb1a8db2dcbe8d094355e","after":"5a0d79079fa0c72926a755427e604fe27b4abc30","ref":"refs/heads/main","pushedAt":"2024-07-11T21:13:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Added theory test case.","shortMessageHtmlLink":"Added theory test case."}},{"before":"becd7a4b969bf081c64d1a0c62d7e8b775d182bb","after":"8049ea357f85425f0decb1a8db2dcbe8d094355e","ref":"refs/heads/main","pushedAt":"2024-07-11T20:50:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Load imported theories from a theory.","shortMessageHtmlLink":"Load imported theories from a theory."}},{"before":"dbfbe7fc39b6c2f3683829a3993eb83de6fa08d3","after":"becd7a4b969bf081c64d1a0c62d7e8b775d182bb","ref":"refs/heads/main","pushedAt":"2024-07-10T21:36:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Adjust TeX template.","shortMessageHtmlLink":"Adjust TeX template."}},{"before":"6f1edb6e5803e5c7c9f1e2d55ac211a72b7ac853","after":"dbfbe7fc39b6c2f3683829a3993eb83de6fa08d3","ref":"refs/heads/main","pushedAt":"2024-07-10T21:28:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Properly parse formulas with theory operators that are infix/prefix and predicate/expression.","shortMessageHtmlLink":"Properly parse formulas with theory operators that are infix/prefix a…"}},{"before":"414a7ced764b8aafd4f95acac9d15509a5ec618c","after":"6f1edb6e5803e5c7c9f1e2d55ac211a72b7ac853","ref":"refs/heads/main","pushedAt":"2024-07-10T02:57:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Generate not-broken tex for theory.","shortMessageHtmlLink":"Generate not-broken tex for theory."}},{"before":"21d139f8069521eed1678762b38aaa717dc6f8c0","after":"414a7ced764b8aafd4f95acac9d15509a5ec618c","ref":"refs/heads/main","pushedAt":"2024-07-10T02:28:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Console command eb.show.part now has tab-completion.","shortMessageHtmlLink":"Console command eb.show.part now has tab-completion."}},{"before":"98c5dd6238cfaca5c2e75472b704451a33f79590","after":"21d139f8069521eed1678762b38aaa717dc6f8c0","ref":"refs/heads/main","pushedAt":"2024-07-09T17:38:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"weetmuts","name":"Fredrik Öhrström","path":"/weetmuts","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/5895863?s=80&v=4"},"commit":{"message":"Can read simple theory.","shortMessageHtmlLink":"Can read simple theory."}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOFQxNzoyNzowNi4wMDAwMDBazwAAAASDLi8v","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0xOFQxNzoyNzowNi4wMDAwMDBazwAAAASDLi8v","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wNy0wOVQxNzozODowMy4wMDAwMDBazwAAAAR68iMh"}},"title":"Activity · viklauverk/EventBTool"}