{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":95941280,"defaultBranch":"master","name":"Publications","ownerLogin":"AmpersandTarski","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2017-07-01T04:08:12.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/8818922?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719047776.0","currentOid":""},"activityList":{"items":[{"before":"4346983e871ae93dd0beaa467030c6a83f5b08bf","after":"0553cadcf494c990e970c6cda2af17e71ffeeb3d","ref":"refs/heads/master","pushedAt":"2024-06-22T09:16:35.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"Merge branch 'master' into Migration\n\n* master:\n  preprint submitted 2024/06/21\n  adapted Kurk.adl for migration demo\n  transfer Migration paper to RAMiCS\n  Consolidate Kurk.adl and Migration.thy\n  moved paper to directory 2024_FoIKS_Migration\n  Consolidate the submission of FoIKS 2024\n  submitted to FoIKS 2024\n  WIP\n  Final touch\n  one benefit added\n  small enhancements proposal brief\n  proposal brief made\n  teaser gemaakt\n  Initial research proposal with Tim\n\n# Conflicts:\n#\tGenerative Software/articleMigrationRaMiCS.tex","shortMessageHtmlLink":"Merge branch 'master' into Migration"}},{"before":"0553cadcf494c990e970c6cda2af17e71ffeeb3d","after":null,"ref":"refs/heads/Migration","pushedAt":"2024-06-22T09:16:16.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"}},{"before":"c16512e81b2c82933cd747a07c6af54a0edfb68c","after":"0553cadcf494c990e970c6cda2af17e71ffeeb3d","ref":"refs/heads/Migration","pushedAt":"2024-06-22T09:14:33.000Z","pushType":"push","commitsCount":18,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"Merge branch 'master' into Migration\n\n* master:\n  preprint submitted 2024/06/21\n  adapted Kurk.adl for migration demo\n  transfer Migration paper to RAMiCS\n  Consolidate Kurk.adl and Migration.thy\n  moved paper to directory 2024_FoIKS_Migration\n  Consolidate the submission of FoIKS 2024\n  submitted to FoIKS 2024\n  WIP\n  Final touch\n  one benefit added\n  small enhancements proposal brief\n  proposal brief made\n  teaser gemaakt\n  Initial research proposal with Tim\n\n# Conflicts:\n#\tGenerative Software/articleMigrationRaMiCS.tex","shortMessageHtmlLink":"Merge branch 'master' into Migration"}},{"before":"6abf0bb8ed25682cb6cc9a2c99f36892c15a5d24","after":"4346983e871ae93dd0beaa467030c6a83f5b08bf","ref":"refs/heads/master","pushedAt":"2024-06-22T05:19:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"preprint submitted 2024/06/21","shortMessageHtmlLink":"preprint submitted 2024/06/21"}},{"before":"3e3423cd187c571f48452fce01a3300e68604b04","after":"6abf0bb8ed25682cb6cc9a2c99f36892c15a5d24","ref":"refs/heads/master","pushedAt":"2024-06-22T04:30:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"adapted Kurk.adl for migration demo","shortMessageHtmlLink":"adapted Kurk.adl for migration demo"}},{"before":"bdf30f7ea36ed76439f31465e3f12c911f4c6de9","after":"c16512e81b2c82933cd747a07c6af54a0edfb68c","ref":"refs/heads/Migration","pushedAt":"2024-06-07T20:02:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sjcjoosten","name":"Sebastiaan Joosten","path":"/sjcjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7753626?s=80&v=4"},"commit":{"message":"minor textual edits","shortMessageHtmlLink":"minor textual edits"}},{"before":"485eb363fa54f0fe8cfa2c19ca366ab7caf56559","after":"bdf30f7ea36ed76439f31465e3f12c911f4c6de9","ref":"refs/heads/Migration","pushedAt":"2024-06-06T20:14:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sjcjoosten","name":"Sebastiaan Joosten","path":"/sjcjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7753626?s=80&v=4"},"commit":{"message":"Going through reviews. Done with the exception of two TODOs (in latex comments)","shortMessageHtmlLink":"Going through reviews. Done with the exception of two TODOs (in latex…"}},{"before":"0a5b989a1de871d4f08af1897539d01a076f7a79","after":"3e3423cd187c571f48452fce01a3300e68604b04","ref":"refs/heads/master","pushedAt":"2024-05-25T14:13:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"transfer Migration paper to RAMiCS","shortMessageHtmlLink":"transfer Migration paper to RAMiCS"}},{"before":null,"after":"485eb363fa54f0fe8cfa2c19ca366ab7caf56559","ref":"refs/heads/Migration","pushedAt":"2024-03-23T02:36:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"sjcjoosten","name":"Sebastiaan Joosten","path":"/sjcjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7753626?s=80&v=4"},"commit":{"message":"Ramics version of article","shortMessageHtmlLink":"Ramics version of article"}},{"before":"a6365a9d1d3c42062cd02ce598fe0837ded3a7a4","after":"0a5b989a1de871d4f08af1897539d01a076f7a79","ref":"refs/heads/master","pushedAt":"2023-12-11T07:23:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"Consolidate Kurk.adl and Migration.thy","shortMessageHtmlLink":"Consolidate Kurk.adl and Migration.thy"}},{"before":"2a4aa4a125c3ca4ba4641aa5fa0a285895f777ba","after":"a6365a9d1d3c42062cd02ce598fe0837ded3a7a4","ref":"refs/heads/master","pushedAt":"2023-12-11T07:17:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"moved paper to directory 2024_FoIKS_Migration","shortMessageHtmlLink":"moved paper to directory 2024_FoIKS_Migration"}},{"before":"bf94f68eea215ddee37b1b467b7b6a6f9e9a00a0","after":null,"ref":"refs/heads/Migration","pushedAt":"2023-12-11T07:13:42.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"}},{"before":"745231305b8f5cf84b48bed34f0dd2fdd6421f7c","after":"2a4aa4a125c3ca4ba4641aa5fa0a285895f777ba","ref":"refs/heads/master","pushedAt":"2023-12-11T07:10:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"Consolidate the submission of FoIKS 2024","shortMessageHtmlLink":"Consolidate the submission of FoIKS 2024"}},{"before":"c49dd23d1112ee183314b5b874996e7019478d5c","after":"745231305b8f5cf84b48bed34f0dd2fdd6421f7c","ref":"refs/heads/master","pushedAt":"2023-12-11T06:47:18.000Z","pushType":"push","commitsCount":61,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"Merge branch 'Migration'","shortMessageHtmlLink":"Merge branch 'Migration'"}},{"before":"388e3ebeb9de39f0d3a820d5c5f852e0dd62600b","after":null,"ref":"refs/tags/submitted_to_FACS","pushedAt":"2023-12-11T06:46:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"}},{"before":"b842962dfa85b9f8087aae52c01ef322218ebfa4","after":"bf94f68eea215ddee37b1b467b7b6a6f9e9a00a0","ref":"refs/heads/Migration","pushedAt":"2023-12-11T06:37:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"submitted to FoIKS 2024","shortMessageHtmlLink":"submitted to FoIKS 2024"}},{"before":"be8d4b1d8b72cae5f5be78e8321a3e7984b5754d","after":"b842962dfa85b9f8087aae52c01ef322218ebfa4","ref":"refs/heads/Migration","pushedAt":"2023-12-10T13:55:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"bdf19bbbf14ab3e62f5d10c544716783dea62779","after":"be8d4b1d8b72cae5f5be78e8321a3e7984b5754d","ref":"refs/heads/Migration","pushedAt":"2023-12-10T07:49:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"Final touch","shortMessageHtmlLink":"Final touch"}},{"before":"3a2d704958945a5e3161217f8a4b4e5b05e53ca5","after":"bdf19bbbf14ab3e62f5d10c544716783dea62779","ref":"refs/heads/Migration","pushedAt":"2023-12-09T18:49:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sjcjoosten","name":"Sebastiaan Joosten","path":"/sjcjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7753626?s=80&v=4"},"commit":{"message":"- renamed \"theory\" to \"approach\"\n- removed \"algorithm\" claims\n- fixed math regarding 'pop' in chapter 4 onwards\n- renamed enf to enforce for consistency\n- added an equivalent condition in part 4.1.5\n- minor spelling issues","shortMessageHtmlLink":"- renamed \"theory\" to \"approach\""}},{"before":"3b152dce62564a80d39c005e40019e34b888b269","after":"3a2d704958945a5e3161217f8a4b4e5b05e53ca5","ref":"refs/heads/Migration","pushedAt":"2023-12-07T06:00:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"typo","shortMessageHtmlLink":"typo"}},{"before":"a2e59568e0d1367a8704939bc6c1bf1acb892d9d","after":"3b152dce62564a80d39c005e40019e34b888b269","ref":"refs/heads/Migration","pushedAt":"2023-11-28T13:43:14.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"clean up","shortMessageHtmlLink":"clean up"}},{"before":"3574e2efe7520cd65c587f8395e7a8fbf9edb389","after":"a2e59568e0d1367a8704939bc6c1bf1acb892d9d","ref":"refs/heads/Migration","pushedAt":"2023-11-25T18:33:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"wip","shortMessageHtmlLink":"wip"}},{"before":"03c559d497ce2ddde7396909d70292068f757a33","after":"3574e2efe7520cd65c587f8395e7a8fbf9edb389","ref":"refs/heads/Migration","pushedAt":"2023-11-25T16:52:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"renamed for FoIKS","shortMessageHtmlLink":"renamed for FoIKS"}},{"before":"176340ec3daf53f8a7e055f6892993c9c909090f","after":"03c559d497ce2ddde7396909d70292068f757a33","ref":"refs/heads/Migration","pushedAt":"2023-11-19T20:12:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"8fbd193247422a5567723cf63f482f82ec1f61ff","after":"176340ec3daf53f8a7e055f6892993c9c909090f","ref":"refs/heads/Migration","pushedAt":"2023-11-19T14:35:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"sjcjoosten","name":"Sebastiaan Joosten","path":"/sjcjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7753626?s=80&v=4"},"commit":{"message":"Rename file so that it compiles with SJC","shortMessageHtmlLink":"Rename file so that it compiles with SJC"}},{"before":"256bfe54e76e94f6f43ca582a84f7200607e3fcf","after":"8fbd193247422a5567723cf63f482f82ec1f61ff","ref":"refs/heads/Migration","pushedAt":"2023-11-19T14:33:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"WIP","shortMessageHtmlLink":"WIP"}},{"before":"2afd0c31ab0d8a02b1f749c1052bbdc6ac7c16c3","after":"256bfe54e76e94f6f43ca582a84f7200607e3fcf","ref":"refs/heads/Migration","pushedAt":"2023-11-19T08:29:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"minor","shortMessageHtmlLink":"minor"}},{"before":"bbae9d073d403929cc925e1acc7b486fed2780ed","after":"2afd0c31ab0d8a02b1f749c1052bbdc6ac7c16c3","ref":"refs/heads/Migration","pushedAt":"2023-11-19T08:15:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"reformulate Ampersand paragraph","shortMessageHtmlLink":"reformulate Ampersand paragraph"}},{"before":"62f56f3c02c7a818b768793b1439cb2d63e5e955","after":"bbae9d073d403929cc925e1acc7b486fed2780ed","ref":"refs/heads/Migration","pushedAt":"2023-11-18T07:37:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"improved the abstract","shortMessageHtmlLink":"improved the abstract"}},{"before":"7ac29a879a0ac9b7712d80eb59ba0c8a6c7bef66","after":"62f56f3c02c7a818b768793b1439cb2d63e5e955","ref":"refs/heads/Migration","pushedAt":"2023-11-13T06:57:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"stefjoosten","name":"Stef Joosten","path":"/stefjoosten","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/275768?s=80&v=4"},"commit":{"message":"two new figures","shortMessageHtmlLink":"two new figures"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEbDdCxAA","startCursor":null,"endCursor":null}},"title":"Activity · AmpersandTarski/Publications"}