{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":840854269,"defaultBranch":"main","name":"asmetal2java","ownerLogin":"isaacmaffeis","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2024-08-10T22:27:22.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/28917454?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1725485906.0","currentOid":""},"activityList":{"items":[{"before":"2bdd5e5ce4c846eaa1e71f7e1c493b7bb6d296c3","after":"9b2ffdeb494b4c63eaf171f219ff867f7bc74a70","ref":"refs/heads/main","pushedAt":"2024-09-18T07:41:41.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #20 from isaacmaffeis/isaac\n\nIsaac","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2532973778\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/20\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/20/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/20\">#20</a> from isaacmaffeis/isaac"}},{"before":"923d446de85d0ff53ab00a828f98f0e9096477b5","after":"f4ee9dceed0eafd467d2d024eea222be0eb035fd","ref":"refs/heads/isaac","pushedAt":"2024-09-17T20:25:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Update MainClass.java","shortMessageHtmlLink":"Update MainClass.java"}},{"before":"2bdd5e5ce4c846eaa1e71f7e1c493b7bb6d296c3","after":"923d446de85d0ff53ab00a828f98f0e9096477b5","ref":"refs/heads/isaac","pushedAt":"2024-09-10T19:53:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"added parser support","shortMessageHtmlLink":"added parser support"}},{"before":"3ed19e5d64626d158acc1cee506bc8c2127f9817","after":"2bdd5e5ce4c846eaa1e71f7e1c493b7bb6d296c3","ref":"refs/heads/isaac","pushedAt":"2024-09-09T08:00:05.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Update docker-image.yml","shortMessageHtmlLink":"Update docker-image.yml"}},{"before":"70f3dd082bf29c139b0e11ece3e91074e07287c2","after":"2bdd5e5ce4c846eaa1e71f7e1c493b7bb6d296c3","ref":"refs/heads/main","pushedAt":"2024-09-09T07:57:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Update docker-image.yml","shortMessageHtmlLink":"Update docker-image.yml"}},{"before":"2cf5fdad8fbf1a2da7b6e9c4c11b1b1ad24a47a9","after":"70f3dd082bf29c139b0e11ece3e91074e07287c2","ref":"refs/heads/main","pushedAt":"2024-09-07T20:11:29.000Z","pushType":"pr_merge","commitsCount":10,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #18 from isaacmaffeis/isaac\n\nIsaac","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2512051442\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/18\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/18/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/18\">#18</a> from isaacmaffeis/isaac"}},{"before":"c38c83a492d3652e89ef50533a69def3b872109c","after":"3ed19e5d64626d158acc1cee506bc8c2127f9817","ref":"refs/heads/isaac","pushedAt":"2024-09-07T20:09:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"add abstract domain support","shortMessageHtmlLink":"add abstract domain support"}},{"before":"f9fa4775b8e41e8509401f3c71e079a53adfdf46","after":"c38c83a492d3652e89ef50533a69def3b872109c","ref":"refs/heads/isaac","pushedAt":"2024-09-06T20:39:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"add abstract setters","shortMessageHtmlLink":"add abstract setters"}},{"before":"27354d2c58521b166af8500a34576d4f816db187","after":"f9fa4775b8e41e8509401f3c71e079a53adfdf46","ref":"refs/heads/isaac","pushedAt":"2024-09-05T20:42:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"added controlled getters","shortMessageHtmlLink":"added controlled getters"}},{"before":"6e4f59c9ea638e202a37e298733d348771e07cb3","after":"27354d2c58521b166af8500a34576d4f816db187","ref":"refs/heads/isaac","pushedAt":"2024-09-05T17:05:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed asm.name missing on controlled getters","shortMessageHtmlLink":"fixed asm.name missing on controlled getters"}},{"before":"442e03b42b54a7ebb4eb565c0f3c74c6eea38a01","after":"6e4f59c9ea638e202a37e298733d348771e07cb3","ref":"refs/heads/isaac","pushedAt":"2024-09-05T13:56:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"updated asm gen","shortMessageHtmlLink":"updated asm gen"}},{"before":"64690bda894a8d1dd53a54255c842b0fb33af8f6","after":"d24bf7025248ced0676afd4b9830a33e407daf57","ref":"refs/heads/asmeta","pushedAt":"2024-09-05T08:29:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Update MainClass.java","shortMessageHtmlLink":"Update MainClass.java"}},{"before":"8e4537aa38ca9bf4cfc0a80650f8649c8e6742bc","after":"64690bda894a8d1dd53a54255c842b0fb33af8f6","ref":"refs/heads/asmeta","pushedAt":"2024-09-05T08:18:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Update MainClass.java","shortMessageHtmlLink":"Update MainClass.java"}},{"before":"71796edfaf450f84613f1b2f7f5291472e15d651","after":"8e4537aa38ca9bf4cfc0a80650f8649c8e6742bc","ref":"refs/heads/asmeta","pushedAt":"2024-09-05T08:03:56.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"revert to original","shortMessageHtmlLink":"revert to original"}},{"before":"2cf5fdad8fbf1a2da7b6e9c4c11b1b1ad24a47a9","after":"71796edfaf450f84613f1b2f7f5291472e15d651","ref":"refs/heads/asmeta","pushedAt":"2024-09-04T21:49:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"revert to original","shortMessageHtmlLink":"revert to original"}},{"before":null,"after":"2cf5fdad8fbf1a2da7b6e9c4c11b1b1ad24a47a9","ref":"refs/heads/asmeta","pushedAt":"2024-09-04T21:38:26.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #17 from isaacmaffeis/isaac\n\nfixed elemsList issue and added support for Domain -> Codomain functions\r\nfixed condition logic bug","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2501635615\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/17/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/17\">#17</a> from isaacmaffeis/isaac"}},{"before":"37de17284c00bdef1deeccb56563c3367234572c","after":"442e03b42b54a7ebb4eb565c0f3c74c6eea38a01","ref":"refs/heads/isaac","pushedAt":"2024-09-04T21:37:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"added getter for domain -> codomain functions","shortMessageHtmlLink":"added getter for domain -&gt; codomain functions"}},{"before":"679667d9f043cf2277fc1e331b41a46fdb8e7b8a","after":"37de17284c00bdef1deeccb56563c3367234572c","ref":"refs/heads/isaac","pushedAt":"2024-09-03T21:41:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed .value.value issue","shortMessageHtmlLink":"fixed .value.value issue"}},{"before":"1a4d621f5073085968645b2f8aa6d7b74686d15b","after":"679667d9f043cf2277fc1e331b41a46fdb8e7b8a","ref":"refs/heads/isaac","pushedAt":"2024-09-03T12:37:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed missing open parenthesis bug","shortMessageHtmlLink":"fixed missing open parenthesis bug"}},{"before":"f036cde4f2dec8fcc4d6ea01c78103ae222d5a13","after":"1a4d621f5073085968645b2f8aa6d7b74686d15b","ref":"refs/heads/isaac","pushedAt":"2024-09-03T10:19:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed concrete domain int get_","shortMessageHtmlLink":"fixed concrete domain int get_"}},{"before":"92bbb7b4e69dc247a3ac9596e7bfc048bbbc879d","after":"2cf5fdad8fbf1a2da7b6e9c4c11b1b1ad24a47a9","ref":"refs/heads/main","pushedAt":"2024-09-02T22:21:30.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #17 from isaacmaffeis/isaac\n\nfixed elemsList issue and added support for Domain -> Codomain functions\r\nfixed condition logic bug","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2501635615\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/17\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/17/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/17\">#17</a> from isaacmaffeis/isaac"}},{"before":"02207327bd6e35e5e0d3414ba10aa263929adc99","after":"f036cde4f2dec8fcc4d6ea01c78103ae222d5a13","ref":"refs/heads/isaac","pushedAt":"2024-09-02T22:19:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed elemsList issue and added...\n\n support for Domain -> Codomain functions","shortMessageHtmlLink":"fixed elemsList issue and added..."}},{"before":"6932b6319d2a53db251d5450c8eb0e2183f45cda","after":"02207327bd6e35e5e0d3414ba10aa263929adc99","ref":"refs/heads/isaac","pushedAt":"2024-09-02T13:15:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed condition logic bug","shortMessageHtmlLink":"fixed condition logic bug"}},{"before":"ca037e986c179d7fde5498a81842f3ff42f653dd","after":"92bbb7b4e69dc247a3ac9596e7bfc048bbbc879d","ref":"refs/heads/main","pushedAt":"2024-09-02T10:09:26.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #10 from isaacmaffeis/isaac\n\nupdated ASM generator: added final state condition and fixed bugs","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2500553304\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/10\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/10/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/10\">#10</a> from isaacmaffeis/isaac"}},{"before":"b99ad6ab414a5f8e1e5a22162ce3d769fabb8249","after":"6932b6319d2a53db251d5450c8eb0e2183f45cda","ref":"refs/heads/isaac","pushedAt":"2024-09-02T10:07:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"updated ASM generator\n\nadded final state condition and fixed bugs","shortMessageHtmlLink":"updated ASM generator"}},{"before":"976e997e9c7d94408a29f09fea06f5158b6a5cb9","after":"ca037e986c179d7fde5498a81842f3ff42f653dd","ref":"refs/heads/main","pushedAt":"2024-09-01T10:54:24.000Z","pushType":"pr_merge","commitsCount":3,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #9 from isaacmaffeis/isaac\n\nfixed get().value for Concrete Domain","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2499389366\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/9\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/9/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/9\">#9</a> from isaacmaffeis/isaac"}},{"before":"5fc99a5583899e2f26417161932b450c48a0f78a","after":"b99ad6ab414a5f8e1e5a22162ce3d769fabb8249","ref":"refs/heads/isaac","pushedAt":"2024-09-01T10:47:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"fixed get().value for Concrete Domain\n\nelse if(fd.codomain instanceof ConcreteDomain){\n\t\t\t\t\tfunctionTerm.append(\".get().value\")","shortMessageHtmlLink":"fixed get().value for Concrete Domain"}},{"before":"8c3b8d6370a1ff786411134a5ca5c6e9fe6a517c","after":"5fc99a5583899e2f26417161932b450c48a0f78a","ref":"refs/heads/isaac","pushedAt":"2024-09-01T07:17:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge branch 'main' into isaac","shortMessageHtmlLink":"Merge branch 'main' into isaac"}},{"before":"3221cb692b41848e57497aa16c409e06def44922","after":"976e997e9c7d94408a29f09fea06f5158b6a5cb9","ref":"refs/heads/main","pushedAt":"2024-09-01T07:13:44.000Z","pushType":"pr_merge","commitsCount":5,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"Merge pull request #8 from isaacmaffeis/isaac\n\nadded asm generator","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2499275122\" data-permission-text=\"Title is private\" data-url=\"https://github.com/isaacmaffeis/asmetal2java/issues/8\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/isaacmaffeis/asmetal2java/pull/8/hovercard\" href=\"https://github.com/isaacmaffeis/asmetal2java/pull/8\">#8</a> from isaacmaffeis/isaac"}},{"before":"5f6fcb689ab645e402304653173480f6a88b61f5","after":"8c3b8d6370a1ff786411134a5ca5c6e9fe6a517c","ref":"refs/heads/isaac","pushedAt":"2024-09-01T07:12:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"isaacmaffeis","name":"Isaac Maffeis","path":"/isaacmaffeis","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/28917454?s=80&v=4"},"commit":{"message":"updated asm generator","shortMessageHtmlLink":"updated asm generator"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0xOFQwNzo0MTo0MS4wMDAwMDBazwAAAAS5W2FO","endCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOS0wMVQwNzoxMjoyOS4wMDAwMDBazwAAAASptqmF"}},"title":"Activity · isaacmaffeis/asmetal2java"}