{"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:1714560782.0","currentOid":""},"activityList":{"items":[{"before":"e249827867cf0084a48408d1bf4a566237fff7b9","after":"de422b082f7c351364854cdbf44c8c98517cf952","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-02T15:04:04.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":"Probably best if I get rid of PVLSeqAssign simultaneously as well","shortMessageHtmlLink":"Probably best if I get rid of PVLSeqAssign simultaneously as well"}},{"before":"e41d2f532af18c128dd3114f718d375efdbd341f","after":"e249827867cf0084a48408d1bf4a566237fff7b9","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-02T13:54:44.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":"Break everything and fix","shortMessageHtmlLink":"Break everything and fix"}},{"before":"82a61d2a678098dcf16e3383e09d4415b30d8919","after":"e41d2f532af18c128dd3114f718d375efdbd341f","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-02T11:53:33.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":"Give endpoints proper names","shortMessageHtmlLink":"Give endpoints proper names"}},{"before":"7ba83d8e48327c2c790ae041d0dc94c81b19b710","after":"82a61d2a678098dcf16e3383e09d4415b30d8919","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-02T10:00: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":"Almost there with names","shortMessageHtmlLink":"Almost there with names"}},{"before":"febafc7691033626253c2be6e240e65719d9d274","after":"7ba83d8e48327c2c790ae041d0dc94c81b19b710","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-02T08:24:03.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":"Make pretty printing of constructors","shortMessageHtmlLink":"Make pretty printing of constructors"}},{"before":"c0751ad2bf7d3458349414bf60dfc35f804129d1","after":"febafc7691033626253c2be6e240e65719d9d274","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-01T15:06:03.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":"???","shortMessageHtmlLink":"???"}},{"before":"344b0a651236f8d4c670abe3c6851eae15d1628a","after":"c0751ad2bf7d3458349414bf60dfc35f804129d1","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-01T13:09:01.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":"Resolve type errors to get functional program","shortMessageHtmlLink":"Resolve type errors to get functional program"}},{"before":"63422afac80efe93e58594f49b63da4315af7c8c","after":"344b0a651236f8d4c670abe3c6851eae15d1628a","ref":"refs/heads/veymont-codegen","pushedAt":"2024-05-01T11:16:38.000Z","pushType":"push","commitsCount":189,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Merge branch 'dev' into veymont-codegen","shortMessageHtmlLink":"Merge branch 'dev' into veymont-codegen"}},{"before":"7eaac7552578af2866e461cb2fc24b03e95c0bba","after":"d3f443884b0221fc01a882ec155401a5efe47979","ref":"refs/heads/dev","pushedAt":"2024-05-01T10:54: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":"add termination measure for set_choose functions","shortMessageHtmlLink":"add termination measure for set_choose functions"}},{"before":"53be6adff5c856753eaf7326c78f23e3c8264f96","after":null,"ref":"refs/heads/generic-channels","pushedAt":"2024-05-01T10:53:02.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"}},{"before":"59c7ae9670ce7d07c789813e93ca52d78fc2d022","after":"7eaac7552578af2866e461cb2fc24b03e95c0bba","ref":"refs/heads/dev","pushedAt":"2024-05-01T10:52:59.000Z","pushType":"pr_merge","commitsCount":35,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Merge pull request #1154 from utwente-fmt/generic-channels\n\nGenerics for PVL classes","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2150594875\" data-permission-text=\"Title is private\" data-url=\"https://github.com/utwente-fmt/vercors/issues/1154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/utwente-fmt/vercors/pull/1154/hovercard\" href=\"https://github.com/utwente-fmt/vercors/pull/1154\">#1154</a> from utwente-fmt/generic-channels"}},{"before":"f8051a980a31b4e9e797e1f7f7be20b560786794","after":"53be6adff5c856753eaf7326c78f23e3c8264f96","ref":"refs/heads/generic-channels","pushedAt":"2024-05-01T10:22:56.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Merge branch 'dev' into generic-channels","shortMessageHtmlLink":"Merge branch 'dev' into generic-channels"}},{"before":"88bb64115f2d59c8a8ccce8b375f78a16cc44128","after":"79c37ddda1ce9a961553b6aec763222b60d9e779","ref":"refs/heads/rasi_generator","pushedAt":"2024-05-01T08:58:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"PBHTasche","name":null,"path":"/PBHTasche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/97611979?s=80&v=4"},"commit":{"message":"Added support for equations between simple arithmetic expressions; implemented variable selection","shortMessageHtmlLink":"Added support for equations between simple arithmetic expressions; im…"}},{"before":"ccdd49946458c222db47216411a2d736b0eb1362","after":"59c7ae9670ce7d07c789813e93ca52d78fc2d022","ref":"refs/heads/dev","pushedAt":"2024-04-30T14:50:59.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 path separator on windows","shortMessageHtmlLink":"fix path separator on windows"}},{"before":"7a4db5ece98c837ecfb16578fc5f8d4ee3c34634","after":"f8051a980a31b4e9e797e1f7f7be20b560786794","ref":"refs/heads/generic-channels","pushedAt":"2024-04-30T14:35:05.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":"Reorder some cases to avoid lazyness inspection","shortMessageHtmlLink":"Reorder some cases to avoid lazyness inspection"}},{"before":"a0ecf71055f3d7700efca66e353365270eeb6066","after":"7a4db5ece98c837ecfb16578fc5f8d4ee3c34634","ref":"refs/heads/generic-channels","pushedAt":"2024-04-30T13:40:50.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":"Fix genericEndpoints.pvl","shortMessageHtmlLink":"Fix genericEndpoints.pvl"}},{"before":"35575817d95f947edc985830107ad095fd9f51ca","after":"a0ecf71055f3d7700efca66e353365270eeb6066","ref":"refs/heads/generic-channels","pushedAt":"2024-04-30T12:55:09.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":"Complete ancient renaming","shortMessageHtmlLink":"Complete ancient renaming"}},{"before":"aef15a47cc9b77cd9a25da59dd08e6419873597e","after":"ccdd49946458c222db47216411a2d736b0eb1362","ref":"refs/heads/dev","pushedAt":"2024-04-30T12:50:00.000Z","pushType":"pr_merge","commitsCount":3,"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 #1167 from sakehl/verifythis2019challenge3\n\nAdd challenge 3 from the verifyThis 2019 challenge","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2169617800\" data-permission-text=\"Title is private\" data-url=\"https://github.com/utwente-fmt/vercors/issues/1167\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/utwente-fmt/vercors/pull/1167/hovercard\" href=\"https://github.com/utwente-fmt/vercors/pull/1167\">#1167</a> from sakehl/verifythis2019challenge3"}},{"before":"19f897e4dcea02545ee172be9304f1c13fd8975c","after":"35575817d95f947edc985830107ad095fd9f51ca","ref":"refs/heads/generic-channels","pushedAt":"2024-04-30T11:53:20.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":"Make sure EStart/EEnd nodes are compared by reference. Ensure procedure return type is properly instantiated","shortMessageHtmlLink":"Make sure EStart/EEnd nodes are compared by reference. Ensure procedu…"}},{"before":"be70ec0f6e66c78fc362cb8e9eb80a7f8ee83ee7","after":"19f897e4dcea02545ee172be9304f1c13fd8975c","ref":"refs/heads/generic-channels","pushedAt":"2024-04-26T15:05:36.000Z","pushType":"push","commitsCount":167,"pusher":{"login":"bobismijnnaam","name":"Bob Rubbens","path":"/bobismijnnaam","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3082344?s=80&v=4"},"commit":{"message":"Fix breakage from merge","shortMessageHtmlLink":"Fix breakage from merge"}},{"before":"5bf654304229a16b54a2dde6aea55d5120d7a694","after":"88bb64115f2d59c8a8ccce8b375f78a16cc44128","ref":"refs/heads/rasi_generator","pushedAt":"2024-04-26T14:33:51.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"PBHTasche","name":null,"path":"/PBHTasche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/97611979?s=80&v=4"},"commit":{"message":"Fixed typo","shortMessageHtmlLink":"Fixed typo"}},{"before":"2dfe6c1726302b6b8883960cbadce49c26fedd3b","after":"be70ec0f6e66c78fc362cb8e9eb80a7f8ee83ee7","ref":"refs/heads/generic-channels","pushedAt":"2024-04-26T14:23:46.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":"Add identiy type mappings for neutral type variables introduced by classes and adts","shortMessageHtmlLink":"Add identiy type mappings for neutral type variables introduced by cl…"}},{"before":"f94dadb6092f91c3112057d88e693a7002b9ca03","after":"2dfe6c1726302b6b8883960cbadce49c26fedd3b","ref":"refs/heads/generic-channels","pushedAt":"2024-04-26T13:14:26.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":"Generalize coerceArgs","shortMessageHtmlLink":"Generalize coerceArgs"}},{"before":"81bc9d389a9c8d7dfd5abb9c1159706d15073b16","after":"f94dadb6092f91c3112057d88e693a7002b9ca03","ref":"refs/heads/generic-channels","pushedAt":"2024-04-26T11:23:16.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 ClassToRef","shortMessageHtmlLink":"Fix ClassToRef"}},{"before":"f5d753457fd5e62bae0a779e22e9ee4c40d828e1","after":"81bc9d389a9c8d7dfd5abb9c1159706d15073b16","ref":"refs/heads/generic-channels","pushedAt":"2024-04-26T10:06:05.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":"TClass arrows looks alright now","shortMessageHtmlLink":"TClass arrows looks alright now"}},{"before":"3b46a9570c5426a08f5ed1189a92b3ffbc973789","after":"f5d753457fd5e62bae0a779e22e9ee4c40d828e1","ref":"refs/heads/generic-channels","pushedAt":"2024-04-25T14:10:20.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":"Little bit of progress on Pieter's code review feedback","shortMessageHtmlLink":"Little bit of progress on Pieter's code review feedback"}},{"before":"48914613c999b660fb693364bf2b9a673cdc1cc0","after":"5bf654304229a16b54a2dde6aea55d5120d7a694","ref":"refs/heads/rasi_generator","pushedAt":"2024-04-25T13:47:40.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"PBHTasche","name":null,"path":"/PBHTasche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/97611979?s=80&v=4"},"commit":{"message":"Added a filter in assumption handling for states that would be impossible in combination with the concrete state","shortMessageHtmlLink":"Added a filter in assumption handling for states that would be imposs…"}},{"before":"d9402ac0b70b02141119700147b6312d86478324","after":"0e8d8a5a10952127bc264a087d4d2343aecd54a1","ref":"refs/heads/c-int-bool-coercion","pushedAt":"2024-04-23T16:18:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"ArmborstL","name":"Lukas Armborst","path":"/ArmborstL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61826806?s=80&v=4"},"commit":{"message":"Try having _Bool be an integer internally. Let's see what the CI says...","shortMessageHtmlLink":"Try having _Bool be an integer internally. Let's see what the CI says..."}},{"before":"9b74fd74a18ad232784329ba78fab55d623a1511","after":"d9402ac0b70b02141119700147b6312d86478324","ref":"refs/heads/c-int-bool-coercion","pushedAt":"2024-04-23T15:28:48.000Z","pushType":"push","commitsCount":138,"pusher":{"login":"ArmborstL","name":"Lukas Armborst","path":"/ArmborstL","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/61826806?s=80&v=4"},"commit":{"message":"allow explicit cast from int to boolean and vice versa","shortMessageHtmlLink":"allow explicit cast from int to boolean and vice versa"}},{"before":"4c0598b482e4e9e11f73b10c41b6026a38999948","after":"48914613c999b660fb693364bf2b9a673cdc1cc0","ref":"refs/heads/rasi_generator","pushedAt":"2024-04-23T13:44:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"PBHTasche","name":null,"path":"/PBHTasche","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/97611979?s=80&v=4"},"commit":{"message":"Fixed an error where tracked sequence sizes couldn't change in postconditions","shortMessageHtmlLink":"Fixed an error where tracked sequence sizes couldn't change in postco…"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEP-4QxQA","startCursor":null,"endCursor":null}},"title":"Activity · utwente-fmt/vercors"}