{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":734953452,"defaultBranch":"main","name":"volpic","ownerLogin":"CharlesAverill","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-12-23T06:16:23.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/46544495?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1707316745.0","currentOid":""},"activityList":{"items":[{"before":"80965c11db28489818266014d0bf36002aaf80d1","after":"096d3b9ca35bb15b7a74be8d62141cc06e37acbe","ref":"refs/heads/main","pushedAt":"2024-06-09T00:35:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"3b1c069c2e55097f80bb5261d84c86be276322da","after":"80965c11db28489818266014d0bf36002aaf80d1","ref":"refs/heads/main","pushedAt":"2024-06-09T00:34:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Light mode switch","shortMessageHtmlLink":"Light mode switch"}},{"before":"8efd75fa497c738c24c57c3215b414c0e93f1148","after":"3b1c069c2e55097f80bb5261d84c86be276322da","ref":"refs/heads/main","pushedAt":"2024-06-05T17:16:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Cleaning","shortMessageHtmlLink":"Cleaning"}},{"before":"6aaa404c0f99affaa5f39b65b7bbfcdb57ad4da3","after":"8efd75fa497c738c24c57c3215b414c0e93f1148","ref":"refs/heads/main","pushedAt":"2024-06-05T16:04:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Resolve merge","shortMessageHtmlLink":"Resolve merge"}},{"before":"db505dce0f834e70707ec2d7b54b953ca9f86c66","after":"6aaa404c0f99affaa5f39b65b7bbfcdb57ad4da3","ref":"refs/heads/main","pushedAt":"2024-06-05T16:03:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update dependencies","shortMessageHtmlLink":"Update dependencies"}},{"before":"9fc236f304ba35daed6853897876925ad3499cfd","after":"db505dce0f834e70707ec2d7b54b953ca9f86c66","ref":"refs/heads/main","pushedAt":"2024-06-05T15:58:30.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update dependencies","shortMessageHtmlLink":"Update dependencies"}},{"before":"b4c749d7fab452f3dc3d9fa244c6effbca5bb6d0","after":"9fc236f304ba35daed6853897876925ad3499cfd","ref":"refs/heads/main","pushedAt":"2024-06-05T15:50:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"9c46c805808a1ae19f42a7c6c37de4be866badca","after":"b4c749d7fab452f3dc3d9fa244c6effbca5bb6d0","ref":"refs/heads/main","pushedAt":"2024-06-05T15:49:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update usage instructions","shortMessageHtmlLink":"Update usage instructions"}},{"before":"1870638914ff7c8299d0c3f1085d7d8f755de351","after":"9c46c805808a1ae19f42a7c6c37de4be866badca","ref":"refs/heads/main","pushedAt":"2024-05-03T10:28:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"f5d5e14dcc003381d6bf9e6d2f3acef5cf62bfe5","after":"1870638914ff7c8299d0c3f1085d7d8f755de351","ref":"refs/heads/main","pushedAt":"2024-05-03T10:27:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"479df2b37e162345474e1d700369ffe5a3b28ef7","after":"f5d5e14dcc003381d6bf9e6d2f3acef5cf62bfe5","ref":"refs/heads/main","pushedAt":"2024-03-24T10:43:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Factorial works without modification now","shortMessageHtmlLink":"Factorial works without modification now"}},{"before":"fe8cc3cd3a726b35967924b2a9d7f320bd707f53","after":"479df2b37e162345474e1d700369ffe5a3b28ef7","ref":"refs/heads/main","pushedAt":"2024-03-24T10:41:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Factorial works without modification now","shortMessageHtmlLink":"Factorial works without modification now"}},{"before":"fd12e8b94166b71cee99aea974169f5cd427f225","after":"fe8cc3cd3a726b35967924b2a9d7f320bd707f53","ref":"refs/heads/main","pushedAt":"2024-03-22T22:00:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"More cleaning","shortMessageHtmlLink":"More cleaning"}},{"before":"ed1ad19354a167ac45a2bb7773c865202349ffcb","after":"fd12e8b94166b71cee99aea974169f5cd427f225","ref":"refs/heads/main","pushedAt":"2024-03-22T21:56:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"More cleaning","shortMessageHtmlLink":"More cleaning"}},{"before":"bfa87df952cf05adde5e35c0919b82e3add5d973","after":"ed1ad19354a167ac45a2bb7773c865202349ffcb","ref":"refs/heads/main","pushedAt":"2024-03-22T21:45:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Move lemmas","shortMessageHtmlLink":"Move lemmas"}},{"before":"144e330c297089bc8e97ecb209870b73d4802662","after":"bfa87df952cf05adde5e35c0919b82e3add5d973","ref":"refs/heads/main","pushedAt":"2024-03-22T19:01:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Annotate and clean proof","shortMessageHtmlLink":"Annotate and clean proof"}},{"before":"170dc9abb34c9d5990d694c4a432865354e99245","after":"144e330c297089bc8e97ecb209870b73d4802662","ref":"refs/heads/main","pushedAt":"2024-03-22T16:36:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"FACTORIAL VERIFIEDgit status!","shortMessageHtmlLink":"FACTORIAL VERIFIEDgit status!"}},{"before":"b8d454227451c6e652a0123e64fdf6e2b6297f87","after":"170dc9abb34c9d5990d694c4a432865354e99245","ref":"refs/heads/main","pushedAt":"2024-03-21T19:54:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Intermediate proof state","shortMessageHtmlLink":"Intermediate proof state"}},{"before":"3b6db67429601b62b41155f72f35e51bceacd4b7","after":"b8d454227451c6e652a0123e64fdf6e2b6297f87","ref":"refs/heads/main","pushedAt":"2024-03-20T22:01:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Modified palindrome proof kind of coming along?","shortMessageHtmlLink":"Modified palindrome proof kind of coming along?"}},{"before":"c29a52edd6e2c65e0eeaf1bd0365acbeae602d4a","after":"3b6db67429601b62b41155f72f35e51bceacd4b7","ref":"refs/heads/main","pushedAt":"2024-03-18T22:40:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Palindrome modified works for length-1 strings but breaks on anything else","shortMessageHtmlLink":"Palindrome modified works for length-1 strings but breaks on anything…"}},{"before":"14a867747233d1ae4afad33240a087cd41a9af21","after":"c29a52edd6e2c65e0eeaf1bd0365acbeae602d4a","ref":"refs/heads/main","pushedAt":"2024-03-18T21:34:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Added notation, started handling inlines better, trying to have palindrome done for paper submission","shortMessageHtmlLink":"Added notation, started handling inlines better, trying to have palin…"}},{"before":"8fbc94520bc2ad9c85510eb244d30328a66c3819","after":"14a867747233d1ae4afad33240a087cd41a9af21","ref":"refs/heads/main","pushedAt":"2024-02-07T14:31:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Release 0.1","shortMessageHtmlLink":"Release 0.1"}},{"before":"4744993763b0f8d9e73424d54330748081079381","after":"8fbc94520bc2ad9c85510eb244d30328a66c3819","ref":"refs/heads/main","pushedAt":"2024-02-07T14:28:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Update LICENSE","shortMessageHtmlLink":"Update LICENSE"}},{"before":"7350da2068354efe2357726132a0c917216dc310","after":"4744993763b0f8d9e73424d54330748081079381","ref":"refs/heads/main","pushedAt":"2024-02-05T22:26:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Almost done with algorithms_modified proof of linear_search","shortMessageHtmlLink":"Almost done with algorithms_modified proof of linear_search"}},{"before":"4b56409ac4b92e8938fb8ece746c0f7dc041ee1b","after":"7350da2068354efe2357726132a0c917216dc310","ref":"refs/heads/main","pushedAt":"2024-02-04T06:07:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"algorithms.pas lifts! Still some array bugs but those will be phased out eventually","shortMessageHtmlLink":"algorithms.pas lifts! Still some array bugs but those will be phased …"}},{"before":"9ace61f4be54ab1186095efc56649c5076243423","after":"4b56409ac4b92e8938fb8ece746c0f7dc041ee1b","ref":"refs/heads/main","pushedAt":"2024-01-30T23:48:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Loop generation is much more robust now. Confirmed that a simple loop lifts properly. Still getting linear search to lift correctly, I left some array things unfinished and now they're biting me","shortMessageHtmlLink":"Loop generation is much more robust now. Confirmed that a simple loop…"}},{"before":"543cf590a9f7da2cc26900835c78630bb6f6aeec","after":"9ace61f4be54ab1186095efc56649c5076243423","ref":"refs/heads/main","pushedAt":"2024-01-30T05:11:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Array generation is broken, but I wrote a nifty get_array proof to deal with dependent typing so that's cool","shortMessageHtmlLink":"Array generation is broken, but I wrote a nifty get_array proof to de…"}},{"before":"15e41980dbbcfa5c538f8a069d6ac37acbce15cc","after":"543cf590a9f7da2cc26900835c78630bb6f6aeec","ref":"refs/heads/main","pushedAt":"2024-01-29T20:41:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Start working on algorithms.pas","shortMessageHtmlLink":"Start working on algorithms.pas"}},{"before":"387316ada3cd8ae5546a628a1ddd11dd8b8ef4af","after":"15e41980dbbcfa5c538f8a069d6ac37acbce15cc","ref":"refs/heads/main","pushedAt":"2024-01-12T17:01:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"Added catch to lifter. Current lift rate ~4%. Functions lifting backwards still? Not sure","shortMessageHtmlLink":"Added catch to lifter. Current lift rate ~4%. Functions lifting backw…"}},{"before":"39081075fa0f1afb300be0f75efa51967e1c92cc","after":"387316ada3cd8ae5546a628a1ddd11dd8b8ef4af","ref":"refs/heads/main","pushedAt":"2024-01-09T21:23:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"CharlesAverill","name":"Charles Averill","path":"/CharlesAverill","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/46544495?s=80&v=4"},"commit":{"message":"If statements supported","shortMessageHtmlLink":"If statements supported"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEYCR-NAA","startCursor":null,"endCursor":null}},"title":"Activity · CharlesAverill/volpic"}