{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":389135529,"defaultBranch":"master","name":"dafny","ownerLogin":"Dargones","currentUserCanPush":false,"isFork":true,"isEmpty":false,"createdAt":"2021-07-24T15:41:31.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/21084554?v=4","public":true,"private":false,"isOrgOwned":false},"refInfo":{"name":"","listCacheKey":"v0:1710992681.0","currentOid":""},"activityList":{"items":[{"before":"53190032425e82ba6bb89ad7d098d2919e6cda0e","after":"6df1eaab8d3b1991eb50b022b224b5980c2570f8","ref":"refs/heads/CounterexamplesDev","pushedAt":"2024-05-13T18:41:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update build","shortMessageHtmlLink":"Update build"}},{"before":"fac4c7c4ee1d40999d3412602b7558fc89a68984","after":"a58755c7b4567855154fd78d38a76fe0a619cbaf","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-04-09T17:29:33.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Merge branch 'master' into CounterexamplesAsPredicates","shortMessageHtmlLink":"Merge branch 'master' into CounterexamplesAsPredicates"}},{"before":"d964f3c2bceec775bad8f97f4296bc2fed4912d1","after":"fac4c7c4ee1d40999d3412602b7558fc89a68984","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-04-09T15:51:22.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into CounterexamplesAsPredicates","shortMessageHtmlLink":"Merge branch 'master' into CounterexamplesAsPredicates"}},{"before":"275db10631506ed2928984669bcb9a53626012b4","after":"d964f3c2bceec775bad8f97f4296bc2fed4912d1","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-04-09T15:28:09.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"Merge branch 'master' into CounterexamplesAsPredicates","shortMessageHtmlLink":"Merge branch 'master' into CounterexamplesAsPredicates"}},{"before":"48812d52064eb13c3c217c2d658815b4c274967f","after":"275db10631506ed2928984669bcb9a53626012b4","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-04-08T19:41:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix tests","shortMessageHtmlLink":"Fix tests"}},{"before":"5975ea77f4ee9ef80a5ca2b2245db782a36019dc","after":"48812d52064eb13c3c217c2d658815b4c274967f","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-04-08T17:53:15.000Z","pushType":"push","commitsCount":50,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Lift note on counterexample validity into its own section","shortMessageHtmlLink":"Lift note on counterexample validity into its own section"}},{"before":"b144df247ef09915ac7407cd1880df9a87915a86","after":"beab582113744ea72e2727d934f5a03d42c4ba17","ref":"refs/heads/master","pushedAt":"2024-04-08T16:18:11.000Z","pushType":"push","commitsCount":47,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update tests that use --progress, so they are stable (#5300)\n\n### Description\r\nUpdate tests that use --progress, so they no longer depend on an\r\nunstable order\r\n\r\n### How has this been tested?\r\nTests were changed\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Update tests that use --progress, so they are stable (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2228035517\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5300\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5300/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5300\">dafny-lang#5300</a>)"}},{"before":"f30fdeaa35718af1ff904af84ec264a279f59652","after":"bd16e53ddae5dcf0b9d4be28614d9f430dfa7deb","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-03-28T10:28:35.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Merge branch 'master' into CounterexamplesNewCli","shortMessageHtmlLink":"Merge branch 'master' into CounterexamplesNewCli"}},{"before":"422ebb7e5bf1f5cc457d0ff81ecf7dd8ec9b1eb4","after":"f30fdeaa35718af1ff904af84ec264a279f59652","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-03-28T10:28:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix formatting","shortMessageHtmlLink":"Fix formatting"}},{"before":"8fd53b99256e0e6075b00df7f53ba365392b1bdd","after":"422ebb7e5bf1f5cc457d0ff81ecf7dd8ec9b1eb4","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-03-27T18:00:45.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Merge branch 'master' into CounterexamplesNewCli","shortMessageHtmlLink":"Merge branch 'master' into CounterexamplesNewCli"}},{"before":"012f241fa36037ef91e1cd83b4596e0c0b959a19","after":"8fd53b99256e0e6075b00df7f53ba365392b1bdd","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-03-27T13:46:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Fix build error","shortMessageHtmlLink":"Fix build error"}},{"before":"bc1814dbc5acaf1fc9041c3d4d5eac85759bdda8","after":"012f241fa36037ef91e1cd83b4596e0c0b959a19","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-03-27T13:40:32.000Z","pushType":"push","commitsCount":45,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into CounterexamplesNewCli","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into CounterexamplesNewCli"}},{"before":"53904c35c9e660f777d57d3aeb9491932f835c2c","after":"5975ea77f4ee9ef80a5ca2b2245db782a36019dc","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-21T15:41:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Add a warning indicating that the counterexample may be inconsistent of invalid","shortMessageHtmlLink":"Add a warning indicating that the counterexample may be inconsistent …"}},{"before":null,"after":"d0d69fc19e81d9ffb73881d4329701bee63b36cf","ref":"refs/heads/TestGenerators","pushedAt":"2024-03-21T03:44:41.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Implement generators","shortMessageHtmlLink":"Implement generators"}},{"before":"2e6415ac7900e7f0959982a1511f249a2598ef74","after":"53904c35c9e660f777d57d3aeb9491932f835c2c","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-13T22:06:09.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix test","shortMessageHtmlLink":"Fix test"}},{"before":"a5149a9ed059263c47b451adf454076a083cd0bc","after":"2e6415ac7900e7f0959982a1511f249a2598ef74","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-13T21:53:17.000Z","pushType":"push","commitsCount":13,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/master' into CounterexamplesAsPredicates","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/master' into CounterexamplesAsPr…"}},{"before":"95ce83f54c1192bbdb0e3e52d5ba7a2a7f3adc9e","after":"b144df247ef09915ac7407cd1880df9a87915a86","ref":"refs/heads/master","pushedAt":"2024-03-13T21:52:35.000Z","pushType":"push","commitsCount":11,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix bug that occurred when using resolution caching and replaceable modules (#5189)\n\nFixes https://github.com/dafny-lang/dafny/issues/5187\r\n\r\n### Description\r\nFix bug that occurred when using resolution caching in combination with\r\nreplaceable modules\r\n\r\n### How has this been tested?\r\nAdded a language server test\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Fix bug that occurred when using resolution caching and replaceable m…"}},{"before":"40cabcfd48e5058cb06508d9cb6eaef2ed76f6d1","after":"a5149a9ed059263c47b451adf454076a083cd0bc","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-13T21:30:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Pretty-printing changes","shortMessageHtmlLink":"Pretty-printing changes"}},{"before":"36cd8d2294b82c3e168bdaaebefd62b84a03d87d","after":"40cabcfd48e5058cb06508d9cb6eaef2ed76f6d1","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-07T14:17:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix counterexample for recursive functions","shortMessageHtmlLink":"Fix counterexample for recursive functions"}},{"before":"9c111f8701144ce80115c92b30faad9cff728e16","after":"36cd8d2294b82c3e168bdaaebefd62b84a03d87d","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-07T13:23:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Update Source/DafnyLanguageServer/CounterExampleGeneration/DafnyModel.cs\n\nCo-authored-by: Aaron Tomb <aarontomb@gmail.com>","shortMessageHtmlLink":"Update Source/DafnyLanguageServer/CounterExampleGeneration/DafnyModel.cs"}},{"before":"7de5b4a8ac9946959fabe44258f373562e3365b8","after":"9c111f8701144ce80115c92b30faad9cff728e16","ref":"refs/heads/CounterexamplesAsPredicates","pushedAt":"2024-03-07T13:06:22.000Z","pushType":"push","commitsCount":49,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Apply suggested changes","shortMessageHtmlLink":"Apply suggested changes"}},{"before":"2a3094a5145e654cdbb22e14f65bee1687d63d17","after":"95ce83f54c1192bbdb0e3e52d5ba7a2a7f3adc9e","ref":"refs/heads/master","pushedAt":"2024-03-07T11:21:52.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Fix measure-complexity command (#5138)\n\n### Description\r\n- Fix an unreleased bug that could cause `dafny verify` to stall\r\n- Give meaning to `--iterations` and `--random-seed` options for\r\n`measure-complexity`\r\n- Do iterations one at a time\r\n- Report \"Starting verification of iteration {iteration} with seed\r\n{iterationSeed}\"); at the start of each iteration\r\n- Add some references to the used random seed in verification logging\r\n\r\n### How has this been tested?\r\n- Updated `VerificationLogger.dfy` test\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Fix measure-complexity command (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2163552905\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5138\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5138/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5138\">dafny-lang#5138</a>)"}},{"before":"40d18ff958d767382bf6658f00a8b224719f3f16","after":"bc1814dbc5acaf1fc9041c3d4d5eac85759bdda8","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-02-29T17:29:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"dotnet format","shortMessageHtmlLink":"dotnet format"}},{"before":null,"after":"40d18ff958d767382bf6658f00a8b224719f3f16","ref":"refs/heads/CounterexamplesNewCli","pushedAt":"2024-02-29T17:23:24.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Support New CLI","shortMessageHtmlLink":"Support New CLI"}},{"before":null,"after":"53266e84a982353fb51022251792036d34483bb8","ref":"refs/heads/CounterexamplesTmp","pushedAt":"2024-02-29T15:57:17.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Enable counterexamples with new cli","shortMessageHtmlLink":"Enable counterexamples with new cli"}},{"before":"be0787499fd4ae849a8ddf771e2f0f65754a5b67","after":"2a3094a5145e654cdbb22e14f65bee1687d63d17","ref":"refs/heads/master","pushedAt":"2024-02-29T14:48:16.000Z","pushType":"push","commitsCount":20,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Use Tasks for running processes (#5127)\n\n### Description\r\nRefactoring\r\n\r\n### How has this been tested?\r\nPure refactoring, no additional tests needed\r\n\r\n<small>By submitting this pull request, I confirm that my contribution\r\nis made under the terms of the [MIT\r\nlicense](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>","shortMessageHtmlLink":"Use Tasks for running processes (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2153880888\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/dafny/issues/5127\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/dafny/pull/5127/hovercard\" href=\"https://github.com/dafny-lang/dafny/pull/5127\">dafny-lang#5127</a>)"}},{"before":"c85769fb1fb0587c3c0ee508b6fd06a845f7f8f2","after":"53190032425e82ba6bb89ad7d098d2919e6cda0e","ref":"refs/heads/CounterexamplesDev","pushedAt":"2024-02-25T20:39:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Undo the tuple ignoring principle","shortMessageHtmlLink":"Undo the tuple ignoring principle"}},{"before":"548e79b1243a456abcde7a5b0fad2435ec7f14de","after":"c85769fb1fb0587c3c0ee508b6fd06a845f7f8f2","ref":"refs/heads/CounterexamplesDev","pushedAt":"2024-02-25T17:54:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"More fixes","shortMessageHtmlLink":"More fixes"}},{"before":"0bec7992ddce9652f3c0a4f396e61c0c88c09ff1","after":"548e79b1243a456abcde7a5b0fad2435ec7f14de","ref":"refs/heads/CounterexamplesDev","pushedAt":"2024-02-25T14:49:07.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Minor fix","shortMessageHtmlLink":"Minor fix"}},{"before":"70d516e51f53810ecc6e41db792b168e2501c514","after":"0bec7992ddce9652f3c0a4f396e61c0c88c09ff1","ref":"refs/heads/CounterexamplesDev","pushedAt":"2024-02-25T14:46:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Dargones","name":"Aleksandr Fedchin","path":"/Dargones","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/21084554?s=80&v=4"},"commit":{"message":"Add SetDisplay Constraint","shortMessageHtmlLink":"Add SetDisplay Constraint"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAESLlfIwA","startCursor":null,"endCursor":null}},"title":"Activity · Dargones/dafny"}