{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":496056852,"defaultBranch":"main","name":"smt2utils","ownerLogin":"verus-lang","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2022-05-25T02:34:40.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/107117217?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1685118986.250658","currentOid":""},"activityList":{"items":[{"before":"dd5232dc515154bd06e0f51710926a4cdb17affa","after":"ec4c894d04d7cd39c9a8aa1eda51db71cc54fe61","ref":"refs/heads/main","pushedAt":"2023-10-03T11:17:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"fix a bug when instantiations are missing, allow suppressing the progress bar","shortMessageHtmlLink":"fix a bug when instantiations are missing, allow suppressing the prog…"}},{"before":"eba8f8156376ae96c2460111659ca9ef249b0c26","after":"dd5232dc515154bd06e0f51710926a4cdb17affa","ref":"refs/heads/main","pushedAt":"2023-09-20T11:40:13.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"accept Term::App as a quantifier term","shortMessageHtmlLink":"accept Term::App as a quantifier term"}},{"before":"f58678dad0bd7fbd28f105c48f49ce0fadd047e2","after":"eba8f8156376ae96c2460111659ca9ef249b0c26","ref":"refs/heads/main","pushedAt":"2023-09-15T17:30:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"utaal","name":"Andrea Lattuada","path":"/utaal","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/791335?s=80&v=4"},"commit":{"message":"Handle another panic due to a cyclic instantiation graph","shortMessageHtmlLink":"Handle another panic due to a cyclic instantiation graph"}},{"before":"0ff31464e5f57bb102797bf13bedd1cd9dba914e","after":"f58678dad0bd7fbd28f105c48f49ce0fadd047e2","ref":"refs/heads/main","pushedAt":"2023-07-26T16:43:38.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Print warning to stderr instead of stdout","shortMessageHtmlLink":"Print warning to stderr instead of stdout"}},{"before":"0c666d21254c4aa4c0d7de93f16a80a478b162eb","after":"0ff31464e5f57bb102797bf13bedd1cd9dba914e","ref":"refs/heads/main","pushedAt":"2023-07-25T14:19:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Detect and warn when Z3 produces a cyclic instantiation graph,\nrather than panic'ing","shortMessageHtmlLink":"Detect and warn when Z3 produces a cyclic instantiation graph,"}},{"before":null,"after":"0f5a138124ad9023085f302a7f45698bc28d035a","ref":"refs/heads/cycle_debug","pushedAt":"2023-05-26T16:36:26.250Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Debug info through graphing","shortMessageHtmlLink":"Debug info through graphing"}},{"before":"ff60e58b6c05d0daed6ab9177dd70aa285dc6afa","after":"0c666d21254c4aa4c0d7de93f16a80a478b162eb","ref":"refs/heads/main","pushedAt":"2023-05-23T03:31:53.489Z","pushType":"push","commitsCount":1,"pusher":{"login":"parno","name":"Bryan Parno","path":"/parno","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1816417?s=80&v=4"},"commit":{"message":"Handle Windows-style newlines as well","shortMessageHtmlLink":"Handle Windows-style newlines as well"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADjjjUOgA","startCursor":null,"endCursor":null}},"title":"Activity · verus-lang/smt2utils"}