{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":39133684,"defaultBranch":"master","name":"GeoCoq","ownerLogin":"GeoCoq","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-07-15T11:41:05.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/13349115?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1711294160.0","currentOid":""},"activityList":{"items":[{"before":"737cf2532c3bbcbdb6793b21ce190fa23f00bf86","after":"155d567a23dc02df52c11324f44d75c4d4a88953","ref":"refs/heads/master","pushedAt":"2024-05-31T14:01:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"dimensional axioms handled in all the formalized models","shortMessageHtmlLink":"dimensional axioms handled in all the formalized models"}},{"before":"3e15e3c3ccd86973a930bded0707417310f8375d","after":"737cf2532c3bbcbdb6793b21ce190fa23f00bf86","ref":"refs/heads/master","pushedAt":"2024-05-27T14:05:23.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"proofs that the dimensional axioms hold in two more CM","shortMessageHtmlLink":"proofs that the dimensional axioms hold in two more CM"}},{"before":"2f038905da84b8e63f07e2bf5b1b1bf348e1e0a1","after":"3e15e3c3ccd86973a930bded0707417310f8375d","ref":"refs/heads/master","pushedAt":"2024-05-07T07:36:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"n-dimensional axioms hold in the hyperbolic model","shortMessageHtmlLink":"n-dimensional axioms hold in the hyperbolic model"}},{"before":"6e35ac39ed50acbeab9990d526e6de7256454f83","after":"2f038905da84b8e63f07e2bf5b1b1bf348e1e0a1","ref":"refs/heads/master","pushedAt":"2024-04-03T07:51:32.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"faster script for tcp_ndc.v","shortMessageHtmlLink":"faster script for tcp_ndc.v"}},{"before":"345b22880714b03ac8548793b3f030d862d4e936","after":"6e35ac39ed50acbeab9990d526e6de7256454f83","ref":"refs/heads/master","pushedAt":"2024-04-01T16:50:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"make it clearer when the 2D CM is a special case of the nD one","shortMessageHtmlLink":"make it clearer when the 2D CM is a special case of the nD one"}},{"before":"69fdced01296c4fb9b88e7950d4843c436241a6e","after":"345b22880714b03ac8548793b3f030d862d4e936","ref":"refs/heads/master","pushedAt":"2024-03-30T16:18:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"dune flags for the mathcomp related part","shortMessageHtmlLink":"dune flags for the mathcomp related part"}},{"before":"3d6a6fe473d97bac625c43252e828d82b53ee3f3","after":"69fdced01296c4fb9b88e7950d4843c436241a6e","ref":"refs/heads/master","pushedAt":"2024-03-30T15:45:39.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"handle mathcomp 1.17.0 related warnings (loss of compatibility with mathcomp <= 1.16.0)","shortMessageHtmlLink":"handle mathcomp 1.17.0 related warnings (loss of compatibility with m…"}},{"before":"fc6eca0b389e3fc396c2d28fd2019376816f767f","after":"3d6a6fe473d97bac625c43252e828d82b53ee3f3","ref":"refs/heads/master","pushedAt":"2024-03-30T14:39:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"handle enum_ordS related warning (loss of compatibility with mathcomp <= 1.14.0)","shortMessageHtmlLink":"handle enum_ordS related warning (loss of compatibility with mathcomp…"}},{"before":"f17a52b82c73855d9b5152ec8ffb23c12f25c441","after":"fc6eca0b389e3fc396c2d28fd2019376816f767f","ref":"refs/heads/master","pushedAt":"2024-03-30T14:17:41.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"handle iota_add related warning (loss of compatibility with mathcomp 1.11.0)","shortMessageHtmlLink":"handle iota_add related warning (loss of compatibility with mathcomp …"}},{"before":"67870f9fd2fbce27cfbc0b0908285db4c871456b","after":"f17a52b82c73855d9b5152ec8ffb23c12f25c441","ref":"refs/heads/master","pushedAt":"2024-03-30T13:56:48.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"handle Coq related warnings (no loss of compatibility)","shortMessageHtmlLink":"handle Coq related warnings (no loss of compatibility)"}},{"before":"4ab3cce6c05ab08739b864b5851ad75640f97650","after":"de2e0266edcbe6e031aef2f6a550d41bd0507e2b","ref":"refs/heads/gh-pages","pushedAt":"2024-03-24T15:46:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"Point to latest release","shortMessageHtmlLink":"Point to latest release"}},{"before":"3b3d62ac667d991266fd1335bdb36d0c2744add8","after":"67870f9fd2fbce27cfbc0b0908285db4c871456b","ref":"refs/heads/master","pushedAt":"2024-03-24T15:21:27.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"Update README.md","shortMessageHtmlLink":"Update README.md"}},{"before":"b84e431d90e1e89a9bdfc1082bb3f958d6645d13","after":"3b3d62ac667d991266fd1335bdb36d0c2744add8","ref":"refs/heads/master","pushedAt":"2024-03-24T15:20:21.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"update README","shortMessageHtmlLink":"update README"}},{"before":"61ac9e1f75af7a94742a8badbf762d33e87b3cd3","after":null,"ref":"refs/heads/dune","pushedAt":"2024-03-24T14:33:03.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"}},{"before":"7d7fd5de59d8fca9f19826cc2f88ffbf92867e73","after":"b84e431d90e1e89a9bdfc1082bb3f958d6645d13","ref":"refs/heads/master","pushedAt":"2024-03-24T14:33:00.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"Merge pull request #46 from GeoCoq/dune\n\nreorganization and add the possiblity to build using dune","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"2204381446\" data-permission-text=\"Title is private\" data-url=\"https://github.com/GeoCoq/GeoCoq/issues/46\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/GeoCoq/GeoCoq/pull/46/hovercard\" href=\"https://github.com/GeoCoq/GeoCoq/pull/46\">#46</a> from GeoCoq/dune"}},{"before":"2f25d18ab6039c6199f28800839c69da134b4485","after":"61ac9e1f75af7a94742a8badbf762d33e87b3cd3","ref":"refs/heads/dune","pushedAt":"2024-03-24T14:28:46.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune\n\nupdate Changelog and README","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"0e06c277cbdc6a98be1f03e851795e52538834df","after":"2f25d18ab6039c6199f28800839c69da134b4485","ref":"refs/heads/dune","pushedAt":"2024-03-24T14:19:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune\n\nupdate Changelog and README","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"d9a538376ae42054bfd43908c68f4a7456be4218","after":"0e06c277cbdc6a98be1f03e851795e52538834df","ref":"refs/heads/dune","pushedAt":"2024-03-24T14:08:17.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune\n\nupdate Changelog and README","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"361873afd7358905e78b2eaca0c7087eee6ebe24","after":"d9a538376ae42054bfd43908c68f4a7456be4218","ref":"refs/heads/dune","pushedAt":"2024-03-24T13:13:29.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune\n\nupdate Changelog and README","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"6a4984c058d409d1163c7c2e9227bd5fc570ed49","after":"361873afd7358905e78b2eaca0c7087eee6ebe24","ref":"refs/heads/dune","pushedAt":"2024-03-23T23:08:07.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"8d4ec23a1041d45321c47d820bef45e86578e946","after":"6a4984c058d409d1163c7c2e9227bd5fc570ed49","ref":"refs/heads/dune","pushedAt":"2024-03-23T20:46:01.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"35f67c7fab2ec673c7193af4067ee9348713dc2c","after":"8d4ec23a1041d45321c47d820bef45e86578e946","ref":"refs/heads/dune","pushedAt":"2024-03-23T20:14:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"1458823d707a570d36acfc0eba2bb04d00bd858c","after":"35f67c7fab2ec673c7193af4067ee9348713dc2c","ref":"refs/heads/dune","pushedAt":"2024-03-23T20:13:00.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"reorganization and add the possiblity to build using dune","shortMessageHtmlLink":"reorganization and add the possiblity to build using dune"}},{"before":"161f81da5d243cc1e6e481e25ac4db7388929c6b","after":"1458823d707a570d36acfc0eba2bb04d00bd858c","ref":"refs/heads/dune","pushedAt":"2024-03-23T20:10:43.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"move Tarski dev apart from Definitions","shortMessageHtmlLink":"move Tarski dev apart from Definitions"}},{"before":"c45ccbfe75993301df3857def1b21ba4f26d1a5a","after":"161f81da5d243cc1e6e481e25ac4db7388929c6b","ref":"refs/heads/dune","pushedAt":"2024-03-23T20:09:26.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"now (using coq 0.7)\n\n(using coq 0.8) is indeed needed","shortMessageHtmlLink":"now (using coq 0.7)"}},{"before":"9ca9a093af0a1b5b9a61b53d9073c71243e01bca","after":"c45ccbfe75993301df3857def1b21ba4f26d1a5a","ref":"refs/heads/dune","pushedAt":"2024-03-23T19:41:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"Coq 8.10 is compatible","shortMessageHtmlLink":"Coq 8.10 is compatible"}},{"before":"4b456224e82fde6734a3daf10804152f0ddbc866","after":"9ca9a093af0a1b5b9a61b53d9073c71243e01bca","ref":"refs/heads/dune","pushedAt":"2024-03-23T19:33:44.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"fix compil","shortMessageHtmlLink":"fix compil"}},{"before":"6dad0a7c2ac6113483f66734fd6b8f61d2a15949","after":"4b456224e82fde6734a3daf10804152f0ddbc866","ref":"refs/heads/dune","pushedAt":"2024-03-23T19:19:05.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"update .opam files","shortMessageHtmlLink":"update .opam files"}},{"before":"116f052e677dbd7b38d4238343d453b8e4ad8ecf","after":"6dad0a7c2ac6113483f66734fd6b8f61d2a15949","ref":"refs/heads/dune","pushedAt":"2024-03-23T19:09:46.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"update .opam files","shortMessageHtmlLink":"update .opam files"}},{"before":"58d1e6d99a9db2df45c50c9759dc289326f54f6b","after":"116f052e677dbd7b38d4238343d453b8e4ad8ecf","ref":"refs/heads/dune","pushedAt":"2024-03-23T19:00:08.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"Boutry","name":"Pierre Boutry","path":"/Boutry","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7242773?s=80&v=4"},"commit":{"message":"there is a need for a coq-geocoq package","shortMessageHtmlLink":"there is a need for a coq-geocoq package"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEWRZPgwA","startCursor":null,"endCursor":null}},"title":"Activity · GeoCoq/GeoCoq"}