{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":54111079,"defaultBranch":"dev","name":"vercors","ownerLogin":"utwente-fmt","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2016-03-17T10:58:13.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9006547?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1715353554.0","currentOid":""},"activityList":{"items":[{"before":"8dfe19da185b53d24bd6ba922165e773edc628db","after":"1e0ccedd67bf0447fbcee85a7b4bf77103013273","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-17T15:09:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Refactor passkey event thing to be a bit more generic and cleaner","shortMessageHtmlLink":"Refactor passkey event thing to be a bit more generic and cleaner"}},{"before":"560303f8b2e84c24b641aef68d7eed997f30565d","after":"8dfe19da185b53d24bd6ba922165e773edc628db","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-17T14:44:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Encode chorperms that have default annotations","shortMessageHtmlLink":"Encode chorperms that have default annotations"}},{"before":"5cfedaa20c278a1b829392dee7404d0b7c1fc5d5","after":"560303f8b2e84c24b641aef68d7eed997f30565d","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-17T11:43:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Working on exploding flag","shortMessageHtmlLink":"Working on exploding flag"}},{"before":"6f1e09192f28ea63523458edeb0b406016c725c7","after":"5cfedaa20c278a1b829392dee7404d0b7c1fc5d5","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-17T10:20:20.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Lunchtime","shortMessageHtmlLink":"Lunchtime"}},{"before":"8192e723ca3211c3c3514ae1cbe2a83aef83763b","after":"7d76a11a14a60de0d6c993008f23b98ef90d000d","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-17T09:16:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"restore includes for cpp, hack: do not require llvmglobal to be resolved when computing Referrables","shortMessageHtmlLink":"restore includes for cpp, hack: do not require llvmglobal to be resol…"}},{"before":"e86720a47e06568938f3eb6e8fbd2f706b4fb5ca","after":"6f1e09192f28ea63523458edeb0b406016c725c7","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-16T15:02:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Fix a bug in the chor guard encoding where sometimes guards would disappear if the condition was just true. Also, loops and branches are projected properly now.","shortMessageHtmlLink":"Fix a bug in the chor guard encoding where sometimes guards would dis…"}},{"before":"193a4e38ec93bf79f2ab9189b8ab9191266bf62e","after":"8192e723ca3211c3c3514ae1cbe2a83aef83763b","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-16T13:30:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"oops","shortMessageHtmlLink":"oops"}},{"before":"9e7272616b695e5b73744e943cc04791a88edcbd","after":"193a4e38ec93bf79f2ab9189b8ab9191266bf62e","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-16T13:16:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"propagate origin, allow inputs without origin","shortMessageHtmlLink":"propagate origin, allow inputs without origin"}},{"before":"0e65a388304389c12f10e61a6efe02fd6cb281f3","after":"e86720a47e06568938f3eb6e8fbd2f706b4fb5ca","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-16T12:18:12.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Assignment annotations now also work up to implementation generation","shortMessageHtmlLink":"Assignment annotations now also work up to implementation generation"}},{"before":"01a77ed466650fa848db7ed467bc96c9c2a8f8bb","after":"9e7272616b695e5b73744e943cc04791a88edcbd","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-15T16:11:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"properly split antlr and non-antlr parsers, and extract common antlr structures to intercept tokens, parser settings, etc.","shortMessageHtmlLink":"properly split antlr and non-antlr parsers, and extract common antlr …"}},{"before":"678f37512367d311b850cec11a7dafb4440e1975","after":"0e65a388304389c12f10e61a6efe02fd6cb281f3","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-15T14:38:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Swap seems to do something useful","shortMessageHtmlLink":"Swap seems to do something useful"}},{"before":"5064b5058d6683e221d280bbd11a803d8af0a89b","after":"678f37512367d311b850cec11a7dafb4440e1975","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-14T15:06:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Rewrite code looks kind of correct again. Now for the parser","shortMessageHtmlLink":"Rewrite code looks kind of correct again. Now for the parser"}},{"before":"c8d38c81b3dc036e0b9e4516c9ba9130af8d8f1b","after":"01a77ed466650fa848db7ed467bc96c9c2a8f8bb","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-14T14:39:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"add some utility entry points","shortMessageHtmlLink":"add some utility entry points"}},{"before":"ef061c2aa34bc36ba29f128712793a5a5ef09c9a","after":"5064b5058d6683e221d280bbd11a803d8af0a89b","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-14T10:05:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"HAlfway through refactoring communicate","shortMessageHtmlLink":"HAlfway through refactoring communicate"}},{"before":"054472422b448c10dbbcd527f1ed4eff647b62c1","after":"ef061c2aa34bc36ba29f128712793a5a5ef09c9a","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-13T15:31:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Encode inequalities in choreographic verification","shortMessageHtmlLink":"Encode inequalities in choreographic verification"}},{"before":"082029d45008909f333adf8d28402ac0061833b9","after":"c8d38c81b3dc036e0b9e4516c9ba9130af8d8f1b","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-13T11:18:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"try profiling prediction cache","shortMessageHtmlLink":"try profiling prediction cache"}},{"before":"9157a4302562faaafc3f183902642462251da67a","after":"054472422b448c10dbbcd527f1ed4eff647b62c1","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-13T11:18:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Revert whitespace","shortMessageHtmlLink":"Revert whitespace"}},{"before":"ae5fe19666336a6fcb6e122e7b0f4d7a04ee347b","after":"9157a4302562faaafc3f183902642462251da67a","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-13T09:45:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Whitespace to flush cache","shortMessageHtmlLink":"Whitespace to flush cache"}},{"before":null,"after":"082029d45008909f333adf8d28402ac0061833b9","ref":"refs/heads/parser-analysis","pushedAt":"2024-05-10T15:05:54.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"parser analysis tools","shortMessageHtmlLink":"parser analysis tools"}},{"before":"8170ca18978f020078b9bdb625b7fe83447bd377","after":"3f089c186d23aa9c7feb0b731b325900f9a55a42","ref":"refs/heads/native-image","pushedAt":"2024-05-08T15:36:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"9529ad118de3a5a9a6347efa03a10afcadd7f135","after":"ae5fe19666336a6fcb6e122e7b0f4d7a04ee347b","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-08T14:31:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Remove a few more seqprogs","shortMessageHtmlLink":"Remove a few more seqprogs"}},{"before":null,"after":"8170ca18978f020078b9bdb625b7fe83447bd377","ref":"refs/heads/native-image","pushedAt":"2024-05-08T14:25:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"native image experimentation","shortMessageHtmlLink":"native image experimentation"}},{"before":"1bc197fb55de64d14f94c6d7442b296e8ef1e9a7","after":"9529ad118de3a5a9a6347efa03a10afcadd7f135","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-08T14:00:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Do a bunch of Seq/SeqProg renamings. Fix the technical veymont test suite.","shortMessageHtmlLink":"Do a bunch of Seq/SeqProg renamings. Fix the technical veymont test s…"}},{"before":"db8fb72a344ebada125120b73ea944d9ccfcc0a3","after":"1bc197fb55de64d14f94c6d7442b296e8ef1e9a7","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-08T13:16:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Try InChor/InEndpoint","shortMessageHtmlLink":"Try InChor/InEndpoint"}},{"before":"050adcb693788b61b2575a7928fe55416eb74d6a","after":"db8fb72a344ebada125120b73ea944d9ccfcc0a3","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-08T11:27:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Move choreography parameter encoding into generateimplementation.scala","shortMessageHtmlLink":"Move choreography parameter encoding into generateimplementation.scala"}},{"before":"df409626896d38830e321f7f790a18dcad14a0b1","after":"32e9dbfd59b7b09ad23b874588fc0d94cd6bf4fa","ref":"refs/heads/dev","pushedAt":"2024-05-07T15:53:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"make system errors much clearer, prompt user to report bug","shortMessageHtmlLink":"make system errors much clearer, prompt user to report bug"}},{"before":"5ce884ff5a0f0df0bbb97a383c28a541309096b3","after":null,"ref":"refs/heads/watch","pushedAt":"2024-05-07T14:27:52.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"}},{"before":"d3f443884b0221fc01a882ec155401a5efe47979","after":"df409626896d38830e321f7f790a18dcad14a0b1","ref":"refs/heads/dev","pushedAt":"2024-05-07T14:27:48.000Z","pushType":"pr_merge","commitsCount":16,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"Merge pull request #1192 from utwente-fmt/watch\n\nWatch","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2281119682\" data-permission-text=\"Title is private\" data-url=\"https://github.com/utwente-fmt/vercors/issues/1192\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/utwente-fmt/vercors/pull/1192/hovercard\" href=\"https://github.com/utwente-fmt/vercors/pull/1192\">#1192</a> from utwente-fmt/watch"}},{"before":"39bda1acbdef6605e274bb3cc85b4e8dde55e29d","after":"5ce884ff5a0f0df0bbb97a383c28a541309096b3","ref":"refs/heads/watch","pushedAt":"2024-05-07T13:54:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":".","shortMessageHtmlLink":"."}},{"before":"5ed5751e0c2550e5a54195d9b982f28e0b85b1d1","after":"39bda1acbdef6605e274bb3cc85b4e8dde55e29d","ref":"refs/heads/watch","pushedAt":"2024-05-07T13:52:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pieter-bos","name":"Pieter","path":"/pieter-bos","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/901022?s=80&v=4"},"commit":{"message":"fix one more watch cycle","shortMessageHtmlLink":"fix one more watch cycle"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAETQu8TAA","startCursor":null,"endCursor":null}},"title":"Activity · utwente-fmt/vercors"}