{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":380258771,"defaultBranch":"master","name":"gvc0","ownerLogin":"gradual-verification","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2021-06-25T14:12:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/49539297?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1719451455.0","currentOid":""},"activityList":{"items":[{"before":"bce6556f64b526ccc44cea809b07fb5c0d4743e1","after":"7f7842fb691f131c3c9d88248dae69bf240c1d15","ref":"refs/heads/master","pushedAt":"2024-08-05T17:12:13.000Z","pushType":"pr_merge","commitsCount":43,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Merge pull request #66 from gradual-verification/loop-perms\n\nProperly scope dynamic loop permissions","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2406618998\" data-permission-text=\"Title is private\" data-url=\"https://github.com/gradual-verification/gvc0/issues/66\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/gradual-verification/gvc0/pull/66/hovercard\" href=\"https://github.com/gradual-verification/gvc0/pull/66\">#66</a> from gradual-verification/loop-perms"}},{"before":"4a2d890b6bcaa0b980574776c78595c11525fbb9","after":"bce6556f64b526ccc44cea809b07fb5c0d4743e1","ref":"refs/heads/master","pushedAt":"2024-07-24T02:43:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jennalwise","name":null,"path":"/jennalwise","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9093900?s=80&v=4"},"commit":{"message":"07-17-24G run raw and compiled data","shortMessageHtmlLink":"07-17-24G run raw and compiled data"}},{"before":"0a8eadcb018cea27edd54af5d460e0e81e6d38a2","after":"720f140055271cf2037b4227ada017976f79cf58","ref":"refs/heads/loop-perms","pushedAt":"2024-07-22T18:54:06.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Do not add instance counter to predicate implementations","shortMessageHtmlLink":"Do not add instance counter to predicate implementations"}},{"before":"fd7114d2fc2201dd76576989eea98f32739f84b5","after":"4a2d890b6bcaa0b980574776c78595c11525fbb9","ref":"refs/heads/master","pushedAt":"2024-07-15T21:50:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jennalwise","name":null,"path":"/jennalwise","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9093900?s=80&v=4"},"commit":{"message":"Update figure_13.json\n\nUpdated version of this vega lite script for making percentile figures","shortMessageHtmlLink":"Update figure_13.json"}},{"before":"7aeb1f4992cfa74a3ae6ff7a7280b4a45cffa2fb","after":"fd7114d2fc2201dd76576989eea98f32739f84b5","ref":"refs/heads/master","pushedAt":"2024-07-15T20:11:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"jennalwise","name":null,"path":"/jennalwise","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/9093900?s=80&v=4"},"commit":{"message":"07-12-24 data run with compiled data","shortMessageHtmlLink":"07-12-24 data run with compiled data"}},{"before":"e6cf78bbba6038ca73d44b7452f54c3348165901","after":"0a8eadcb018cea27edd54af5d460e0e81e6d38a2","ref":"refs/heads/loop-perms","pushedAt":"2024-07-15T07:02:24.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix compaction","shortMessageHtmlLink":"Fix compaction"}},{"before":"9bbf400749e65907c5e92ffbb96d59742ff34fbc","after":"e6cf78bbba6038ca73d44b7452f54c3348165901","ref":"refs/heads/loop-perms","pushedAt":"2024-07-13T19:03:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Update test files","shortMessageHtmlLink":"Update test files"}},{"before":"07f51d9078aea6597e94d3294292f133dee7a0cc","after":"9bbf400749e65907c5e92ffbb96d59742ff34fbc","ref":"refs/heads/loop-perms","pushedAt":"2024-07-12T18:11:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix check for presence of permission references in specs","shortMessageHtmlLink":"Fix check for presence of permission references in specs"}},{"before":"6b05512ef23c333651faae8df5399a9f331b6ac6","after":"07f51d9078aea6597e94d3294292f133dee7a0cc","ref":"refs/heads/loop-perms","pushedAt":"2024-07-11T20:39:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix baseline checks dealing with equi-recursive imprecision in loop invariants","shortMessageHtmlLink":"Fix baseline checks dealing with equi-recursive imprecision in loop i…"}},{"before":"5db087a203d0ad5d0c4c277e0e05d741e632d976","after":"6b05512ef23c333651faae8df5399a9f331b6ac6","ref":"refs/heads/loop-perms","pushedAt":"2024-07-11T20:05:02.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Compile and run all verifier test cases using baseline checks","shortMessageHtmlLink":"Compile and run all verifier test cases using baseline checks"}},{"before":"b8524c0d559a0b0c10731beedaf2cbfb3fd32443","after":"5db087a203d0ad5d0c4c277e0e05d741e632d976","ref":"refs/heads/loop-perms","pushedAt":"2024-07-10T19:41:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Simplify/optimize runtime and check implementations","shortMessageHtmlLink":"Simplify/optimize runtime and check implementations"}},{"before":"2f31feb7bd9faf7e1e422427bc7646949a903075","after":"b8524c0d559a0b0c10731beedaf2cbfb3fd32443","ref":"refs/heads/loop-perms","pushedAt":"2024-07-08T20:05:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Temporarily bypass baseline","shortMessageHtmlLink":"Temporarily bypass baseline"}},{"before":"59fd4ec6bcca4ba074c323f1e179ed8529e04e72","after":"2f31feb7bd9faf7e1e422427bc7646949a903075","ref":"refs/heads/loop-perms","pushedAt":"2024-07-08T20:02:13.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Add infrastructure to print list of checks","shortMessageHtmlLink":"Add infrastructure to print list of checks"}},{"before":"8d651d57b27646d14c96199aa49372775b178594","after":"59fd4ec6bcca4ba074c323f1e179ed8529e04e72","ref":"refs/heads/loop-perms","pushedAt":"2024-07-07T23:20:44.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix using temp permissions when caller's permissions are not required","shortMessageHtmlLink":"Fix using temp permissions when caller's permissions are not required"}},{"before":"0387094ad91dba002f83c943bcf96eb10a54618a","after":"8d651d57b27646d14c96199aa49372775b178594","ref":"refs/heads/loop-perms","pushedAt":"2024-07-04T02:34:55.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Update test files","shortMessageHtmlLink":"Update test files"}},{"before":"f15f09433a504dda855b79539df6ec0a426c84e2","after":"0387094ad91dba002f83c943bcf96eb10a54618a","ref":"refs/heads/loop-perms","pushedAt":"2024-07-04T01:24:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix separation checking","shortMessageHtmlLink":"Fix separation checking"}},{"before":"b07172b3027fc30288ff64865a26d0b615876cc3","after":"f15f09433a504dda855b79539df6ec0a426c84e2","ref":"refs/heads/loop-perms","pushedAt":"2024-07-04T01:15:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Add separation checking","shortMessageHtmlLink":"Add separation checking"}},{"before":"309d4ad84939bc6cac79a9b38c839da09e628dab","after":"b07172b3027fc30288ff64865a26d0b615876cc3","ref":"refs/heads/loop-perms","pushedAt":"2024-07-02T18:23:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix permission tracking and dependency calculation","shortMessageHtmlLink":"Fix permission tracking and dependency calculation"}},{"before":"8f9c1c26c6e17dda5bcfacebada8a36dc96ab295","after":"309d4ad84939bc6cac79a9b38c839da09e628dab","ref":"refs/heads/loop-perms","pushedAt":"2024-07-01T22:36:32.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix `main` method handling","shortMessageHtmlLink":"Fix <code>main</code> method handling"}},{"before":"293fe0bb228bec0edd7e29e62415cf5bde8d09bb","after":"8f9c1c26c6e17dda5bcfacebada8a36dc96ab295","ref":"refs/heads/loop-perms","pushedAt":"2024-06-30T01:48:41.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Fix OwnedFields tests","shortMessageHtmlLink":"Fix OwnedFields tests"}},{"before":"b1ba47757eba91789a22d91cca55e65c8a0a35af","after":"293fe0bb228bec0edd7e29e62415cf5bde8d09bb","ref":"refs/heads/loop-perms","pushedAt":"2024-06-30T01:26:07.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Yay everything is implemented","shortMessageHtmlLink":"Yay everything is implemented"}},{"before":null,"after":"b1ba47757eba91789a22d91cca55e65c8a0a35af","ref":"refs/heads/loop-perms","pushedAt":"2024-06-27T01:24:15.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"WIP: Implement permission dependency graph","shortMessageHtmlLink":"WIP: Implement permission dependency graph"}},{"before":"4c50b40f006b8748e90c83cd597added1e78efe9","after":"7aeb1f4992cfa74a3ae6ff7a7280b4a45cffa2fb","ref":"refs/heads/master","pushedAt":"2024-06-20T20:48:01.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"conradz","name":"Conrad Zimmerman","path":"/conradz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1047153?s=80&v=4"},"commit":{"message":"Always add variable to capture result of non-void invoke and simplify code that previously did so only when result was used in a check","shortMessageHtmlLink":"Always add variable to capture result of non-void invoke and simplify…"}},{"before":"88075d446d51253c680131339f8b487c381affd2","after":"4c50b40f006b8748e90c83cd597added1e78efe9","ref":"refs/heads/master","pushedAt":"2024-06-11T22:06:50.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"cliu369","name":null,"path":"/cliu369","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/129416167?s=80&v=4"},"commit":{"message":"Issue #2: Changed parser to distinguish keywords from identifiers.","shortMessageHtmlLink":"Issue <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"939047889\" data-permission-text=\"Title is private\" data-url=\"https://github.com/gradual-verification/gvc0/issues/2\" data-hovercard-type=\"issue\" data-hovercard-url=\"/gradual-verification/gvc0/issues/2/hovercard\" href=\"https://github.com/gradual-verification/gvc0/issues/2\">#2</a>: Changed parser to distinguish keywords from identifiers."}},{"before":"a50147bfe1c3ebed6611bc1ed80593ea57755641","after":"88075d446d51253c680131339f8b487c381affd2","ref":"refs/heads/master","pushedAt":"2024-06-03T14:02:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"pgupta751","name":null,"path":"/pgupta751","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/90053302?s=80&v=4"},"commit":{"message":"added new c0 program addTwo","shortMessageHtmlLink":"added new c0 program addTwo"}},{"before":"e80d99facc7b83e58d17e8f1f1451911a86483a5","after":"35f4630ea92e3a0d40e8cb9a11843c842d734937","ref":"refs/heads/position","pushedAt":"2024-05-23T04:08:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"advancingdragon","name":"Long Nguyen","path":"/advancingdragon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52375?s=80&v=4"},"commit":{"message":"Added newline to build.sbt and quant-study stack list example.","shortMessageHtmlLink":"Added newline to build.sbt and quant-study stack list example."}},{"before":"5256d857e886cbd429f712a18e796ccb2a062889","after":"e80d99facc7b83e58d17e8f1f1451911a86483a5","ref":"refs/heads/position","pushedAt":"2024-05-23T04:00:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"advancingdragon","name":"Long Nguyen","path":"/advancingdragon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52375?s=80&v=4"},"commit":{"message":"Modified build.sbt to enable debugging in IntelliJ IDEA.","shortMessageHtmlLink":"Modified build.sbt to enable debugging in IntelliJ IDEA."}},{"before":null,"after":"5256d857e886cbd429f712a18e796ccb2a062889","ref":"refs/heads/position","pushedAt":"2024-05-22T07:04:04.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"advancingdragon","name":"Long Nguyen","path":"/advancingdragon","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52375?s=80&v=4"},"commit":{"message":"Line and column position information is now propagated to the Silver IR.","shortMessageHtmlLink":"Line and column position information is now propagated to the Silver IR."}},{"before":"8ae6e766925ab6c634b6fb960daad434d063cc38","after":null,"ref":"refs/heads/recreate-multiple","pushedAt":"2023-11-29T14:25:18.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"samestep","name":"Sam Estep","path":"/samestep","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/8246041?s=80&v=4"}},{"before":"b7760e93594b6d9321b10b30c2d4d21aa27b1ea2","after":"a50147bfe1c3ebed6611bc1ed80593ea57755641","ref":"refs/heads/master","pushedAt":"2023-11-29T14:17:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"icmccorm","name":"Ian McCormack","path":"/icmccorm","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30697012?s=80&v=4"},"commit":{"message":"Merge pull request #60 from gradual-verification/recreate-multiple\n\nAllow multiple `--recreate` permutations at once","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2001019466\" data-permission-text=\"Title is private\" data-url=\"https://github.com/gradual-verification/gvc0/issues/60\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/gradual-verification/gvc0/pull/60/hovercard\" href=\"https://github.com/gradual-verification/gvc0/pull/60\">#60</a> from gradual-verification/recreate-multiple"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wNVQxNzoxMjoxMy4wMDAwMDBazwAAAASSRswS","startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0wNVQxNzoxMjoxMy4wMDAwMDBazwAAAASSRswS","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMS0yOVQxNDoxNzo0My4wMDAwMDBazwAAAAO6-RAc"}},"title":"Activity · gradual-verification/gvc0"}