{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":624134494,"defaultBranch":"master","name":"dafny","ownerLogin":"534014913","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2023-04-05T20:21:53.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/33732686?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1680726120.229682","currentOid":""},"activityList":{"items":[{"before":"cd2c04e1d4b4cd7b310cffbb8379f9fc923fab6e","after":"d0f56e474b47edad7da403929a88f03a71a39cf7","ref":"refs/heads/master","pushedAt":"2023-04-17T17:39:33.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"534014913","name":"Yi Lai","path":"/534014913","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33732686?s=80&v=4"},"commit":{"message":"finished editing the main fuzzing loop, able to supply the mutated program to Boogie for verification and the result can be printed to output destination","shortMessageHtmlLink":"finished editing the main fuzzing loop, able to supply the mutated pr…"}},{"before":"c3b6892d1417f95a88998f764272208c1f901eb7","after":"cd2c04e1d4b4cd7b310cffbb8379f9fc923fab6e","ref":"refs/heads/master","pushedAt":"2023-04-17T15:34:28.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"534014913","name":"Yi Lai","path":"/534014913","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33732686?s=80&v=4"},"commit":{"message":"modified Dafny Driver to support fuzzing, added Fuzzer.cs to DafnyCore","shortMessageHtmlLink":"modified Dafny Driver to support fuzzing, added Fuzzer.cs to DafnyCore"}},{"before":"e8a9f1de5c1bc22b938f032ec303bcb5d98dccbe","after":"c3b6892d1417f95a88998f764272208c1f901eb7","ref":"refs/heads/master","pushedAt":"2023-04-13T17:04:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"534014913","name":"Yi Lai","path":"/534014913","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33732686?s=80&v=4"},"commit":{"message":"added fuzz flag in Dafny Options","shortMessageHtmlLink":"added fuzz flag in Dafny Options"}},{"before":"807c9d8a345f53aefb16461e4a39c33bdbd9966a","after":"e8a9f1de5c1bc22b938f032ec303bcb5d98dccbe","ref":"refs/heads/master","pushedAt":"2023-04-12T17:53:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"534014913","name":"Yi Lai","path":"/534014913","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33732686?s=80&v=4"},"commit":{"message":"Added FuzzingVerifier.csproj as a sub-project inside Dafny solution and added FuzzCommand.cs as one of the commandline Options","shortMessageHtmlLink":"Added FuzzingVerifier.csproj as a sub-project inside Dafny solution a…"}},{"before":"779b4d83feb14b74d53e41aae99e36abe20345dd","after":"807c9d8a345f53aefb16461e4a39c33bdbd9966a","ref":"refs/heads/master","pushedAt":"2023-04-06T19:55:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"534014913","name":"Yi Lai","path":"/534014913","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/33732686?s=80&v=4"},"commit":{"message":"Added FuzzingVerifier as a project to Dafny Solution","shortMessageHtmlLink":"Added FuzzingVerifier as a project to Dafny Solution"}}],"hasNextPage":false,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAADGodC0wA","startCursor":null,"endCursor":null}},"title":"Activity · 534014913/dafny"}