{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":198724920,"defaultBranch":"master","name":"libraries","ownerLogin":"dafny-lang","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2019-07-24T23:56:47.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/52358127?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1704894396.0","currentOid":""},"activityList":{"items":[{"before":"84db322b4cb45d692988b75f313c8c6da0490335","after":"e9b898d0ec08e129b8e61306b2617b36c4ce5d3e","ref":"refs/heads/master","pushedAt":"2024-01-26T00:03:09.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"atomb","name":"Aaron Tomb","path":"/atomb","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/24929?s=80&v=4"},"commit":{"message":"fix: Add missing type characteristics (#154)\n\n* Add missing (!new) for type parameters\r\n* chore: Improve whitespace\r\n* chore: Remove unnecessary parentheses\r\n* chore: Remove deprecated semi-colons\r\n* chore: Remove explicit triggers that do the same as the default triggers\r\n* chore: Show reads clause between requires and ensures\r\n* Make reads clauses more specific\r\n* Remove {:opaque} attribute from lemmas","shortMessageHtmlLink":"fix: Add missing type characteristics (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2064591319\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/libraries/issues/154\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/libraries/pull/154/hovercard\" href=\"https://github.com/dafny-lang/libraries/pull/154\">#154</a>)"}},{"before":"37a8cd2f413b76868ec456385895b40bcf015de9","after":null,"ref":"refs/heads/robin-aws-deprecation","pushedAt":"2024-01-10T13:46:36.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"}},{"before":"ae8708c091d32383235d5d8c15c08cff05613bbc","after":"84db322b4cb45d692988b75f313c8c6da0490335","ref":"refs/heads/master","pushedAt":"2024-01-10T13:46:33.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Update README.md (#155)","shortMessageHtmlLink":"Update README.md (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2073270192\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/libraries/issues/155\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/libraries/pull/155/hovercard\" href=\"https://github.com/dafny-lang/libraries/pull/155\">#155</a>)"}},{"before":null,"after":"37a8cd2f413b76868ec456385895b40bcf015de9","ref":"refs/heads/robin-aws-deprecation","pushedAt":"2024-01-09T22:23:45.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"a48a4ac34125f95fd0056bf7201fc1514676ed40","after":"294be6112595d0c5c8517d5203e4521a8120be1c","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-12-13T18:38:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Removed useless comment","shortMessageHtmlLink":"Removed useless comment"}},{"before":"738b4abc08d77d620054a78a4c1226b486659970","after":"a48a4ac34125f95fd0056bf7201fc1514676ed40","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-12-13T18:37:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Advent of code","shortMessageHtmlLink":"Advent of code"}},{"before":"f5b261d7c91d49a187d37849ce8c4728264f5594","after":"738b4abc08d77d620054a78a4c1226b486659970","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-12-13T15:59:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Double parser","shortMessageHtmlLink":"Double parser"}},{"before":"be0d7968dbfe80880fb63a41b1d8611faa6aa598","after":"f5b261d7c91d49a187d37849ce8c4728264f5594","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-12-13T15:57:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Parser generators I","shortMessageHtmlLink":"Parser generators I"}},{"before":"c6a57a8b4c2efd1e9c0ec388fed4df45d8f88319","after":"be0d7968dbfe80880fb63a41b1d8611faa6aa598","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-17T17:39:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Updated readme","shortMessageHtmlLink":"Updated readme"}},{"before":"bf4c4bf2fb902f94afa3e3b655c7e90bdc3a8437","after":"c6a57a8b4c2efd1e9c0ec388fed4df45d8f88319","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-17T17:19:12.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Added If to the builders","shortMessageHtmlLink":"Added If to the builders"}},{"before":"4d821359f74efebfb3e793b549f0457cd74c1e9d","after":"bf4c4bf2fb902f94afa3e3b655c7e90bdc3a8437","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-17T03:03:14.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"RepSep and JSON parsers","shortMessageHtmlLink":"RepSep and JSON parsers"}},{"before":"fc0ebd99dfc357545d468974ff10e7be9e7feb96","after":"4d821359f74efebfb3e793b549f0457cd74c1e9d","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-15T22:33:21.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'parser-combinators-library' of https://github.com/dafny-lang/libraries into parser-combinators-library","shortMessageHtmlLink":"Merge branch 'parser-combinators-library' of <a href=\"https://github.com/dafny-lang/libraries\">https://github.com/dafny…</a>"}},{"before":"7502ff839a89b06c6fd142fce44ec22faf83626f","after":"fc0ebd99dfc357545d468974ff10e7be9e7feb96","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-15T06:47:47.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into parser-combinators-library","shortMessageHtmlLink":"Merge branch 'master' into parser-combinators-library"}},{"before":"3be766e405765f94a10a1ba0f39c8d06d5696709","after":"7502ff839a89b06c6fd142fce44ec22faf83626f","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-15T06:43:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Better readiness for review","shortMessageHtmlLink":"Better readiness for review"}},{"before":"e84b4582911da8e5b0eee3136cd4a4e521d62a93","after":"3be766e405765f94a10a1ba0f39c8d06d5696709","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-14T22:34:31.000Z","pushType":"push","commitsCount":3,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Arithmetic builders DSL","shortMessageHtmlLink":"Arithmetic builders DSL"}},{"before":"daed7e1532314458fcd847d21a6a0dc1d3fa15c1","after":"e84b4582911da8e5b0eee3136cd4a4e521d62a93","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-13T21:07:01.000Z","pushType":"push","commitsCount":4,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Arithmetic parser easy to define and render!","shortMessageHtmlLink":"Arithmetic parser easy to define and render!"}},{"before":"a19d0cee8160a5ae8b73fc0e7fe6eed763251b4b","after":"daed7e1532314458fcd847d21a6a0dc1d3fa15c1","ref":"refs/heads/parser-combinators-library","pushedAt":"2023-11-10T22:05:25.000Z","pushType":"push","commitsCount":37,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Refactoring to make better usage of modules","shortMessageHtmlLink":"Refactoring to make better usage of modules"}},{"before":null,"after":"ae8708c091d32383235d5d8c15c08cff05613bbc","ref":"refs/heads/ssomayyajula-arith","pushedAt":"2023-11-07T16:52:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"ssomayyajula","name":"Siva Somayyajula","path":"/ssomayyajula","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/14946194?s=80&v=4"},"commit":{"message":"Chore: Proofs not depending on leaks of opaque + brittleness reduction (#149)\n\n* Chore: Proofs not depending on leaks of opaque + brittleness reduction\r\nI added reveal statements where they were previously \"leaked\" because of fuel encoding that are soon going away.\r\nI also reduced the RU for ToLarge from 6.8M to 1.3M.\r\n\r\n* Forgot to save a file\r\n\r\n* Fixed brittleness issue for current Dafny\r\n\r\n* Fixed two brittle proofs\r\n\r\n* Fixed formatting\r\n\r\n* Comment about the proof\r\n\r\n* Update src/Collections/Sequences/LittleEndianNatConversions.dfy","shortMessageHtmlLink":"Chore: Proofs not depending on leaks of opaque + brittleness reduction ("}},{"before":"5d8934326131b8433ce83eac628336b22c15dd58","after":"ae8708c091d32383235d5d8c15c08cff05613bbc","ref":"refs/heads/master","pushedAt":"2023-11-02T15:01:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"Chore: Proofs not depending on leaks of opaque + brittleness reduction (#149)\n\n* Chore: Proofs not depending on leaks of opaque + brittleness reduction\r\nI added reveal statements where they were previously \"leaked\" because of fuel encoding that are soon going away.\r\nI also reduced the RU for ToLarge from 6.8M to 1.3M.\r\n\r\n* Forgot to save a file\r\n\r\n* Fixed brittleness issue for current Dafny\r\n\r\n* Fixed two brittle proofs\r\n\r\n* Fixed formatting\r\n\r\n* Comment about the proof\r\n\r\n* Update src/Collections/Sequences/LittleEndianNatConversions.dfy","shortMessageHtmlLink":"Chore: Proofs not depending on leaks of opaque + brittleness reduction ("}},{"before":"d1c96936aca0bc4e738d53a675f25df68d93eaad","after":"54f0a04422520da17f451e909d5248b5b546ab03","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-11-01T21:30:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Update src/Collections/Sequences/LittleEndianNatConversions.dfy","shortMessageHtmlLink":"Update src/Collections/Sequences/LittleEndianNatConversions.dfy"}},{"before":"aebcc0234d8a1dd6cf13071a0d79d5d00537bb6b","after":"d1c96936aca0bc4e738d53a675f25df68d93eaad","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-31T20:33:25.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Comment about the proof","shortMessageHtmlLink":"Comment about the proof"}},{"before":"1381016c166a807c5446752502c9334d8e08be93","after":"aebcc0234d8a1dd6cf13071a0d79d5d00537bb6b","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-31T15:42:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'chore-reduce-brittleness' of https://github.com/dafny-lang/libraries into chore-reduce-brittleness","shortMessageHtmlLink":"Merge branch 'chore-reduce-brittleness' of <a href=\"https://github.com/dafny-lang/libraries\">https://github.com/dafny-l…</a>"}},{"before":"efa158a693433843455164d2c916d1750376d2ed","after":"1381016c166a807c5446752502c9334d8e08be93","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-27T19:05:19.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Merge branch 'master' into chore-reduce-brittleness","shortMessageHtmlLink":"Merge branch 'master' into chore-reduce-brittleness"}},{"before":"8f97047b3ef92ecbe68f30648df2fd13a212fef7","after":"efa158a693433843455164d2c916d1750376d2ed","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-27T19:04:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Fixed two brittle proofs","shortMessageHtmlLink":"Fixed two brittle proofs"}},{"before":"8b0c39969534dfdfb3b9fb4db777bf0cd97066a1","after":"5d8934326131b8433ce83eac628336b22c15dd58","ref":"refs/heads/master","pushedAt":"2023-10-25T16:32:47.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"keyboardDrummer","name":"Remy Willems","path":"/keyboardDrummer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3121201?s=80&v=4"},"commit":{"message":"chore: run dotnet format (#150)","shortMessageHtmlLink":"chore: run dotnet format (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1960461831\" data-permission-text=\"Title is private\" data-url=\"https://github.com/dafny-lang/libraries/issues/150\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/dafny-lang/libraries/pull/150/hovercard\" href=\"https://github.com/dafny-lang/libraries/pull/150\">#150</a>)"}},{"before":"96929ed53936c2108c86ae4680bfdbd81bb864a3","after":"8f97047b3ef92ecbe68f30648df2fd13a212fef7","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-25T15:56:29.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Fixed brittleness issue for current Dafny","shortMessageHtmlLink":"Fixed brittleness issue for current Dafny"}},{"before":"66d61ba6fca40f921cf8cb94c83f17499eb13d8e","after":"96929ed53936c2108c86ae4680bfdbd81bb864a3","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-25T15:09:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Forgot to save a file","shortMessageHtmlLink":"Forgot to save a file"}},{"before":null,"after":"66d61ba6fca40f921cf8cb94c83f17499eb13d8e","ref":"refs/heads/chore-reduce-brittleness","pushedAt":"2023-10-24T23:52:31.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Chore: Proofs not depending on leaks of opaque + brittleness reduction\nI added reveal statements where they were previously \"leaked\" because of fuel encoding that are soon going away.\nI also reduced the RU for ToLarge from 6.8M to 1.3M.","shortMessageHtmlLink":"Chore: Proofs not depending on leaks of opaque + brittleness reduction"}},{"before":null,"after":"2ac8c3c2b20fe1d25a329e28a8da5bfdcfb69b5c","ref":"refs/heads/chore-release-4.3.0","pushedAt":"2023-09-29T16:16:58.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"MikaelMayer","name":"Mikaël Mayer","path":"/MikaelMayer","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/3601079?s=80&v=4"},"commit":{"message":"Update tests.yml","shortMessageHtmlLink":"Update tests.yml"}},{"before":"5ee6ce8c905edf34baa56fe843823fced8e2d25c","after":"ead054ba111c7b3f81e2c725dfd28f8d8242c747","ref":"refs/heads/cok-forall","pushedAt":"2023-09-27T22:09:29.000Z","pushType":"push","commitsCount":6,"pusher":{"login":"robin-aws","name":"Robin Salkeld","path":"/robin-aws","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/30840053?s=80&v=4"},"commit":{"message":"Merge branch 'master' into cok-forall","shortMessageHtmlLink":"Merge branch 'master' into cok-forall"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAD6XDMoAA","startCursor":null,"endCursor":null}},"title":"Activity · dafny-lang/libraries"}