{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":630194512,"defaultBranch":"main","name":"dafny-syntax-tutorial","ownerLogin":"tchajed","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-04-19T21:43:55.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/1255037?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1681940637.0","currentOid":""},"activityList":{"items":[{"before":"0854a6b2098e252341ac1113e57a6e86b1e464c1","after":"0e8a97b6b5be66d5eb05f125b13e0ad0d71ba57b","ref":"refs/heads/main","pushedAt":"2023-09-27T16:25:39.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Update library state machine example","shortMessageHtmlLink":"Update library state machine example"}},{"before":"90eda2213c52994633be7a6c86fa088776d6837d","after":"0854a6b2098e252341ac1113e57a6e86b1e464c1","ref":"refs/heads/main","pushedAt":"2023-09-14T01:21:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Update error message text","shortMessageHtmlLink":"Update error message text"}},{"before":"e7fcaa16877c8a8c9ec4586f7584a15009818325","after":"90eda2213c52994633be7a6c86fa088776d6837d","ref":"refs/heads/main","pushedAt":"2023-09-14T01:17:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Progress on fast exp proof","shortMessageHtmlLink":"Progress on fast exp proof"}},{"before":"b1881a4411b176929d749a59ec70316b01e7aed2","after":"e7fcaa16877c8a8c9ec4586f7584a15009818325","ref":"refs/heads/main","pushedAt":"2023-09-13T22:48:17.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add a bunch more proof","shortMessageHtmlLink":"Add a bunch more proof"}},{"before":"fe0c9b5aca10da9eaa23a8ed5997816818a2ffb0","after":"b1881a4411b176929d749a59ec70316b01e7aed2","ref":"refs/heads/main","pushedAt":"2023-09-13T16:26:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Uncomment one verification error in lec1","shortMessageHtmlLink":"Uncomment one verification error in lec1"}},{"before":"dfcc3fcf6a818be9c214ed23a6966c9e280b73b0","after":"fe0c9b5aca10da9eaa23a8ed5997816818a2ffb0","ref":"refs/heads/main","pushedAt":"2023-05-10T21:06:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add negation examples to logic tutorial","shortMessageHtmlLink":"Add negation examples to logic tutorial"}},{"before":"ccdb2569da12cb791a50880dff5d2161638c4d2d","after":"dfcc3fcf6a818be9c214ed23a6966c9e280b73b0","ref":"refs/heads/main","pushedAt":"2023-05-10T00:18:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Start a tutorial on logic","shortMessageHtmlLink":"Start a tutorial on logic"}},{"before":"cf4d4405d95fcf2c09cde316d3cddba0780e2d12","after":"ccdb2569da12cb791a50880dff5d2161638c4d2d","ref":"refs/heads/main","pushedAt":"2023-05-09T22:58:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"More comments","shortMessageHtmlLink":"More comments"}},{"before":"8813a42cc6405b9a99783e2af41908f5351cf105","after":"cf4d4405d95fcf2c09cde316d3cddba0780e2d12","ref":"refs/heads/main","pushedAt":"2023-05-09T22:56:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Use datatype updates consistently","shortMessageHtmlLink":"Use datatype updates consistently"}},{"before":"f28946364d23ad468fcc5ab39fef2162c882b82e","after":"8813a42cc6405b9a99783e2af41908f5351cf105","ref":"refs/heads/main","pushedAt":"2023-05-09T22:53:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add a datatype update to example","shortMessageHtmlLink":"Add a datatype update to example"}},{"before":"cefc0a71a92a0536af55d8ea6d822fa004aedff1","after":"f28946364d23ad468fcc5ab39fef2162c882b82e","ref":"refs/heads/main","pushedAt":"2023-05-09T22:49:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add an example state machine","shortMessageHtmlLink":"Add an example state machine"}},{"before":"ff121e7a2d00e9c02adc3c9ebf31e3f8f679bf50","after":"cefc0a71a92a0536af55d8ea6d822fa004aedff1","ref":"refs/heads/main","pushedAt":"2023-05-08T03:27:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Link to YouTube videos","shortMessageHtmlLink":"Link to YouTube videos"}},{"before":"2637854258df414983512fb972686253b5851362","after":"ff121e7a2d00e9c02adc3c9ebf31e3f8f679bf50","ref":"refs/heads/main","pushedAt":"2023-05-07T23:06:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Remove ghost so we don't have to explain","shortMessageHtmlLink":"Remove ghost so we don't have to explain"}},{"before":"d534fd79d034e517a2b6f174f5f28d99329f2872","after":"2637854258df414983512fb972686253b5851362","ref":"refs/heads/main","pushedAt":"2023-05-07T22:55:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Fix lec4 outline","shortMessageHtmlLink":"Fix lec4 outline"}},{"before":"c38eed3ed9fd9b4cb1c5538f3eff0cc990d2f329","after":"d534fd79d034e517a2b6f174f5f28d99329f2872","ref":"refs/heads/main","pushedAt":"2023-05-07T22:37:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Fix MilkDrink to have correct sense","shortMessageHtmlLink":"Fix MilkDrink to have correct sense"}},{"before":"7bd1a3ad9ae84fd5119f7849c1955c84346e41e4","after":"c38eed3ed9fd9b4cb1c5538f3eff0cc990d2f329","ref":"refs/heads/main","pushedAt":"2023-05-07T21:59:03.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Minor tweak to lec1","shortMessageHtmlLink":"Minor tweak to lec1"}},{"before":"d8031e8ecfe7129da20804e563abf18efc2643e7","after":"7bd1a3ad9ae84fd5119f7849c1955c84346e41e4","ref":"refs/heads/main","pushedAt":"2023-05-07T21:42:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Re-arrange lecture 4","shortMessageHtmlLink":"Re-arrange lecture 4"}},{"before":"b62c5d7540f9034c23d2ed35e2c27ea5ee180c10","after":"d8031e8ecfe7129da20804e563abf18efc2643e7","ref":"refs/heads/main","pushedAt":"2023-05-06T00:03:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add a spec for overlap","shortMessageHtmlLink":"Add a spec for overlap"}},{"before":"46a921377bce084c6e80cc66834b54e5b9a4d3de","after":"b62c5d7540f9034c23d2ed35e2c27ea5ee180c10","ref":"refs/heads/main","pushedAt":"2023-05-04T04:45:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Explain discriminators and field access","shortMessageHtmlLink":"Explain discriminators and field access"}},{"before":"bca7be7dd3da655a336a58fceaf143390beb71e0","after":"46a921377bce084c6e80cc66834b54e5b9a4d3de","ref":"refs/heads/main","pushedAt":"2023-05-04T01:53:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add folds to lec4","shortMessageHtmlLink":"Add folds to lec4"}},{"before":"4cfeab65e8ebb8ca8f177eab091e20326351418a","after":"bca7be7dd3da655a336a58fceaf143390beb71e0","ref":"refs/heads/main","pushedAt":"2023-05-04T01:52:20.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add some folds to lec3","shortMessageHtmlLink":"Add some folds to lec3"}},{"before":"72e636e8ec7db44d7efb539438f919924847f7cd","after":"4cfeab65e8ebb8ca8f177eab091e20326351418a","ref":"refs/heads/main","pushedAt":"2023-05-03T22:49:29.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add more manual folds","shortMessageHtmlLink":"Add more manual folds"}},{"before":"4b4ca20d743ef2cb97091e43f63fc7d55d2f19b2","after":"72e636e8ec7db44d7efb539438f919924847f7cd","ref":"refs/heads/main","pushedAt":"2023-05-02T23:07:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Another pass over comments","shortMessageHtmlLink":"Another pass over comments"}},{"before":"ead5c89d2132eb21577413bde751f66298c4d9c8","after":"4b4ca20d743ef2cb97091e43f63fc7d55d2f19b2","ref":"refs/heads/main","pushedAt":"2023-05-02T20:55:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Minor improvements to is_prime comments","shortMessageHtmlLink":"Minor improvements to is_prime comments"}},{"before":"8fc3494edf1104b9ce83792419f62fa9681fac2b","after":"ead5c89d2132eb21577413bde751f66298c4d9c8","ref":"refs/heads/main","pushedAt":"2023-05-02T20:51:24.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add some commentary to is_prime.dfy","shortMessageHtmlLink":"Add some commentary to is_prime.dfy"}},{"before":"e9973c8f77d13d41e942ff8d0341a7a764620625","after":"8fc3494edf1104b9ce83792419f62fa9681fac2b","ref":"refs/heads/main","pushedAt":"2023-05-02T20:33:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Remove auto lemma from is_prime proof","shortMessageHtmlLink":"Remove auto lemma from is_prime proof"}},{"before":"0900e4fce0197295d796169c26321643a4aa7d11","after":"e9973c8f77d13d41e942ff8d0341a7a764620625","ref":"refs/heads/main","pushedAt":"2023-05-02T20:29:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Verify IsPrime example","shortMessageHtmlLink":"Verify IsPrime example"}},{"before":"d162fd882dbd5452a3ca535abf62b579e1bf20c5","after":"0900e4fce0197295d796169c26321643a4aa7d11","ref":"refs/heads/main","pushedAt":"2023-05-02T18:28:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Add an outline to the README","shortMessageHtmlLink":"Add an outline to the README"}},{"before":"92560d3d4df3b0abefbb27ede55aea4837635a8f","after":"d162fd882dbd5452a3ca535abf62b579e1bf20c5","ref":"refs/heads/main","pushedAt":"2023-05-02T18:18:05.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Organize lectures a bit better","shortMessageHtmlLink":"Organize lectures a bit better"}},{"before":"b08fc8fe1f4eea0f93ba7a6450be6ca90671a4e2","after":"92560d3d4df3b0abefbb27ede55aea4837635a8f","ref":"refs/heads/main","pushedAt":"2023-04-27T19:45:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"tchajed","name":"Tej Chajed","path":"/tchajed","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1255037?s=80&v=4"},"commit":{"message":"Comment fixes","shortMessageHtmlLink":"Comment fixes"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADikbQYQA","startCursor":null,"endCursor":null}},"title":"Activity · tchajed/dafny-syntax-tutorial"}