{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":34845890,"defaultBranch":"main","name":"easycrypt","ownerLogin":"EasyCrypt","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-04-30T09:21:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/9318828?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1724759437.0","currentOid":""},"activityList":{"items":[{"before":null,"after":"35f6043f4406975111e1188baf5c758f5ebd1f77","ref":"refs/heads/infinite-arrays","pushedAt":"2024-08-27T11:50:37.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fdupress","name":"François Dupressoir","path":"/fdupress","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6066140?s=80&v=4"},"commit":{"message":"split SmtMap into SMT Array and finite map\n\nthis is meant to enable the development of a library of infinite arrays\n(as SMT arrays from int)","shortMessageHtmlLink":"split SmtMap into SMT Array and finite map"}},{"before":null,"after":"4850cbb9ff0e66a49d88e4acdd4137f826fba992","ref":"refs/heads/smt-in-xreal","pushedAt":"2024-08-27T11:44:14.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"fdupress","name":"François Dupressoir","path":"/fdupress","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/6066140?s=80&v=4"},"commit":{"message":"remove some edgy SMTs in Xreal and related\n\nThese might enable a version bump on some provers.","shortMessageHtmlLink":"remove some edgy SMTs in Xreal and related"}},{"before":"adae7b1f02fa6d9fbd29e3f91bb7d25d335d5c6f","after":"95694c679c46b6048d931312e9df1330252b9a56","ref":"refs/heads/bdep","pushedAt":"2024-08-25T21:42:10.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"WIP: propagate original precondition","shortMessageHtmlLink":"WIP: propagate original precondition"}},{"before":"f836a2ffe6f84b6bafc8d45d3f91583434992329","after":"adae7b1f02fa6d9fbd29e3f91bb7d25d335d5c6f","ref":"refs/heads/bdep","pushedAt":"2024-08-24T18:03:40.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"WIP: csubq with arrays","shortMessageHtmlLink":"WIP: csubq with arrays"}},{"before":"5cb570b6775dd38c7d719a4141969d788234f076","after":"f836a2ffe6f84b6bafc8d45d3f91583434992329","ref":"refs/heads/bdep","pushedAt":"2024-08-24T11:48:52.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep","shortMessageHtmlLink":"Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep"}},{"before":"792f9b63cac084adb4e6bda51d71178283b34ef0","after":"5cb570b6775dd38c7d719a4141969d788234f076","ref":"refs/heads/bdep","pushedAt":"2024-08-23T15:41:43.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"remove examples that depend on JWord","shortMessageHtmlLink":"remove examples that depend on JWord"}},{"before":"4830b252adcf93f73a3070ccaaa5b8a1b47f1f4b","after":"792f9b63cac084adb4e6bda51d71178283b34ef0","ref":"refs/heads/bdep","pushedAt":"2024-08-23T15:21:51.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"make \"bind\" a keyword again","shortMessageHtmlLink":"make \"bind\" a keyword again"}},{"before":"54ed6a0c89ac1ddc17a2df23fc436b387ea1c603","after":"4830b252adcf93f73a3070ccaaa5b8a1b47f1f4b","ref":"refs/heads/bdep","pushedAt":"2024-08-23T15:11:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"deps","shortMessageHtmlLink":"deps"}},{"before":"5884f7d71491582a6978656dbc8bbb52754162ce","after":"54ed6a0c89ac1ddc17a2df23fc436b387ea1c603","ref":"refs/heads/bdep","pushedAt":"2024-08-23T15:08:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"deps","shortMessageHtmlLink":"deps"}},{"before":"2d0e6cfd49cec6648748cac9a955ec1a866ade46","after":"b58361d568966d24a18669a9c3ef6ceca9ee77ac","ref":"refs/heads/ip-in-proofterms","pushedAt":"2024-08-23T11:43:03.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"Simple tactics in proof-terms.\n\nSimple tactics (//, //#, /#) can now been used in proof-terms.","shortMessageHtmlLink":"Simple tactics in proof-terms."}},{"before":"0d5cdaff8cfb875d82fd6f82a7ee660d8b722cb1","after":"2d0e6cfd49cec6648748cac9a955ec1a866ade46","ref":"refs/heads/ip-in-proofterms","pushedAt":"2024-08-23T10:11:15.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"Simple tactics in proof-terms.\n\nSimple tactics (//, //#, /#) can now been used in proof-terms.","shortMessageHtmlLink":"Simple tactics in proof-terms."}},{"before":"54ee6d0fbcbba14038489fcb3beb436f3e091f74","after":null,"ref":"refs/heads/why3-sigint","pushedAt":"2024-08-23T07:09:32.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"}},{"before":"791bfa740a20f7ebf346edb2ba2836b63b8d340d","after":"96f356b91896fb1b44078ee6c48b12d1788c5553","ref":"refs/heads/main","pushedAt":"2024-08-23T07:09:31.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"internal: handle CTRL+C properly w.r.t. Why3 server\n\nFor that purpose, we now start Why3 manually and connect to it\nas if it were an external Why3 server instance.\n\nThe Why3 server is put in its own process groups and does not receive\nthe signals (SIGINT, SIGTERM e.g.) directly received by EasyCrypt.\n\nThe Why3 server is started s.t. it shutdowns itself gracefully\nwhen EasyCrypt disconnects from it.","shortMessageHtmlLink":"internal: handle CTRL+C properly w.r.t. Why3 server"}},{"before":"41ce9ce3e64c73223068c8043679754fdde54505","after":"5884f7d71491582a6978656dbc8bbb52754162ce","ref":"refs/heads/bdep","pushedAt":"2024-08-22T19:05:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"WIP: Added array to_list registering and slicing operators","shortMessageHtmlLink":"WIP: Added array to_list registering and slicing operators"}},{"before":"90d2a747214d7a2dbaa4ed9ecdc578f8fad1924a","after":"41ce9ce3e64c73223068c8043679754fdde54505","ref":"refs/heads/bdep","pushedAt":"2024-08-22T16:52:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"WIP: mapreduce for arrays, simple example working","shortMessageHtmlLink":"WIP: mapreduce for arrays, simple example working"}},{"before":"c06021f90e72c84dafd8468edad8c74b7226814e","after":"69d5154025bf8ea2a6602e521f2e0ef4df508a05","ref":"refs/heads/comm-algebra","pushedAt":"2024-08-22T15:52:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"stdlib: basic commutative algebra","shortMessageHtmlLink":"stdlib: basic commutative algebra"}},{"before":"5152364db7d1a2a45fb2af937126bd4e9b596f81","after":"90d2a747214d7a2dbaa4ed9ecdc578f8fad1924a","ref":"refs/heads/bdep","pushedAt":"2024-08-22T15:03:46.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep","shortMessageHtmlLink":"Merge remote-tracking branch 'refs/remotes/origin/bdep' into bdep"}},{"before":"c53c62d88677dbb5b7968f49fec6aecc734e6327","after":"5152364db7d1a2a45fb2af937126bd4e9b596f81","ref":"refs/heads/bdep","pushedAt":"2024-08-22T09:52:46.000Z","pushType":"push","commitsCount":23,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"Merge remote-tracking branch 'origin/main' into bdep","shortMessageHtmlLink":"Merge remote-tracking branch 'origin/main' into bdep"}},{"before":"a302c288ccdc7b3a11d4a720ac97ffe8e9a671e4","after":"e7bda8d3cb84d48bfb877df4e44778b626238e4d","ref":"refs/heads/inlined-doc","pushedAt":"2024-08-22T08:20:05.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MM45","name":"Matthias","path":"/MM45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32633127?s=80&v=4"},"commit":{"message":"Default documentation when missing.","shortMessageHtmlLink":"Default documentation when missing."}},{"before":"4f614aef608c75da721b7154b2776967f731fa53","after":"c06021f90e72c84dafd8468edad8c74b7226814e","ref":"refs/heads/comm-algebra","pushedAt":"2024-08-22T08:10:38.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"stdlib: basic commutative algebra","shortMessageHtmlLink":"stdlib: basic commutative algebra"}},{"before":"1dcdd91a62db05171dee94098f79f6811d76b52b","after":"a302c288ccdc7b3a11d4a720ac97ffe8e9a671e4","ref":"refs/heads/inlined-doc","pushedAt":"2024-08-22T08:08:59.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"MM45","name":"Matthias","path":"/MM45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32633127?s=80&v=4"},"commit":{"message":"Add support for linking to nested abstract theories.","shortMessageHtmlLink":"Add support for linking to nested abstract theories."}},{"before":"a3bdaf1adfac613b0c5c9f960da28abaa3a46ab8","after":"c53c62d88677dbb5b7968f49fec6aecc734e6327","ref":"refs/heads/bdep","pushedAt":"2024-08-21T15:27:03.000Z","pushType":"push","commitsCount":9,"pusher":{"login":"Gustavo2622","name":null,"path":"/Gustavo2622","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/52301402?s=80&v=4"},"commit":{"message":"WIP: restoring mapreduce","shortMessageHtmlLink":"WIP: restoring mapreduce"}},{"before":"9bfb08b7135d0cd7f33da9afb8e6725813f52084","after":"1dcdd91a62db05171dee94098f79f6811d76b52b","ref":"refs/heads/inlined-doc","pushedAt":"2024-08-21T14:07:21.000Z","pushType":"push","commitsCount":2,"pusher":{"login":"MM45","name":"Matthias","path":"/MM45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32633127?s=80&v=4"},"commit":{"message":"First complete attempt at linking items (locally, not from stdlib).","shortMessageHtmlLink":"First complete attempt at linking items (locally, not from stdlib)."}},{"before":"767ebbfe9ee2312db1f4459dbb242bed4920528c","after":null,"ref":"refs/heads/external-ci-xmss-sphincs","pushedAt":"2024-08-21T11:27:17.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"MM45","name":"Matthias","path":"/MM45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32633127?s=80&v=4"}},{"before":"3a56e187e7285ddc64fe1a67032b724d50cf1a2e","after":"791bfa740a20f7ebf346edb2ba2836b63b8d340d","ref":"refs/heads/main","pushedAt":"2024-08-21T11:27:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"MM45","name":"Matthias","path":"/MM45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32633127?s=80&v=4"},"commit":{"message":"[External CI] Add XMSS and SPHINCS+ (#601)\n\nCo-authored-by: François Dupressoir <fdupress@gmail.com>","shortMessageHtmlLink":"[External CI] Add XMSS and SPHINCS+ (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2477186069\" data-permission-text=\"Title is private\" data-url=\"https://github.com/EasyCrypt/easycrypt/issues/601\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/EasyCrypt/easycrypt/pull/601/hovercard\" href=\"https://github.com/EasyCrypt/easycrypt/pull/601\">#601</a>)"}},{"before":"5fe0d44b0449d021ba72eeafa3111bc49e0d9486","after":null,"ref":"refs/heads/wrap-mod-params","pushedAt":"2024-08-21T09:42:54.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"}},{"before":"352f3d87e3c506e9be922307db33c69137f88989","after":"3a56e187e7285ddc64fe1a67032b724d50cf1a2e","ref":"refs/heads/main","pushedAt":"2024-08-21T09:42:52.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"pretty printer: better handling of long module paths","shortMessageHtmlLink":"pretty printer: better handling of long module paths"}},{"before":null,"after":"4f614aef608c75da721b7154b2776967f731fa53","ref":"refs/heads/comm-algebra","pushedAt":"2024-08-21T09:37:08.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"stdlib: basic commutative algebra","shortMessageHtmlLink":"stdlib: basic commutative algebra"}},{"before":"817d0f8d66263e8328433d70b2e009d2428ae1ab","after":"767ebbfe9ee2312db1f4459dbb242bed4920528c","ref":"refs/heads/external-ci-xmss-sphincs","pushedAt":"2024-08-21T09:24:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"strub","name":"Pierre-Yves Strub","path":"/strub","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/1540508?s=80&v=4"},"commit":{"message":"[external CI] add XMSS and SPHINCS+","shortMessageHtmlLink":"[external CI] add XMSS and SPHINCS+"}},{"before":"19c41756e3cff9f58a246d975ebb1007cefb3880","after":"817d0f8d66263e8328433d70b2e009d2428ae1ab","ref":"refs/heads/external-ci-xmss-sphincs","pushedAt":"2024-08-21T06:32:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"MM45","name":"Matthias","path":"/MM45","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/32633127?s=80&v=4"},"commit":{"message":"[external CI] add XMSS and SPHINCS+","shortMessageHtmlLink":"[external CI] add XMSS and SPHINCS+"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEpUyZnAA","startCursor":null,"endCursor":null}},"title":"Activity · EasyCrypt/easycrypt"}