{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":664160832,"defaultBranch":"main","name":"SEE-Reach-py","ownerLogin":"EthanJamesLew","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2023-07-09T04:54:51.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15683738?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1688878491.0","currentOid":""},"activityList":{"items":[{"before":"3df9c4263043f702bb529b8b2134cfe07ecf5388","after":"919021a2f9922175c76b2235143d0ae1ff9b720f","ref":"refs/heads/main","pushedAt":"2023-07-10T04:14:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"update notebook description","shortMessageHtmlLink":"update notebook description"}},{"before":"cea18088310318e78b2c43093700d65195d775fc","after":"3df9c4263043f702bb529b8b2134cfe07ecf5388","ref":"refs/heads/main","pushedAt":"2023-07-10T04:12:39.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"Merge branch 'main' of https://github.com/EthanJamesLew/SEE-Reach-py","shortMessageHtmlLink":"Merge branch 'main' of <a href=\"https://github.com/EthanJamesLew/SEE-Reach-py\">https://github.com/EthanJamesLew/SEE-Reach-py</a>"}},{"before":"a1c28c254385015d66b8b19a4eb4d50bb626c0cb","after":"cea18088310318e78b2c43093700d65195d775fc","ref":"refs/heads/main","pushedAt":"2023-07-10T02:18:19.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"update architecture diagram","shortMessageHtmlLink":"update architecture diagram"}},{"before":"5fa5c574e20eacb21bc547cc1fa4c0d39710be74","after":"a1c28c254385015d66b8b19a4eb4d50bb626c0cb","ref":"refs/heads/main","pushedAt":"2023-07-10T02:15:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"update notebook","shortMessageHtmlLink":"update notebook"}},{"before":"974858c3fb4633c8a0819f327634f9d8c6a32089","after":"5fa5c574e20eacb21bc547cc1fa4c0d39710be74","ref":"refs/heads/main","pushedAt":"2023-07-10T02:14:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"correct math again","shortMessageHtmlLink":"correct math again"}},{"before":"306afaf2fdd3c69741f34dd98db25fd8c3d3fa5c","after":"974858c3fb4633c8a0819f327634f9d8c6a32089","ref":"refs/heads/main","pushedAt":"2023-07-10T02:12:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"update README.md to correct math formatting and some english","shortMessageHtmlLink":"update README.md to correct math formatting and some english"}},{"before":"1b548c5b6bc5382ed09a7d6ce6c8561e142795a7","after":"306afaf2fdd3c69741f34dd98db25fd8c3d3fa5c","ref":"refs/heads/main","pushedAt":"2023-07-10T02:07:35.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"update the README.md","shortMessageHtmlLink":"update the README.md"}},{"before":"2fdab5112df2e88e433b1949c3599ed3d4e44aea","after":"1b548c5b6bc5382ed09a7d6ce6c8561e142795a7","ref":"refs/heads/main","pushedAt":"2023-07-10T01:48:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"remove outdated example","shortMessageHtmlLink":"remove outdated example"}},{"before":"0d9ac0991c54c2877b7720f253115df1c05716ef","after":"2fdab5112df2e88e433b1949c3599ed3d4e44aea","ref":"refs/heads/main","pushedAt":"2023-07-10T01:48:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"remove outdated examples","shortMessageHtmlLink":"remove outdated examples"}},{"before":"0bcbcb29249947b95940a169614d57ecbf67b286","after":"0d9ac0991c54c2877b7720f253115df1c05716ef","ref":"refs/heads/main","pushedAt":"2023-07-10T01:46:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"update notebook with latest code","shortMessageHtmlLink":"update notebook with latest code"}},{"before":"00130d1d89e40443b80e6185ffa531875c61e334","after":"0bcbcb29249947b95940a169614d57ecbf67b286","ref":"refs/heads/main","pushedAt":"2023-07-10T01:09:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"add comments to the language","shortMessageHtmlLink":"add comments to the language"}},{"before":"fd2fe7df312b397f09be202549821a1431dd05d6","after":"00130d1d89e40443b80e6185ffa531875c61e334","ref":"refs/heads/main","pushedAt":"2023-07-10T00:25:52.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"switch to the SEE-Reach language","shortMessageHtmlLink":"switch to the SEE-Reach language"}},{"before":"e4631879b503881c5481707a7480f84b965918e6","after":"fd2fe7df312b397f09be202549821a1431dd05d6","ref":"refs/heads/main","pushedAt":"2023-07-10T00:12:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"add a basic PLY parser","shortMessageHtmlLink":"add a basic PLY parser"}},{"before":"ae7ef035b34c10373385a5963ec4166e5daf96d3","after":"e4631879b503881c5481707a7480f84b965918e6","ref":"refs/heads/main","pushedAt":"2023-07-09T21:33:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"add basic sympy simplication and a 2d system","shortMessageHtmlLink":"add basic sympy simplication and a 2d system"}},{"before":"2b048356f123021e506f35ea4ef2fc5d9b222b41","after":"ae7ef035b34c10373385a5963ec4166e5daf96d3","ref":"refs/heads/main","pushedAt":"2023-07-09T20:54:18.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"add basic Z3 sat/unsat, implement Tuple type, show simple example on a 2D system","shortMessageHtmlLink":"add basic Z3 sat/unsat, implement Tuple type, show simple example on …"}},{"before":"41f33bbff51b6a5234ebf137d00bff7c7dd572be","after":"2b048356f123021e506f35ea4ef2fc5d9b222b41","ref":"refs/heads/main","pushedAt":"2023-07-09T17:29:08.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"add plant example","shortMessageHtmlLink":"add plant example"}},{"before":"814d443f9d456d9ff98f194a655192883cfe190b","after":"41f33bbff51b6a5234ebf137d00bff7c7dd572be","ref":"refs/heads/main","pushedAt":"2023-07-09T16:55:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"create a simple pretty printer for example","shortMessageHtmlLink":"create a simple pretty printer for example"}},{"before":"5c2f592af6cf1f4a2744c09b7594f471725f6fe1","after":"814d443f9d456d9ff98f194a655192883cfe190b","ref":"refs/heads/main","pushedAt":"2023-07-09T06:32:59.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"make SEE that barely works","shortMessageHtmlLink":"make SEE that barely works"}},{"before":null,"after":"5c2f592af6cf1f4a2744c09b7594f471725f6fe1","ref":"refs/heads/main","pushedAt":"2023-07-09T04:54:51.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"EthanJamesLew","name":"Ethan Lew","path":"/EthanJamesLew","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/15683738?s=80&v=4"},"commit":{"message":"Initial commit","shortMessageHtmlLink":"Initial commit"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADUfGJcQA","startCursor":null,"endCursor":null}},"title":"Activity · EthanJamesLew/SEE-Reach-py"}