{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":140892739,"defaultBranch":"master","name":"mypyvy","ownerLogin":"wilcoxjay","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2018-07-13T21:03:02.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/229924?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1700693010.0","currentOid":""},"activityList":{"items":[{"before":"41c1e36f84ae551545b244b734c731eb7bda68cf","after":"3a055dfad3d13fb35b6125ab6f43fa6ea4493b5f","ref":"refs/heads/master","pushedAt":"2024-04-09T09:38:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Remove pd from gh-test","shortMessageHtmlLink":"Remove pd from gh-test"}},{"before":"2658fbce25a66c8e3cd463c7b523932f88805999","after":"41c1e36f84ae551545b244b734c731eb7bda68cf","ref":"refs/heads/master","pushedAt":"2024-04-09T09:18:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Add pd to gh-test","shortMessageHtmlLink":"Add pd to gh-test"}},{"before":"f496bbbe13d5e78606f66c96d11bdab3d837b160","after":"2658fbce25a66c8e3cd463c7b523932f88805999","ref":"refs/heads/master","pushedAt":"2024-04-09T09:08:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"odedp","name":"Oded Padon","path":"/odedp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16490799?s=80&v=4"},"commit":{"message":"Update makefile","shortMessageHtmlLink":"Update makefile"}},{"before":"ef3a25992b8fad95ee4a164fdde57b50c0e34512","after":"f496bbbe13d5e78606f66c96d11bdab3d837b160","ref":"refs/heads/master","pushedAt":"2024-04-09T08:23:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Give invariants distinct names in bosco example","shortMessageHtmlLink":"Give invariants distinct names in bosco example"}},{"before":"54b0ffadd2add3e9515cb6434e6bc26a0a0dc3ca","after":"ef3a25992b8fad95ee4a164fdde57b50c0e34512","ref":"refs/heads/master","pushedAt":"2024-04-09T08:15:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Add toy_consensus_cav24.pyv","shortMessageHtmlLink":"Add toy_consensus_cav24.pyv"}},{"before":"86b785cae0b322da94c4ccad8c96b16bfa9da156","after":"54b0ffadd2add3e9515cb6434e6bc26a0a0dc3ca","ref":"refs/heads/master","pushedAt":"2024-04-09T08:02:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"odedp","name":"Oded Padon","path":"/odedp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16490799?s=80&v=4"},"commit":{"message":"Delete examples covered by examples_2024, and move a couple of well-documented examples to examples_2024","shortMessageHtmlLink":"Delete examples covered by examples_2024, and move a couple of well-d…"}},{"before":"7b4f6129d7d944e80560a65f1a515dda04df68c7","after":"86b785cae0b322da94c4ccad8c96b16bfa9da156","ref":"refs/heads/master","pushedAt":"2024-04-09T07:54:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Add software architecture documentation","shortMessageHtmlLink":"Add software architecture documentation"}},{"before":"23edbe8d49d39bb673ac4d257e375913c4facc3e","after":"7b4f6129d7d944e80560a65f1a515dda04df68c7","ref":"refs/heads/master","pushedAt":"2024-04-09T07:27:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"odedp","name":"Oded Padon","path":"/odedp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16490799?s=80&v=4"},"commit":{"message":"Add initial batch of more documented and organized examples","shortMessageHtmlLink":"Add initial batch of more documented and organized examples"}},{"before":"1e80f5e1d3189cefe365f03f1d83965ab8c46752","after":"23edbe8d49d39bb673ac4d257e375913c4facc3e","ref":"refs/heads/master","pushedAt":"2024-04-09T05:22:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"separate target for github CI","shortMessageHtmlLink":"separate target for github CI"}},{"before":"d5d4c9266e7aea28cbbd32d18ff30333f72e9568","after":"1e80f5e1d3189cefe365f03f1d83965ab8c46752","ref":"refs/heads/master","pushedAt":"2024-04-09T05:22:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"separate target for github CI","shortMessageHtmlLink":"separate target for github CI"}},{"before":"0ed3ed9c56f4c68db3a9df6c6864393497f5ebc1","after":"d5d4c9266e7aea28cbbd32d18ff30333f72e9568","ref":"refs/heads/master","pushedAt":"2024-04-09T04:13:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"handle cvc4 not being installed in timeout logic","shortMessageHtmlLink":"handle cvc4 not being installed in timeout logic"}},{"before":"6ad15ccb3bae177e0c02d77ef3a59783801e4eba","after":"0ed3ed9c56f4c68db3a9df6c6864393497f5ebc1","ref":"refs/heads/master","pushedAt":"2024-04-09T04:01:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"handle cvc4 not being installed in timeout logic","shortMessageHtmlLink":"handle cvc4 not being installed in timeout logic"}},{"before":"ddbd066b80d531a60a456db7160d810c2f3aa0a0","after":"6ad15ccb3bae177e0c02d77ef3a59783801e4eba","ref":"refs/heads/master","pushedAt":"2024-04-09T03:49:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"fix naming of raft invariants","shortMessageHtmlLink":"fix naming of raft invariants"}},{"before":"29bb75e358c940f8172fbe23d3b08f97e2b896af","after":"ddbd066b80d531a60a456db7160d810c2f3aa0a0","ref":"refs/heads/master","pushedAt":"2024-04-09T03:36:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"fix bug in typechecking named theorems that are not onestate","shortMessageHtmlLink":"fix bug in typechecking named theorems that are not onestate"}},{"before":"05509afd13515c73995e639184a364c92d1174f7","after":"29bb75e358c940f8172fbe23d3b08f97e2b896af","ref":"refs/heads/master","pushedAt":"2024-04-09T03:24:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"bump python version","shortMessageHtmlLink":"bump python version"}},{"before":"c81012297f1ac5d667e6e80f50f3c54736acd7d3","after":"05509afd13515c73995e639184a364c92d1174f7","ref":"refs/heads/master","pushedAt":"2024-04-09T03:17:24.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"remove cvc4 from github CI","shortMessageHtmlLink":"remove cvc4 from github CI"}},{"before":"b38ef57a982ac74898ac79611dff088732e72853","after":"c81012297f1ac5d667e6e80f50f3c54736acd7d3","ref":"refs/heads/master","pushedAt":"2024-04-09T03:11:11.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"support referring to safety via keyword","shortMessageHtmlLink":"support referring to safety via keyword"}},{"before":"2fc6d519a3e023db2d73c1a6ee2e23a9590348ac","after":"b38ef57a982ac74898ac79611dff088732e72853","ref":"refs/heads/master","pushedAt":"2023-12-06T02:35:59.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Fix non exhaustive case analysis in typechecker.pre_typecheck_binder (#26)","shortMessageHtmlLink":"Fix non exhaustive case analysis in typechecker.pre_typecheck_binder (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2007213027\" data-permission-text=\"Title is private\" data-url=\"https://github.com/wilcoxjay/mypyvy/issues/26\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/wilcoxjay/mypyvy/pull/26/hovercard\" href=\"https://github.com/wilcoxjay/mypyvy/pull/26\">#…</a>"}},{"before":null,"after":"168adda5653b1e1b6f277856590cebaa98a9a9a0","ref":"refs/heads/jrw/github-issue-25","pushedAt":"2023-11-22T22:43:30.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"Fix non exhaustive case analysis in typechecker.pre_typecheck_binder","shortMessageHtmlLink":"Fix non exhaustive case analysis in typechecker.pre_typecheck_binder"}},{"before":"1a3c10b91ac760fe336c50b69b6c1671a8efff61","after":"2fc6d519a3e023db2d73c1a6ee2e23a9590348ac","ref":"refs/heads/master","pushedAt":"2023-11-22T08:27:12.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"odedp","name":"Oded Padon","path":"/odedp","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/16490799?s=80&v=4"},"commit":{"message":"Add always to axioms in fly output","shortMessageHtmlLink":"Add always to axioms in fly output"}},{"before":"f611dd0043899a4bd221d0e73469018e0dd9778f","after":"1a3c10b91ac760fe336c50b69b6c1671a8efff61","ref":"refs/heads/master","pushedAt":"2023-03-21T17:25:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"only print axioms if they are present -- fix ci","shortMessageHtmlLink":"only print axioms if they are present -- fix ci"}},{"before":"b68f35e365487f72ee5a94937fef331d28e145eb","after":"f611dd0043899a4bd221d0e73469018e0dd9778f","ref":"refs/heads/master","pushedAt":"2023-03-21T17:17:00.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"wilcoxjay","name":"James Wilcox","path":"/wilcoxjay","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/229924?s=80&v=4"},"commit":{"message":"add axioms to --print-program=fly","shortMessageHtmlLink":"add axioms to --print-program=fly"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEK9DpEwA","startCursor":null,"endCursor":null}},"title":"Activity · wilcoxjay/mypyvy"}