{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":263733355,"defaultBranch":"master","name":"sf","ownerLogin":"DeepSpec","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2020-05-13T20:13:43.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/15218901?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1713867672.0","currentOid":""},"activityList":{"items":[{"before":"9dc6bcc21fb85f04d8b6d7c8235394345493eb1a","after":"43b800edcc9850aa6c3331cb6b783a2b9747f4b8","ref":"refs/heads/master","pushedAt":"2024-08-30T14:32:17.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r4195","shortMessageHtmlLink":"r4195"}},{"before":"e94f8bae58def154f9157c49a05a1a2c1e20f1ab","after":"9dc6bcc21fb85f04d8b6d7c8235394345493eb1a","ref":"refs/heads/master","pushedAt":"2024-08-25T18:18:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r4188","shortMessageHtmlLink":"r4188"}},{"before":"d7317fdb90bce21ca52d89924abbece768192001","after":"e94f8bae58def154f9157c49a05a1a2c1e20f1ab","ref":"refs/heads/master","pushedAt":"2024-08-08T20:48:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r4184","shortMessageHtmlLink":"r4184"}},{"before":"291e3b86b8c9ba22bf2edfaa183b3e7b03df7e95","after":"d7317fdb90bce21ca52d89924abbece768192001","ref":"refs/heads/master","pushedAt":"2024-07-10T18:55:42.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r4180","shortMessageHtmlLink":"r4180"}},{"before":"5d266f51901539ee4e92074fa6aa356a49018d74","after":"291e3b86b8c9ba22bf2edfaa183b3e7b03df7e95","ref":"refs/heads/master","pushedAt":"2024-04-27T10:41:45.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r4169","shortMessageHtmlLink":"r4169"}},{"before":"5cb1ad9c937b264998dda150c4cc2de1dc1f7077","after":null,"ref":"refs/heads/dev-ci","pushedAt":"2024-04-23T10:21:12.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"}},{"before":"d8ff8d243fc2e254cdb5cc5a3143aa3ab5e6788d","after":"5d266f51901539ee4e92074fa6aa356a49018d74","ref":"refs/heads/master","pushedAt":"2024-04-23T10:16:15.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"[docker dev]","shortMessageHtmlLink":"[docker dev]"}},{"before":"d8ff8d243fc2e254cdb5cc5a3143aa3ab5e6788d","after":null,"ref":"refs/heads/coq-8.17","pushedAt":"2024-04-23T04:26:38.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"}},{"before":"50290bdb31fe2fc61683fd92e051e35bb009c00b","after":"d8ff8d243fc2e254cdb5cc5a3143aa3ab5e6788d","ref":"refs/heads/master","pushedAt":"2024-04-23T04:26:34.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"ci: Retire Coq < 8.17","shortMessageHtmlLink":"ci: Retire Coq < 8.17"}},{"before":"1539c73860ed428d593c9ffcdb0898dc29e2ac96","after":"d8ff8d243fc2e254cdb5cc5a3143aa3ab5e6788d","ref":"refs/heads/coq-8.17","pushedAt":"2024-04-23T04:26:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"ci: Retire Coq < 8.17","shortMessageHtmlLink":"ci: Retire Coq < 8.17"}},{"before":null,"after":"1539c73860ed428d593c9ffcdb0898dc29e2ac96","ref":"refs/heads/coq-8.17","pushedAt":"2024-04-23T04:13:47.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"ci: Retire Coq < 8.17","shortMessageHtmlLink":"ci: Retire Coq < 8.17"}},{"before":"5bd384b0cb6225c7e64e88fbd4b55e956aa87194","after":"50290bdb31fe2fc61683fd92e051e35bb009c00b","ref":"refs/heads/master","pushedAt":"2024-04-23T04:01:55.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r4166","shortMessageHtmlLink":"r4166"}},{"before":"8226e3fdd35bc9af6f448e2a2abe937bfc744bca","after":"5bd384b0cb6225c7e64e88fbd4b55e956aa87194","ref":"refs/heads/master","pushedAt":"2024-04-22T10:30:22.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"[docker 8.19] [docker dev]","shortMessageHtmlLink":"[docker 8.19] [docker dev]"}},{"before":"d7f9ab78cd01f36ce5a2a359dfe4cfe1e160fae9","after":"8226e3fdd35bc9af6f448e2a2abe937bfc744bca","ref":"refs/heads/master","pushedAt":"2024-04-22T10:03:53.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"[docker 8.17] [docker 8.18] [docker 8.19]","shortMessageHtmlLink":"[docker 8.17] [docker 8.18] [docker 8.19]"}},{"before":"3df98da74dfa22ac9622441d7afe1d21bb7b5bda","after":"d7f9ab78cd01f36ce5a2a359dfe4cfe1e160fae9","ref":"refs/heads/master","pushedAt":"2023-12-24T13:09:16.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3965","shortMessageHtmlLink":"r3965"}},{"before":"1fc417e65eb018c73ec794f9af21ed19c39a27e7","after":"3df98da74dfa22ac9622441d7afe1d21bb7b5bda","ref":"refs/heads/master","pushedAt":"2023-12-24T13:09:01.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3966","shortMessageHtmlLink":"r3966"}},{"before":"8c30e3b0e96b84aa384feaa30e52718cd29ea75f","after":"1fc417e65eb018c73ec794f9af21ed19c39a27e7","ref":"refs/heads/master","pushedAt":"2023-11-27T15:11:49.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3927","shortMessageHtmlLink":"r3927"}},{"before":"5e2a5c030e9389817664301d782ff4f2d9127343","after":"8c30e3b0e96b84aa384feaa30e52718cd29ea75f","ref":"refs/heads/master","pushedAt":"2023-11-26T21:27:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3925","shortMessageHtmlLink":"r3925"}},{"before":"a55692ac1021d84b726f853fc543ec0fda2a88c7","after":"5e2a5c030e9389817664301d782ff4f2d9127343","ref":"refs/heads/master","pushedAt":"2023-11-17T19:35:47.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3884","shortMessageHtmlLink":"r3884"}},{"before":"31baeee565bdee298e38f81d5c1139cc5e114f9d","after":"a55692ac1021d84b726f853fc543ec0fda2a88c7","ref":"refs/heads/master","pushedAt":"2023-11-14T18:47:11.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3872","shortMessageHtmlLink":"r3872"}},{"before":"a65be0e3b7102f2617c677109fa8f8488c6132b9","after":"31baeee565bdee298e38f81d5c1139cc5e114f9d","ref":"refs/heads/master","pushedAt":"2023-11-04T19:33:02.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3844","shortMessageHtmlLink":"r3844"}},{"before":"a65be0e3b7102f2617c677109fa8f8488c6132b9","after":null,"ref":"refs/heads/squash","pushedAt":"2023-11-02T06:42:28.000Z","pushType":"branch_deletion","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"}},{"before":"50c9dd41ea53fd52525530069e7a851c107db297","after":"a65be0e3b7102f2617c677109fa8f8488c6132b9","ref":"refs/heads/master","pushedAt":"2023-11-02T06:42:11.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Squashed commit of the following:\n\ncommit 50c9dd41ea53fd52525530069e7a851c107db297\nAuthor: Benjamin Pierce \nDate: Fri Oct 27 14:12:45 2023 +0000\n\n r3827\n\ncommit b2171882b0d07931d129d439358e5abb358acc85\nAuthor: Yishuai Li \nDate: Mon Oct 23 10:26:30 2023 +0000\n\n r3809\n\ncommit 6c3a9a22e5a064350f11e9827144562b23194b63\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:14:31 2023 +0000\n\n r3788\n\ncommit e8219a797a24cd40f1e101ce3b5ddf3b96225efe\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:14:16 2023 +0000\n\n r3787\n\ncommit ab0255116b0307c7d0007fb981cef2de0b0abfb2\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:07:36 2023 +0000\n\n r3785\n\ncommit 181eef5d50031a70684521c0214c045ed608e9fa\nAuthor: Benjamin Pierce \nDate: Tue Oct 3 20:59:37 2023 +0000\n\n r3762\n\ncommit 40cf48487ed5c21735edcda896d31977ddeaab40\nAuthor: Benjamin Pierce \nDate: Sun Oct 1 13:02:23 2023 +0000\n\n r3759\n\ncommit 778bc68202695f227069866bcef65efc633a8973\nAuthor: Benjamin Pierce \nDate: Wed Sep 27 19:55:07 2023 +0000\n\n r3749\n\ncommit 1313e785e99254e42fae1fa07c24fea9f4e832f3\nAuthor: Benjamin Pierce \nDate: Mon Aug 28 15:31:16 2023 -0400\n\n [docker 8.17]\n\ncommit 504cc52f1ae90cf533c141755e7e7067a985465a\nAuthor: Benjamin Pierce \nDate: Sun Aug 27 20:35:15 2023 +0000\n\n r3697\n\ncommit 774e7224f1b4abc38882e1a4984b54e5c3829429\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 20:40:06 2023 +0000\n\n r3692\n\ncommit 90ecdc836af195c413b6bce3f1216c2544a3ac42\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 15:36:17 2023 +0000\n\n r3688\n\ncommit 1d53d198e252dce6d1d70e03472dab95a3787234\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 14:15:53 2023 +0000\n\n r3685\n\ncommit dd4945c7896811c793b290fc8e47b5021c94bcf9\nAuthor: Benjamin Pierce \nDate: Tue Aug 22 20:45:27 2023 +0000\n\n r3683\n\ncommit 91e45fe8e5976dc2d3e30655e5c19f60834f60fa\nAuthor: Benjamin Pierce \nDate: Tue Aug 22 20:43:58 2023 +0000\n\n r3682\n\ncommit 5897aa14f6f8f40c3cbba70838e0e57e584c370f\nAuthor: Benjamin Pierce \nDate: Thu Jul 6 19:57:24 2023 +0000\n\n r3645\n\ncommit d98b8968483d7ee30dc3a502cd7d58f1490bfa9b\nAuthor: Benjamin Pierce \nDate: Tue Jun 20 15:39:10 2023 +0000\n\n r3586\n\ncommit b064637eeba4e806f7aae974cc7c4178c1fd8057\nAuthor: Benjamin Pierce \nDate: Tue Apr 25 20:37:27 2023 +0000\n\n r3553\n\ncommit ac30dd05e432469f41af761039cfdc03110d44dd\nAuthor: Benjamin Pierce \nDate: Fri Apr 7 00:27:00 2023 +0000\n\n r3546\n\ncommit 1840b0a2f07b4f6cbf232a67b6fbafa6940642b2\nAuthor: Benjamin Pierce \nDate: Sun Mar 26 19:33:49 2023 +0000\n\n r3534\n\ncommit b2639eb864e84119a7cd8128bc21217102c596fb\nAuthor: Benjamin Pierce \nDate: Sat Mar 25 17:30:46 2023 +0000\n\n r3531\n\ncommit 62fbb79b25ea99f3a49027699f95f85f65c083b2\nMerge: 3fd3a70e ebef5c18\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 12:07:07 2023 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 3fd3a70e552da9c8b7caeca4a1e7045dbe09c6d5\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 12:06:38 2023 -0400\n\n [docker 8.16]\n\ncommit ebef5c18681f64bc1fc2f9d71907efd6816f9765\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 02:39:53 2023 +0000\n\n r3528\n\ncommit d1117332707e6a5670911ac60a998fa748538217\nAuthor: Benjamin Pierce \nDate: Thu Mar 23 20:54:06 2023 -0400\n\n [docker 8.15]\n\ncommit b20c8677b0b2a1a2a272111ce60f5a9663bec0ae\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:08:45 2023 -0400\n\n [docker 8.15]\n\ncommit 11e79d208435ae5434d6eeea5a6f50ba844141e2\nMerge: 01bd4b7c d63d1a6f\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:06:08 2023 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 01bd4b7c943f3b471284661298711ca7aad3e446\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:05:56 2023 -0400\n\n [docker 8.15]\n\ncommit d63d1a6f0e396a0d06f1363722482b3d515cafa7\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 17:12:57 2023 -0400\n\n [docker 8.16]\n\ncommit a454e871d13750f0a38dc532e91d5e8280b8f4c1\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 16:51:18 2023 -0400\n\n [docker 8.16]\n\ncommit 00e66ab6eec586cd3eb3ee26c5fe3bdc976448ec\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:19:13 2023 -0400\n\n [docker 8.16]\n\ncommit 0e5f81b1428971ce8ee86e931d08694ba3147ce0\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:17:50 2023 -0400\n\n [docker 8.16]\n\ncommit 1a041ecbcd09839384dc02ca355eb54764c5e7aa\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:04:12 2023 -0400\n\n [docker 8.16]\n\ncommit 60274394380dbfc48f820c5efdd6ea300be6b106\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:59:02 2023 -0400\n\n [docker 8.16]\n\ncommit a3ee935a82c96de24d64e95577a798ee40869530\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:54:25 2023 -0400\n\n [docker 8.16]\n\ncommit 68e9be3c880329f0734521d6b4bc78681a604a4e\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:50:50 2023 -0400\n\n [docker 8.16]\n\ncommit 03fab3c6a190f2740af6c5400151e5e148c6f593\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:29:18 2023 -0400\n\n Docker scripts\n\ncommit 5355a8aaf8c7ec9c66b47710ba401eb7ef2303a4\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:50:59 2023 -0400\n\n [docker 8.16]\n\ncommit 9f5727dc5e400c3f77274866b2b5665bc28ab525\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:50:34 2023 -0400\n\n [docker 8.15]\n\ncommit 841ce2572c02af0beb94cc1c1d4b587b944be530\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:47:57 2023 -0400\n\n [docker 8.16]\n\ncommit 7f6b041179d91ab790f38cd882f005926ff6ea01\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 17:03:41 2023 -0400\n\n [docker 8.16]\n\ncommit b0891f9548e063b5964a19d9d35bcdc0ebcb62d4\nMerge: d7a4e7ee 04650b02\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 16:46:56 2023 -0400\n\n Merge remote-tracking branch 'origin/circleci-update-resource-class'\n\ncommit d7a4e7ee12cfb62439f9a757067583b49b7ff514\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 15:26:06 2023 -0400\n\n [docker 8.16]\n\ncommit 105d1bde22aeaf94c1a7698c6ffc7755795403fa\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:47:11 2023 -0400\n\n [docker 8.16]\n\ncommit 4a04f990db9ecbdc69d77af4c1fc64a6ea566cfe\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:46:29 2023 -0400\n\n [docker dev]\n\ncommit 04650b02b017675f73547ed8b53f611c97f74539\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:13:43 2023 -0400\n\n Update build-docker to large resource class in config.yml\n\ncommit 1c63f3e76de0971f2571297861847f402d0ac8e9\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:00:24 2023 -0400\n\n [docker 8.15]\n\ncommit 1b456cc4910cb227f79f9877f8bfa31b2e3502d5\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:35:03 2023 -0400\n\n [docker 8.16]\n\ncommit 7c6cd01fc99be877ca64e93e1e8c160eb6b610ca\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:34:24 2023 -0400\n\n CI hacking\n\ncommit e6aa12bebac2ecbe4f13c61d1e8678ed78252fc5\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:19:58 2023 -0400\n\n [docker 8.16]\n\ncommit b3a4f5b328e9b36e92318189e8627446037a5eb8\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 17:04:17 2023 -0400\n\n [Docker 8.16]\n\ncommit 204987de4cb06fa7c441cd29cf46a8345a087272\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 17:02:02 2023 -0400\n\n Correct one\n\ncommit 76fcfd96805939a9bd20140c0c891f4ae101c26e\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:59:00 2023 -0400\n\n Move it where it belongs\n\ncommit 673955c488868bee8c5937d9068deb7c1cf6a2d3\nMerge: abab8263 d1ef3766\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:55 2023 -0400\n\n Merge pull request #5 from DeepSpec/cleanup\n\n Cleanup Coq versions\n\ncommit d1ef37660d3898f7b7f3db3898eee80a072f5acf\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:32 2023 -0400\n\n Re-add conflicted file\n\ncommit b11cd6ac08d55a7a28ad48ca19c4a2f0b0e495f3\nMerge: 09ce0fea efa357e4\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:06 2023 -0400\n\n Merge branch 'cleanup' of https://github.com/DeepSpec/sf into cleanup\n\ncommit 09ce0fea9ea60ad40581d103f0a303e6e16031ed\nMerge: 8d0a2f6a abab8263\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:55:16 2023 -0400\n\n Merge branch 'master' into cleanup\n\ncommit abab82632bf6a84d1615d8c0e0e0fbd223d8474c\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:53:37 2023 -0400\n\n Fix Makefile per Yiushuai\n\ncommit efa357e45dbb55c5df3eb71b59603c1f5bfe4b0d\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:49:24 2023 -0400\n\n Delete Makefile\n\ncommit b78e863fd08069de169a4dee1cfa8b0921bf7dd6\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:43:23 2023 -0400\n\n [Docker 8.16]\n\ncommit 142c1e96913bed6e5b8272c36342ffb026fa011a\nMerge: 9255b7bc c81b62cd\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:59:59 2023 -0400\n\n Merge pull request #8 from ppedrot/rm-instantiate\n\n Adapt w.r.t. coq/coq#16910.\n\ncommit 9255b7bc1d2b2b929a0866e1fdb74a79318daf07\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:12:42 2023 -0400\n\n Docker 8.16\n\ncommit 82524ce33c65bf25d313f7e29fff9b8355591531\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:11:44 2023 -0400\n\n Docker 8.15\n\ncommit c81b62cd5c34dc96cf8e49fbe885e5dd54b45a58\nAuthor: Pierre-Marie Pédrot \nDate: Tue Dec 27 17:04:56 2022 +0100\n\n Adapt w.r.t. coq/coq#16910.\n\ncommit 542ea3af8f16f0f73f8a676075f0f560b0f23a23\nMerge: 9f5fb840 cc97bbe0\nAuthor: Benjamin Pierce \nDate: Mon Nov 28 14:21:55 2022 -0500\n\n Merge pull request #7 from ppedrot/deprecate-elim-case-type\n\n Adapt w.r.t. coq/coq#16904.\n\ncommit cc97bbe0b0127daf9542343bb6e315ae324c7930\nAuthor: Pierre-Marie Pédrot \nDate: Fri Nov 25 12:19:04 2022 +0100\n\n Adapt w.r.t. coq/coq#16904.\n\ncommit 9f5fb840950dcf54cc4ce0884ffb75c62f9bcd6a\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 15:14:20 2022 -0400\n\n Update workflows to 8.15\n\ncommit 4ee8749d577c51acdbb153c19bf6457ffaf33560\nMerge: 6a920d06 669ab066\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 14:59:33 2022 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 6a920d0649f1cf9b38641ab937d51ee38a531dad\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 14:59:21 2022 -0400\n\n [docker 8.15]\n\ncommit 8d0a2f6a0f925be03bc8c9d4bccbcbf9e3d4f18f\nAuthor: Yishuai Li \nDate: Mon Sep 5 08:49:04 2022 +0800\n\n [docker 8.15] [docker dev]\n\ncommit df7e938bca16e3a353da116bb8a81dda3e387df8\nAuthor: Yishuai Li \nDate: Mon Sep 5 01:34:11 2022 +0800\n\n Cleanup Coq versions\n\ncommit 669ab0664dcdebd5d7dc23fbf4c779953733ad07\nAuthor: Benjamin Pierce \nDate: Fri Aug 26 19:39:04 2022 +0000\n\n r3451\n\ncommit feb8ddc899d14d5414ede7ede631225725bad4e6\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:28:50 2022 -0400\n\n [docker 8.15]\n\ncommit 67e3e910a0bb899a07fff6a0a2962440d7031fe3\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:23:46 2022 -0400\n\n [docker 8.15]\n\ncommit 155a192190761b93f1f514dd53ed95d13ff722b8\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:18:56 2022 -0400\n\n [docker 8.15]\n\ncommit d0aad57beaa3f68824fff8a3b89fbe9e79cd8952\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 11:58:51 2022 -0400\n\n [docker 8.15]\n\ncommit 7ebaf630375673ace75bc2eba93b18f4c203386a\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 11:50:20 2022 -0400\n\n [docker 8.15]\n\ncommit 0bfda11010b3905626d427d085852c1b36cbd788\nAuthor: Benjamin Pierce \nDate: Mon Aug 22 17:17:30 2022 -0400\n\n [docker 8.15]\n\ncommit cc8322fd0409c38917941c4ac0b5255e8b20ec49\nAuthor: Benjamin Pierce \nDate: Mon Aug 22 16:31:24 2022 -0400\n\n [docker 8.15]\n\ncommit 517bbe1197ae29b0b19e3befe5b1b2a587fb7e6b\nAuthor: Benjamin Pierce \nDate: Mon Aug 15 10:58:58 2022 -0400\n\n [docker 8.15]\n\ncommit 13069eac5970b903be063725593cedb76a6b573a\nAuthor: Benjamin Pierce \nDate: Mon Aug 15 10:49:55 2022 -0400\n\n [docker 8.15]\n\ncommit 13aedd7fa796c3c3e0fbe11083dfa494db932a40\nAuthor: Benjamin Pierce \nDate: Tue Aug 9 14:07:37 2022 -0400\n\n [docker 8.15]\n\ncommit 56ef1a2e87d48f1281cabeaa39b5c85cb7d43240\nAuthor: Benjamin Pierce \nDate: Tue Aug 9 14:03:20 2022 -0400\n\n [docker 8.15]\n\ncommit 906cf15b50b4411bb17009274e5ee81d7a2b1aa5\nAuthor: Benjamin Pierce \nDate: Fri Aug 5 17:30:21 2022 +0000\n\n r3420\n\ncommit e90eaa5a2d6b5325f4ce768b1a6fccd47d46c4f4\nAuthor: Benjamin Pierce \nDate: Fri Aug 5 17:26:45 2022 +0000\n\n r3419\n\ncommit 96d15a36e44002b0a9fe48cf07f78ef9fe2e5deb\nAuthor: Benjamin Pierce \nDate: Mon Aug 1 19:11:34 2022 +0000\n\n r3405\n\ncommit c50141b0eeb39835adf613f7c2bbcc1908d67311\nAuthor: Benjamin Pierce \nDate: Mon Aug 1 19:10:40 2022 +0000\n\n r3404\n\ncommit da99772c8982fd22d28df4fa2f3558a857600ef7\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:49:22 2022 +0000\n\n r3402\n\ncommit 4a931069c9ed1091f0a1853ab566adae62f16ee3\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:40:49 2022 +0000\n\n r3400\n\ncommit 7bd9227ee78833136a177e9959cb9af5540eafe1\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:36:24 2022 +0000\n\n r3398\n\ncommit edb22e12ea3dbdb0e02c410a10d04d5435b77793\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:35:29 2022 +0000\n\n r3397\n\ncommit 09eaf84aeb2b57c990e41b2e5acab5ecf302fb01\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:30:59 2022 +0000\n\n r3393\n\ncommit 2f584cb9a52332f2d52877ce9b2abe8bc5973b60\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:17:59 2022 +0000\n\n r3392\n\ncommit 55ddc2e041b64afccd0facc5dd33995d2adf4930\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:16:13 2022 +0000\n\n r3390\n\ncommit dd0b897f8286fde121d82f35300fef77e26c6d7a\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:13:26 2022 +0000\n\n r3387\n\ncommit 673aa1901223c2c7275f5db01a4013070c3fac4d\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:13:09 2022 +0000\n\n r3388\n\ncommit 5c7d1b755e969a88f08a4a346ee480b29d351d81\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:12:55 2022 +0000\n\n r3386\n\ncommit 04f8a97506c246770a6d0e6a2bc3edd93f7c3ba6\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:12:05 2022 +0000\n\n r3385\n\ncommit 27d5a2fc348cddc5be7f81ecbfdf2c6d8ec277cc\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:10:11 2022 +0000\n\n r3383\n\ncommit 1cbb551698689cfa4bf407354a6f90c8b29e75c0\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:09:37 2022 +0000\n\n r3382\n\ncommit 146b91f01d5a69ad6dda5a478f4fb89f59a394f3\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:07:26 2022 +0000\n\n r3381\n\ncommit be47f9d2da25972693b5726bf9385ed3fef42c13\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:06:48 2022 +0000\n\n r3380\n\ncommit c22931fa0309877235f76609d194bdc7f6a2546f\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 20:21:31 2022 +0000\n\n r3378\n\ncommit 3fb6901e8e1b86fbe6fedfd74252eb1e949f8b6c\nAuthor: Benjamin Pierce \nDate: Sat Jul 9 20:45:46 2022 +0000\n\n r3371\n\ncommit efc229dab0cfc67395223770ef517f651de14677\nAuthor: Benjamin Pierce \nDate: Fri Jul 8 20:17:31 2022 +0000\n\n r3370\n\ncommit 1d9706eb058c745596c58dca1de302600d0b6763\nAuthor: Yishuai Li \nDate: Fri Jul 8 15:12:01 2022 -0400\n\n ci: Retire Coq 8.12; Add SLF\n\ncommit d7efe8ef67c461b3ec555d627fa16d8d780107cb\nAuthor: Yishuai Li \nDate: Fri Jul 8 04:27:20 2022 +0000\n\n r3364\n\ncommit 774f7e8717fca40971a0e41569c166c74649a6e4\nAuthor: Benjamin Pierce \nDate: Thu Jun 2 21:20:25 2022 +0000\n\n r3316\n\ncommit ff65c8725f7b5a1aeb1124bbaeb44a23faeb09d8\nAuthor: Yishuai Li \nDate: Tue Apr 26 21:40:04 2022 +0000\n\n r3265\n\ncommit 685d9e3b1a83e2cc56c6f792463559c09308de8c\nAuthor: Yishuai Li \nDate: Tue Apr 26 14:54:44 2022 -0400\n\n Trigger [docker 8.13] build via git message\n\ncommit da3bbfab4577eef4ff210b405db0fc762f8dd779\nAuthor: Yishuai Li \nDate: Tue Apr 26 14:16:56 2022 -0400\n\n Update menhir\n\ncommit f7c005d786f84dbab2132a23d8e8032a6a12f228\nAuthor: Benjamin Pierce \nDate: Tue Apr 26 02:04:35 2022 +0000\n\n r3261\n\ncommit c3b00ac0381f72ec44cb52a332e281990d40f062\nAuthor: Yishuai Li \nDate: Mon Apr 25 15:04:07 2022 -0400\n\n Disable opam update; fix docker tag\n\ncommit 99bf686d0857545c8fe60c88ffaacb18861d8761\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:40:15 2022 +0000\n\n r3256\n\ncommit 2e3cd7a8da2ae3c101227b68e876232d8a412816\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:38:26 2022 +0000\n\n r3255\n\ncommit 125702746644096b6a43b5e253ccc931c0ba57e4\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:37:09 2022 +0000\n\n r3254\n\ncommit e5874948b00ab96b450f849e3c9b4303bde60839\nAuthor: Yishuai Li \nDate: Mon Apr 25 14:09:27 2022 -0400\n\n VST 2.9\n\ncommit 62bc5ecc23539ce6ffec826ed6696d0ecc0733a1\nAuthor: Benjamin Pierce \nDate: Tue Apr 19 13:25:00 2022 +0000\n\n r3244\n\ncommit 36016b5124d25b15dc6f11a9f1c7d7f47cb21013\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:22:59 2022 +0000\n\n r3242\n\ncommit 3e536d78d3e924cb4b76849b29ea0236b8b6f191\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:20:41 2022 +0000\n\n r3241\n\ncommit cd70e0d63e8a0f0195812f5374b6d63bd44b89eb\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:16:12 2022 +0000\n\n r3240\n\ncommit 7a57be3db2aaae1d2a833f14f96ff0cc2959f0dd\nAuthor: Benjamin Pierce \nDate: Mon Apr 11 22:52:59 2022 +0000\n\n r3233\n\ncommit 0403a843dd19f3a7369d3e17b22460cc0f47fc77\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 16:39:46 2022 +0000\n\n r3222\n\ncommit f5965543fb9a01d3b5c213306e623660f978b72c\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 01:40:34 2022 +0000\n\n r3219\n\ncommit b1dfc2075718333cd10a8b7cb1b9af628c463476\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 01:15:19 2022 +0000\n\n r3218\n\ncommit 827f470711d6f7c4af2a1a97bf073383f836a8ff\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 00:03:17 2022 +0000\n\n r3214\n\ncommit 6b3519cc8239f1c737bd48aad5b9b08261ece004\nAuthor: Benjamin Pierce \nDate: Sun Mar 13 21:43:28 2022 +0000\n\n r3204\n\ncommit f0c34fdee1897e56643108e49c68c71faa6d47fd\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 20:03:24 2022 +0000\n\n r3201\n\ncommit 4fe49f5a41e4f1c842ae6a999246697c6e8cd8db\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 18:58:00 2022 +0000\n\n r3200\n\ncommit edd943a4f220d4633bf39d5f8c2105842ee8d911\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 18:57:34 2022 +0000\n\n r3199\n\ncommit 78f98941d593d2036c520be62b84cc55c517c25f\nAuthor: Benjamin Pierce \nDate: Tue Mar 8 01:39:56 2022 +0000\n\n r3195\n\ncommit 970b8f8d8501df4f01f1c210edabb2034d623331\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 20:59:10 2022 +0000\n\n r3184\n\ncommit 06fd93c5126f9f7c9566309f501ccc6385bf8c34\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:56:22 2022 +0000\n\n r3180\n\ncommit 216d07414982907c6de2368431fa3c7d18704495\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:55:13 2022 +0000\n\n r3178\n\ncommit 25b095897eb35c2e2949beb1da0d36ac510ccc2a\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:54:32 2022 +0000\n\n r3179\n\ncommit f75c3bc5e766c51a182cf396ddc0696abd3f1da6\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:54:08 2022 +0000\n\n r3177\n\ncommit 911187fc15e4bdadf0a1cb5b6824ad8e11f0358d\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:53:14 2022 +0000\n\n r3174\n\ncommit 2908c889431edafed67dfc95d8bfc88bc0959a47\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:52:00 2022 +0000\n\n r3176\n\ncommit 5ab3f05d8693cb6f1d7ea259f6bab7cd6843d2b5\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:51:41 2022 +0000\n\n r3175\n\ncommit 2fb081b6a1ff1197a45c230ab1cbd37d6aeb8b74\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:51:08 2022 +0000\n\n r3173\n\ncommit 07f186b81577ab4ffb00d414475dc7eccd8f58fe\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:48:26 2022 +0000\n\n r3143\n\ncommit 5c593138e4334a8dbad869ef1e9363d8f0f1fa70\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:48:05 2022 +0000\n\n r3144\n\ncommit 110ce34f2b66186ea3d66fecb4f02fba077f57ae\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:46:59 2022 +0000\n\n r3142\n\ncommit 9c849dd0585a6002eae7d86e3f42b140df1861b9\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:45:59 2022 +0000\n\n r3141\n\ncommit 6568572335b68f26baf33319663969708f9dfb73\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:45:30 2022 +0000\n\n r3140\n\ncommit 46389c842a338039aa6222226b4a353f62cdd949\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:41:15 2022 +0000\n\n r3138\n\ncommit 2acd2743ae67d90b5e7636d4c56f66964f94fb75\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:35:35 2022 +0000\n\n r3136\n\ncommit 09f7c3c51a65391b70a95dd884c2f88333b1b1b0\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:34:10 2022 +0000\n\n r3135\n\ncommit 8bebd43abee26ef5494455304a5c69902cdd121e\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:44:31 2022 +0000\n\n r3131\n\ncommit 65cd68baf24cf7b5b3bae164def0afb98ed83cea\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:43:16 2022 +0000\n\n r3130\n\ncommit 3a6cccbc76df32b5bc9485b6e2ff726b20889134\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:40:43 2022 +0000\n\n r3129\n\ncommit 38c4b38053206a8ac4c9ec5677a830f3f619f6fc\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:40:16 2022 +0000\n\n r3127\n\ncommit 1e2b2a6e84c2bb85af7fcf24bab5faa13d5dc6e4\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:38:30 2022 +0000\n\n r3126\n\ncommit 444ee7f00b0afd8d9409916cf0c6e1f7c92aa6f0\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:37:14 2022 +0000\n\n r3125\n\ncommit cd64171e6b5c336a7ce35d2b5ce5d18a641c4c36\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:33:00 2022 +0000\n\n r3123\n\ncommit 103c20e2406db0f43dabbfdd1112ae343d60318e\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:32:40 2022 +0000\n\n r3124\n\ncommit 4b944c6fbb7eb49c9e1f96f58fd97ac4d1fc2cc2\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:31:50 2022 +0000\n\n r3122\n\ncommit 44bd03186cd4d8d99dc1f0cc429bba640f19f8df\nAuthor: Benjamin Pierce \nDate: Tue Feb 8 19:56:32 2022 +0000\n\n r3105\n\ncommit c1a9fe63f7095d91ca0f61606cda924f97638f62\nAuthor: Benjamin Pierce \nDate: Fri Feb 4 18:33:46 2022 +0000\n\n r3074\n\ncommit 754b25a32d007d5ffabd1fd28afaac819a673d25\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:48:46 2022 +0000\n\n r3069\n\ncommit ba942b73611ba5d9780dae5c5247eb5b51819b6c\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:43:25 2022 +0000\n\n r3066\n\ncommit 517efcf7cbcfff50915d8e6ba1461ed89737cbc1\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:37:44 2022 +0000\n\n r3065\n\ncommit 7c4233d68c7400940f6ba70c857ce81ac1585d41\nAuthor: Benjamin Pierce \nDate: Sat Jan 29 23:34:45 2022 +0000\n\n r3060\n\ncommit bdbb2aaad76191e0835ae4e284c85fdfaeca79de\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:38:17 2022 +0000\n\n r3055\n\ncommit 1a85a80554af35657ef3bc9bd1bf7c48ac488ffd\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:28:02 2022 +0000\n\n r3054\n\ncommit 2bf49484bc4c50f70d01043013d498be16c044cc\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:25:28 2022 +0000\n\n r3053\n\ncommit 3162cf89e7f5f278727e865f8656552bd59369a5\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:11:23 2022 +0000\n\n r3050\n\ncommit 88c8983df7e9107e59bc5901f5db8d0b9198e325\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:09:42 2022 +0000\n\n r3048\n\ncommit bebff2d025d7284ba7806b0a02bc334e14c78bd8\nAuthor: Benjamin Pierce \nDate: Wed Jan 12 18:19:03 2022 +0000\n\n r3036\n\ncommit 4f0db23739d2c4a871f242e2be43ed94f62dba02\nAuthor: Benjamin Pierce \nDate: Thu Jan 6 14:06:56 2022 +0000\n\n r3022\n\ncommit 22ca7ced6c276e04b670de46ef9589f03bd01332\nAuthor: Benjamin Pierce \nDate: Thu Dec 23 20:02:46 2021 +0000\n\n r3018\n\ncommit 4a63faeb74a2bd25919ff500295c3eef01710cc0\nAuthor: Benjamin Pierce \nDate: Mon Dec 20 19:18:54 2021 +0000\n\n r3012\n\ncommit 4a1d1af96740e5ffd01690d8340a7542f84f27bc\nAuthor: Lef Ioannidis \nDate: Tue Dec 7 21:48:13 2021 +0000\n\n r2990\n\ncommit ea550b7c4079bf8609d2aa7d5ca2465e8fda529c\nAuthor: Xia Li-yao \nDate: Mon Nov 29 23:56:03 2021 +0000\n\n r2985\n\ncommit d8c930a462384e07c954f170951fc766536b5935\nAuthor: Benjamin Pierce \nDate: Thu Nov 25 18:04:32 2021 +0000\n\n r2981\n\ncommit d5fd1887ae7b23edea8f98cdf0b8c2db0ba874df\nAuthor: Yishuai Li \nDate: Tue Nov 9 20:06:03 2021 +0000\n\n r2954\n\ncommit d61c4206db4099497725b9d8d32228844d98ceaa\nAuthor: Gaëtan Gilbert \nDate: Tue Nov 9 17:52:04 2021 +0000\n\n r2951\n\ncommit 84060de4a7583c54fd54b263ae867beee2d475ea\nAuthor: Xia Li-yao \nDate: Thu Oct 21 12:47:41 2021 +0000\n\n r2889\n\ncommit 0b8c36206c1446b3f6f7473a86846d3b28b3de58\nAuthor: Benjamin Pierce \nDate: Tue Oct 12 18:51:56 2021 +0000\n\n r2874\n\ncommit 651369cb98605f8b5872b9616c95b16ef1eb8ae1\nAuthor: Lef Ioannidis \nDate: Wed Oct 6 01:05:16 2021 +0000\n\n r2857\n\ncommit 31fd8abb0bf1e1da48a05195573e1c3e87c0e217\nAuthor: Lef Ioannidis \nDate: Fri Sep 24 19:02:04 2021 +0000\n\n r2822\n\ncommit 478eddc81d40633d525cc97f99edd9893fcefbef\nAuthor: Lef Ioannidis \nDate: Wed Sep 22 01:10:24 2021 +0000\n\n r2818\n\ncommit e2b007f657406341c89d1cbc781f996f7e0c0955\nAuthor: Benjamin Pierce \nDate: Tue Sep 21 22:56:04 2021 +0000\n\n r2816\n\ncommit adcf10fb86c48e9ebaaeae472c5e7994555b47d6\nAuthor: winestone \nDate: Mon Sep 13 23:01:32 2021 +0000\n\n r2784\n\ncommit a4fad379bae69ea168c8ac844014dcbe7d0c3aed\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 21:43:47 2021 +0000\n\n r2782\n\ncommit 71751c8376f132e471a36fdf707cf0e2a818794f\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 21:18:59 2021 +0000\n\n r2781\n\ncommit fd2697f6f8c7ff990430e11e7a63d549319dae9e\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 20:42:48 2021 +0000\n\n r2780\n\ncommit e1bd323b16f830e47e48231dfc4291b11a85b890\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 20:06:48 2021 +0000\n\n r2777\n\ncommit 94d984b08fc043b40dc8cb28825f2a4247f7291c\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 12:24:14 2021 +0000\n\n r2769\n\ncommit 88d699c4312591e5db85f6d6bcad6843607bbbf4\nAuthor: Benjamin Pierce \nDate: Wed Sep 8 00:33:10 2021 +0000\n\n r2753\n\ncommit 543bcc618af78471b93c01171d50b635b5f3169d\nAuthor: Benjamin Pierce \nDate: Wed Sep 8 00:00:32 2021 +0000\n\n r2748\n\ncommit 82fb1f80841dac11111396c9bdf1a1d69b47894c\nAuthor: Bas Spitters \nDate: Mon Sep 6 14:28:51 2021 +0000\n\n r2741\n\ncommit 48c12ffaac6891f3fd5760139f07a38d739e43a2\nAuthor: Benjamin Pierce \nDate: Sun Sep 5 18:07:06 2021 +0000\n\n r2738\n\ncommit c867057296c6bb5ce7a8aca1a47cf3de47633542\nAuthor: Benjamin Pierce \nDate: Sun Sep 5 17:51:05 2021 +0000\n\n r2737\n\ncommit 33b66a60b188754dc12f0d790155c1e329adf114\nAuthor: Shachar Itzhaky \nDate: Sun Sep 5 17:33:38 2021 +0000\n\n r2736\n\ncommit cd1d001f32dda60001bc72fc1ba5a7bac62438b7\nAuthor: winestone \nDate: Mon Aug 30 20:23:24 2021 +0000\n\n r2718\n\ncommit 5086de125806aaee0d88893511db3df5db424ba0\nAuthor: Benjamin Pierce \nDate: Mon Aug 30 20:02:37 2021 +0000\n\n r2717\n\ncommit 18006dab9a77860ef1be550cc5d2f3caf9cf822d\nAuthor: Benjamin Pierce \nDate: Mon Aug 30 19:42:04 2021 +0000\n\n r2716\n\ncommit 73e0ee1d1f5993b8a25899150f204c0a02a6aa52\nAuthor: Arthur Charguéraud \nDate: Tue Aug 3 21:19:57 2021 +0000\n\n r2675\n\ncommit 6834bc69eb059df8e771fbc17afc625abe8ce630\nAuthor: Shachar Itzhaky \nDate: Mon Aug 2 22:42:47 2021 +0000\n\n r2673\n\ncommit cff7ed7680d1242cfddfba79a408950a115174b3\nAuthor: Arthur Charguéraud \nDate: Mon Aug 2 22:19:00 2021 +0000\n\n r2672\n\ncommit c967dc6904a92fc002ed122e97b133399e7f6a19\nAuthor: wldhx \nDate: Mon Jun 14 15:10:53 2021 +0000\n\n build(ci): Build and push Docker containers\n\ncommit 751774d3e4a510359808de6861f5699f5f40b9b9\nAuthor: Arthur Charguéraud \nDate: Tue Jun 29 23:07:20 2021 +0000\n\n r2659\n\ncommit ea91477b7c34ebb2a174cfc1228a65ce8ff8738c\nAuthor: Benjamin Pierce \nDate: Tue Jun 29 22:39:47 2021 +0000\n\n r2658\n\ncommit 4d0f3aefb093949f63975cdf6d70a8b6132639fb\nAuthor: Benjamin Pierce \nDate: Tue Jun 29 22:14:10 2021 +0000\n\n r2657\n\ncommit 41c4ddd76dbde6a7aede634d7b003a64b5b11e98\nAuthor: Yishuai Li \nDate: Thu May 20 18:42:25 2021 -0400\n\n VST 2.8\n\ncommit 911c0ff894e968d73976f959c114a37661aab9ab\nAuthor: Benjamin Pierce \nDate: Wed May 26 15:45:13 2021 +0000\n\n r2617\n\ncommit f1f50d98387c2aac652e9a474301dadc0e307bc3\nAuthor: Benjamin Pierce \nDate: Wed May 26 14:16:32 2021 +0000\n\n r2614\n\ncommit 434a85e1286fea88c1872ed16209ff97cf77fc36\nAuthor: Benjamin Pierce \nDate: Mon May 24 19:00:15 2021 +0000\n\n r2603\n\ncommit 88e90e83a77f08ac61438c7796ce63944f8b5030\nAuthor: Shachar Itzhaky \nDate: Tue May 18 18:23:46 2021 +0000\n\n r2567\n\ncommit 46a8197a9c2275639038744c087b2d75cd49123a\nAuthor: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nDate: Wed May 12 01:34:41 2021 +0000\n\n r2546\n\ncommit 37b59ccf84bc972b8a5ddba697901848c43b1d63\nAuthor: Benjamin Pierce \nDate: Fri May 7 15:43:28 2021 +0000\n\n r2518\n\ncommit 06b187ca27291e46fc702e7f89afeba40b701ca6\nAuthor: Benjamin Pierce \nDate: Fri May 7 14:51:32 2021 +0000\n\n r2515\n\ncommit 65171288f5f55b83732ad70ee6b5430f0b77c978\nAuthor: Yishuai Li \nDate: Tue May 4 15:58:57 2021 -0400\n\n ignore .report\n\ncommit c357b0a9f1442071022dbc4dd7d615440b32e004\nAuthor: Yishuai Li \nDate: Tue May 4 19:31:06 2021 +0000\n\n r2500\n\ncommit a290b9b6892a0ed86a18a7e2bf685d73056f7361\nAuthor: Yishuai Li \nDate: Tue May 4 12:23:53 2021 -0400\n\n VST 2.7\n\ncommit d8401ccac0ddd10c611479352b4da53cdb8aa570\nAuthor: Yishuai Li \nDate: Thu Apr 1 20:39:00 2021 -0400\n\n CompCert 3.8 incompatible with Menhir dev\n\ncommit 3fb302e781ce6944cc3cd6fcf8bbb02774d7fbcc\nAuthor: Yishuai Li \nDate: Thu Apr 1 19:50:51 2021 -0400\n\n omega -> lia\n\ncommit 520e04679b9a7e5868b42608d6f47c8f720be80c\nAuthor: Yishuai Li \nDate: Mon Dec 28 01:10:03 2020 -0500\n\n Coq 8.13\n\ncommit cced6f0df38b97fdd45111681410877fee429c4a\nAuthor: Benjamin Pierce \nDate: Thu Nov 5 12:53:46 2020 +0000\n\n r2252\n\ncommit b0779795fd3a5c90f951153f579a99378f1cfb83\nAuthor: Benjamin Pierce \nDate: Tue Nov 3 12:45:39 2020 +0000\n\n r2247\n\ncommit 34fa16def8e355db9130a513b6343266fa048195\nAuthor: Yishuai Li \nDate: Fri Oct 16 22:18:20 2020 -0400\n\n Specify CompCert version in Docker\n\ncommit 3794913195a9eab94ab7a3bf3072e758391bed70\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 17:01:58 2020 +0000\n\n r2226\n\ncommit dfe6badff27138078434dc8f03a8832e1a9d49f3\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 16:31:33 2020 +0000\n\n r2225\n\ncommit 1768cf9359b6f7202ea5580db5d57db9c311d8a8\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 16:10:44 2020 +0000\n\n r2224\n\ncommit 34c3c6ea93f3c97fca1864c2339de7104383e4b7\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 15:49:42 2020 +0000\n\n r2222\n\ncommit beede207de8f42e341cfaace438807f9e68e1a30\nAuthor: Benjamin Pierce \nDate: Fri Oct 16 15:14:04 2020 +0000\n\n r2209\n\ncommit bc5baeeb3ee5af9925889aa976d60500eef5c98f\nAuthor: Andrew Appel \nDate: Fri Sep 25 13:48:13 2020 +0000\n\n r2169\n\ncommit e001bdd9f6212853ac69441cea788cfceb923f50\nAuthor: Benjamin Pierce \nDate: Fri Sep 18 15:12:42 2020 +0000\n\n r2131\n\ncommit cb9ed7c993b756dd80e0c8e67be34de2d99ec737\nAuthor: Benjamin Pierce \nDate: Thu Sep 10 14:25:59 2020 +0000\n\n r2119\n\ncommit 142299720c0e990d35b474b95efe84307ef1df09\nAuthor: Benjamin Pierce \nDate: Wed Sep 9 01:41:43 2020 +0000\n\n r2114\n\ncommit db29b6516142e313c34318b8c0c248a488a114b2\nAuthor: Yishuai Li \nDate: Tue Sep 1 14:13:09 2020 -0400\n\n Build Verified C\n\ncommit 4fd89d7b978fd14470493cc0a39a42393cf5847a\nAuthor: Yishuai Li \nDate: Tue Sep 1 19:06:03 2020 +0000\n\n r2094\n\ncommit 96e7125bf247dd837ed7edc874ec6d71fbc575aa\nAuthor: Benjamin Pierce \nDate: Tue Sep 1 16:07:59 2020 +0000\n\n r2088\n\ncommit b91c647691601f5811cf3b87b5deb532d15b07c5\nAuthor: Benjamin Pierce \nDate: Tue Sep 1 14:38:36 2020 +0000\n\n r2087\n\ncommit d1e4d21620be75c3c52d18f8883803ae685be904\nAuthor: Benjamin Pierce \nDate: Mon Aug 31 21:01:01 2020 +0000\n\n r2086\n\ncommit bab34b959ae08492b06953595461ec019ff40266\nAuthor: Benjamin Pierce \nDate: Sun Aug 30 11:25:53 2020 +0000\n\n r2083\n\ncommit 52ed40a02519ed0053d375179ec96866d512acbc\nAuthor: Benjamin Pierce \nDate: Fri Aug 28 20:10:07 2020 +0000\n\n r2078\n\ncommit 76f1bb9a7604a6216093f203c0b06bb559e2aba1\nAuthor: Benjamin Pierce \nDate: Mon Aug 24 19:59:48 2020 +0000\n\n r2067\n\ncommit d2b2648cee2bdb5fcf3b504efe21302381d99f7e\nAuthor: Yishuai Li \nDate: Sat Aug 8 00:48:11 2020 +0000\n\n r2009\n\ncommit 23061ac4c0f4110948fba7902a794d0e707294c9\nAuthor: Benjamin Pierce \nDate: Fri Aug 7 18:01:03 2020 +0000\n\n r2007\n\ncommit a6960160e7a58a8ddac5396f495f1007c32cc24d\nAuthor: Yishuai Li \nDate: Fri Aug 7 12:03:37 2020 -0400\n\n Docker for dependencies\n\ncommit ce2f058e96eb373a5da6f8246582084e50ff1708\nAuthor: Andrew Appel \nDate: Sat Aug 1 17:47:12 2020 +0000\n\n r1936\n\ncommit b3467d796ff188434be88e0b806de55743c10fb5\nAuthor: Yishuai Li \nDate: Sat Jul 25 00:22:14 2020 +0000\n\n r1880\n\ncommit 230e3b756d339d1de1654781a5fad60d46f1b93c\nAuthor: Benjamin \nDate: Fri Jul 24 23:20:20 2020 +0000\n\n r1876\n\ncommit 83f1f7518f4a8006d3e4e05982950c8cd57cdc62\nAuthor: Benjamin \nDate: Fri Jul 24 23:08:47 2020 +0000\n\n r1875\n\ncommit 54a5d3bf4048c14291e294457484a3fdcc0f8291\nAuthor: Benjamin \nDate: Wed Jul 22 22:46:21 2020 +0000\n\n r1847\n\ncommit 59735d2c55867bf349db0a724d8afb5c2e3d6a84\nAuthor: Yishuai \nDate: Tue Jul 21 19:39:07 2020 +0000\n\n r1837\n\ncommit 9247de19e952a27eb4a843eab54a7ed228f7ba71\nAuthor: Yishuai Li \nDate: Wed Jun 3 20:31:43 2020 -0400\n\n CircleCI\n\ncommit 746c94e7e3ee1eb0d19b98af6f00956936dd8a08\nAuthor: Benjamin \nDate: Sun Jul 19 03:57:25 2020 +0000\n\n r1805\n\ncommit f6effdd25de976b90727fb44f41a7fa683ca82fe\nAuthor: Andrew \nDate: Thu Jul 16 16:36:57 2020 +0000\n\n r1793\n\ncommit 777b3aecca922fcf0b5b7204d69cb0a440906d2e\nAuthor: Andrew \nDate: Thu Jul 16 15:52:43 2020 +0000\n\n r1791\n\ncommit 347596d0086d805be8c9586bd932da833eaa51d4\nAuthor: Andrew \nDate: Wed Jun 17 15:13:37 2020 +0000\n\n r1748\n\ncommit 089e636197743276fa15121e144bd5ce8fe26277\nAuthor: Andrew \nDate: Thu Jun 11 15:55:00 2020 +0000\n\n r1740\n\ncommit 6c143d3503082821dc411609660d269166a8cf81\nAuthor: Benjamin \nDate: Thu Jun 11 14:37:37 2020 +0000\n\n r1738\n\ncommit fa8713b1f4212b03e4fed39bad6a83889b8bea42\nAuthor: Andrew \nDate: Tue Jun 9 15:49:40 2020 +0000\n\n r1729\n\ncommit 0d2855680dba3090b82e6a33cdb4d3c119fba61c\nAuthor: Benjamin \nDate: Sat Jun 6 17:41:14 2020 +0000\n\n r1706\n\ncommit 82e4f7e3db24f9f6ef7cba691b780d0c147d953a\nAuthor: Benjamin \nDate: Wed Jun 3 12:18:29 2020 +0000\n\n r1696\n\ncommit b1fe59e46b5713371d4bbb9ebab44b5317d806d7\nAuthor: Benjamin \nDate: Wed Jun 3 12:10:06 2020 +0000\n\n r1695\n\ncommit ae4e44f7dfd93a2bf56c1c776081969caac83c07\nAuthor: Andrew \nDate: Thu May 28 12:52:45 2020 +0000\n\n r1674\n\ncommit d41a56ee075259f271ae5288f7860b340cabc3a1\nAuthor: Yishuai Li \nDate: Wed May 13 17:30:01 2020 -0400\n\n r1663\n\ncommit 5152147f2c46553178873ba13109aee166e64cf1\nAuthor: Benjamin Pierce \nDate: Wed May 13 16:16:28 2020 -0400\n\n Update README.md\n\nCo-authored-by: Benjamin Pierce \nCo-authored-by: Andrew Appel \nCo-authored-by: Lef Ioannidis \nCo-authored-by: Shachar Itzhaky \nCo-authored-by: Arthur Charguéraud \nCo-authored-by: Pierre-Marie Pédrot \nCo-authored-by: Xia Li-yao \nCo-authored-by: winestone \nCo-authored-by: Gaëtan Gilbert \nCo-authored-by: Bas Spitters \nCo-authored-by: wldhx ","shortMessageHtmlLink":"Squashed commit of the following:"}},{"before":"8ce08f209393dec9d637cbcbc58ef90352a04de6","after":"a65be0e3b7102f2617c677109fa8f8488c6132b9","ref":"refs/heads/squash","pushedAt":"2023-11-01T08:09:24.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Squashed commit of the following:\n\ncommit 50c9dd41ea53fd52525530069e7a851c107db297\nAuthor: Benjamin Pierce \nDate: Fri Oct 27 14:12:45 2023 +0000\n\n r3827\n\ncommit b2171882b0d07931d129d439358e5abb358acc85\nAuthor: Yishuai Li \nDate: Mon Oct 23 10:26:30 2023 +0000\n\n r3809\n\ncommit 6c3a9a22e5a064350f11e9827144562b23194b63\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:14:31 2023 +0000\n\n r3788\n\ncommit e8219a797a24cd40f1e101ce3b5ddf3b96225efe\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:14:16 2023 +0000\n\n r3787\n\ncommit ab0255116b0307c7d0007fb981cef2de0b0abfb2\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:07:36 2023 +0000\n\n r3785\n\ncommit 181eef5d50031a70684521c0214c045ed608e9fa\nAuthor: Benjamin Pierce \nDate: Tue Oct 3 20:59:37 2023 +0000\n\n r3762\n\ncommit 40cf48487ed5c21735edcda896d31977ddeaab40\nAuthor: Benjamin Pierce \nDate: Sun Oct 1 13:02:23 2023 +0000\n\n r3759\n\ncommit 778bc68202695f227069866bcef65efc633a8973\nAuthor: Benjamin Pierce \nDate: Wed Sep 27 19:55:07 2023 +0000\n\n r3749\n\ncommit 1313e785e99254e42fae1fa07c24fea9f4e832f3\nAuthor: Benjamin Pierce \nDate: Mon Aug 28 15:31:16 2023 -0400\n\n [docker 8.17]\n\ncommit 504cc52f1ae90cf533c141755e7e7067a985465a\nAuthor: Benjamin Pierce \nDate: Sun Aug 27 20:35:15 2023 +0000\n\n r3697\n\ncommit 774e7224f1b4abc38882e1a4984b54e5c3829429\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 20:40:06 2023 +0000\n\n r3692\n\ncommit 90ecdc836af195c413b6bce3f1216c2544a3ac42\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 15:36:17 2023 +0000\n\n r3688\n\ncommit 1d53d198e252dce6d1d70e03472dab95a3787234\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 14:15:53 2023 +0000\n\n r3685\n\ncommit dd4945c7896811c793b290fc8e47b5021c94bcf9\nAuthor: Benjamin Pierce \nDate: Tue Aug 22 20:45:27 2023 +0000\n\n r3683\n\ncommit 91e45fe8e5976dc2d3e30655e5c19f60834f60fa\nAuthor: Benjamin Pierce \nDate: Tue Aug 22 20:43:58 2023 +0000\n\n r3682\n\ncommit 5897aa14f6f8f40c3cbba70838e0e57e584c370f\nAuthor: Benjamin Pierce \nDate: Thu Jul 6 19:57:24 2023 +0000\n\n r3645\n\ncommit d98b8968483d7ee30dc3a502cd7d58f1490bfa9b\nAuthor: Benjamin Pierce \nDate: Tue Jun 20 15:39:10 2023 +0000\n\n r3586\n\ncommit b064637eeba4e806f7aae974cc7c4178c1fd8057\nAuthor: Benjamin Pierce \nDate: Tue Apr 25 20:37:27 2023 +0000\n\n r3553\n\ncommit ac30dd05e432469f41af761039cfdc03110d44dd\nAuthor: Benjamin Pierce \nDate: Fri Apr 7 00:27:00 2023 +0000\n\n r3546\n\ncommit 1840b0a2f07b4f6cbf232a67b6fbafa6940642b2\nAuthor: Benjamin Pierce \nDate: Sun Mar 26 19:33:49 2023 +0000\n\n r3534\n\ncommit b2639eb864e84119a7cd8128bc21217102c596fb\nAuthor: Benjamin Pierce \nDate: Sat Mar 25 17:30:46 2023 +0000\n\n r3531\n\ncommit 62fbb79b25ea99f3a49027699f95f85f65c083b2\nMerge: 3fd3a70e ebef5c18\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 12:07:07 2023 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 3fd3a70e552da9c8b7caeca4a1e7045dbe09c6d5\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 12:06:38 2023 -0400\n\n [docker 8.16]\n\ncommit ebef5c18681f64bc1fc2f9d71907efd6816f9765\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 02:39:53 2023 +0000\n\n r3528\n\ncommit d1117332707e6a5670911ac60a998fa748538217\nAuthor: Benjamin Pierce \nDate: Thu Mar 23 20:54:06 2023 -0400\n\n [docker 8.15]\n\ncommit b20c8677b0b2a1a2a272111ce60f5a9663bec0ae\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:08:45 2023 -0400\n\n [docker 8.15]\n\ncommit 11e79d208435ae5434d6eeea5a6f50ba844141e2\nMerge: 01bd4b7c d63d1a6f\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:06:08 2023 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 01bd4b7c943f3b471284661298711ca7aad3e446\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:05:56 2023 -0400\n\n [docker 8.15]\n\ncommit d63d1a6f0e396a0d06f1363722482b3d515cafa7\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 17:12:57 2023 -0400\n\n [docker 8.16]\n\ncommit a454e871d13750f0a38dc532e91d5e8280b8f4c1\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 16:51:18 2023 -0400\n\n [docker 8.16]\n\ncommit 00e66ab6eec586cd3eb3ee26c5fe3bdc976448ec\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:19:13 2023 -0400\n\n [docker 8.16]\n\ncommit 0e5f81b1428971ce8ee86e931d08694ba3147ce0\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:17:50 2023 -0400\n\n [docker 8.16]\n\ncommit 1a041ecbcd09839384dc02ca355eb54764c5e7aa\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:04:12 2023 -0400\n\n [docker 8.16]\n\ncommit 60274394380dbfc48f820c5efdd6ea300be6b106\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:59:02 2023 -0400\n\n [docker 8.16]\n\ncommit a3ee935a82c96de24d64e95577a798ee40869530\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:54:25 2023 -0400\n\n [docker 8.16]\n\ncommit 68e9be3c880329f0734521d6b4bc78681a604a4e\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:50:50 2023 -0400\n\n [docker 8.16]\n\ncommit 03fab3c6a190f2740af6c5400151e5e148c6f593\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:29:18 2023 -0400\n\n Docker scripts\n\ncommit 5355a8aaf8c7ec9c66b47710ba401eb7ef2303a4\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:50:59 2023 -0400\n\n [docker 8.16]\n\ncommit 9f5727dc5e400c3f77274866b2b5665bc28ab525\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:50:34 2023 -0400\n\n [docker 8.15]\n\ncommit 841ce2572c02af0beb94cc1c1d4b587b944be530\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:47:57 2023 -0400\n\n [docker 8.16]\n\ncommit 7f6b041179d91ab790f38cd882f005926ff6ea01\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 17:03:41 2023 -0400\n\n [docker 8.16]\n\ncommit b0891f9548e063b5964a19d9d35bcdc0ebcb62d4\nMerge: d7a4e7ee 04650b02\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 16:46:56 2023 -0400\n\n Merge remote-tracking branch 'origin/circleci-update-resource-class'\n\ncommit d7a4e7ee12cfb62439f9a757067583b49b7ff514\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 15:26:06 2023 -0400\n\n [docker 8.16]\n\ncommit 105d1bde22aeaf94c1a7698c6ffc7755795403fa\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:47:11 2023 -0400\n\n [docker 8.16]\n\ncommit 4a04f990db9ecbdc69d77af4c1fc64a6ea566cfe\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:46:29 2023 -0400\n\n [docker dev]\n\ncommit 04650b02b017675f73547ed8b53f611c97f74539\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:13:43 2023 -0400\n\n Update build-docker to large resource class in config.yml\n\ncommit 1c63f3e76de0971f2571297861847f402d0ac8e9\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:00:24 2023 -0400\n\n [docker 8.15]\n\ncommit 1b456cc4910cb227f79f9877f8bfa31b2e3502d5\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:35:03 2023 -0400\n\n [docker 8.16]\n\ncommit 7c6cd01fc99be877ca64e93e1e8c160eb6b610ca\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:34:24 2023 -0400\n\n CI hacking\n\ncommit e6aa12bebac2ecbe4f13c61d1e8678ed78252fc5\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:19:58 2023 -0400\n\n [docker 8.16]\n\ncommit b3a4f5b328e9b36e92318189e8627446037a5eb8\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 17:04:17 2023 -0400\n\n [Docker 8.16]\n\ncommit 204987de4cb06fa7c441cd29cf46a8345a087272\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 17:02:02 2023 -0400\n\n Correct one\n\ncommit 76fcfd96805939a9bd20140c0c891f4ae101c26e\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:59:00 2023 -0400\n\n Move it where it belongs\n\ncommit 673955c488868bee8c5937d9068deb7c1cf6a2d3\nMerge: abab8263 d1ef3766\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:55 2023 -0400\n\n Merge pull request #5 from DeepSpec/cleanup\n\n Cleanup Coq versions\n\ncommit d1ef37660d3898f7b7f3db3898eee80a072f5acf\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:32 2023 -0400\n\n Re-add conflicted file\n\ncommit b11cd6ac08d55a7a28ad48ca19c4a2f0b0e495f3\nMerge: 09ce0fea efa357e4\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:06 2023 -0400\n\n Merge branch 'cleanup' of https://github.com/DeepSpec/sf into cleanup\n\ncommit 09ce0fea9ea60ad40581d103f0a303e6e16031ed\nMerge: 8d0a2f6a abab8263\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:55:16 2023 -0400\n\n Merge branch 'master' into cleanup\n\ncommit abab82632bf6a84d1615d8c0e0e0fbd223d8474c\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:53:37 2023 -0400\n\n Fix Makefile per Yiushuai\n\ncommit efa357e45dbb55c5df3eb71b59603c1f5bfe4b0d\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:49:24 2023 -0400\n\n Delete Makefile\n\ncommit b78e863fd08069de169a4dee1cfa8b0921bf7dd6\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:43:23 2023 -0400\n\n [Docker 8.16]\n\ncommit 142c1e96913bed6e5b8272c36342ffb026fa011a\nMerge: 9255b7bc c81b62cd\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:59:59 2023 -0400\n\n Merge pull request #8 from ppedrot/rm-instantiate\n\n Adapt w.r.t. coq/coq#16910.\n\ncommit 9255b7bc1d2b2b929a0866e1fdb74a79318daf07\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:12:42 2023 -0400\n\n Docker 8.16\n\ncommit 82524ce33c65bf25d313f7e29fff9b8355591531\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:11:44 2023 -0400\n\n Docker 8.15\n\ncommit c81b62cd5c34dc96cf8e49fbe885e5dd54b45a58\nAuthor: Pierre-Marie Pédrot \nDate: Tue Dec 27 17:04:56 2022 +0100\n\n Adapt w.r.t. coq/coq#16910.\n\ncommit 542ea3af8f16f0f73f8a676075f0f560b0f23a23\nMerge: 9f5fb840 cc97bbe0\nAuthor: Benjamin Pierce \nDate: Mon Nov 28 14:21:55 2022 -0500\n\n Merge pull request #7 from ppedrot/deprecate-elim-case-type\n\n Adapt w.r.t. coq/coq#16904.\n\ncommit cc97bbe0b0127daf9542343bb6e315ae324c7930\nAuthor: Pierre-Marie Pédrot \nDate: Fri Nov 25 12:19:04 2022 +0100\n\n Adapt w.r.t. coq/coq#16904.\n\ncommit 9f5fb840950dcf54cc4ce0884ffb75c62f9bcd6a\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 15:14:20 2022 -0400\n\n Update workflows to 8.15\n\ncommit 4ee8749d577c51acdbb153c19bf6457ffaf33560\nMerge: 6a920d06 669ab066\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 14:59:33 2022 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 6a920d0649f1cf9b38641ab937d51ee38a531dad\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 14:59:21 2022 -0400\n\n [docker 8.15]\n\ncommit 8d0a2f6a0f925be03bc8c9d4bccbcbf9e3d4f18f\nAuthor: Yishuai Li \nDate: Mon Sep 5 08:49:04 2022 +0800\n\n [docker 8.15] [docker dev]\n\ncommit df7e938bca16e3a353da116bb8a81dda3e387df8\nAuthor: Yishuai Li \nDate: Mon Sep 5 01:34:11 2022 +0800\n\n Cleanup Coq versions\n\ncommit 669ab0664dcdebd5d7dc23fbf4c779953733ad07\nAuthor: Benjamin Pierce \nDate: Fri Aug 26 19:39:04 2022 +0000\n\n r3451\n\ncommit feb8ddc899d14d5414ede7ede631225725bad4e6\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:28:50 2022 -0400\n\n [docker 8.15]\n\ncommit 67e3e910a0bb899a07fff6a0a2962440d7031fe3\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:23:46 2022 -0400\n\n [docker 8.15]\n\ncommit 155a192190761b93f1f514dd53ed95d13ff722b8\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:18:56 2022 -0400\n\n [docker 8.15]\n\ncommit d0aad57beaa3f68824fff8a3b89fbe9e79cd8952\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 11:58:51 2022 -0400\n\n [docker 8.15]\n\ncommit 7ebaf630375673ace75bc2eba93b18f4c203386a\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 11:50:20 2022 -0400\n\n [docker 8.15]\n\ncommit 0bfda11010b3905626d427d085852c1b36cbd788\nAuthor: Benjamin Pierce \nDate: Mon Aug 22 17:17:30 2022 -0400\n\n [docker 8.15]\n\ncommit cc8322fd0409c38917941c4ac0b5255e8b20ec49\nAuthor: Benjamin Pierce \nDate: Mon Aug 22 16:31:24 2022 -0400\n\n [docker 8.15]\n\ncommit 517bbe1197ae29b0b19e3befe5b1b2a587fb7e6b\nAuthor: Benjamin Pierce \nDate: Mon Aug 15 10:58:58 2022 -0400\n\n [docker 8.15]\n\ncommit 13069eac5970b903be063725593cedb76a6b573a\nAuthor: Benjamin Pierce \nDate: Mon Aug 15 10:49:55 2022 -0400\n\n [docker 8.15]\n\ncommit 13aedd7fa796c3c3e0fbe11083dfa494db932a40\nAuthor: Benjamin Pierce \nDate: Tue Aug 9 14:07:37 2022 -0400\n\n [docker 8.15]\n\ncommit 56ef1a2e87d48f1281cabeaa39b5c85cb7d43240\nAuthor: Benjamin Pierce \nDate: Tue Aug 9 14:03:20 2022 -0400\n\n [docker 8.15]\n\ncommit 906cf15b50b4411bb17009274e5ee81d7a2b1aa5\nAuthor: Benjamin Pierce \nDate: Fri Aug 5 17:30:21 2022 +0000\n\n r3420\n\ncommit e90eaa5a2d6b5325f4ce768b1a6fccd47d46c4f4\nAuthor: Benjamin Pierce \nDate: Fri Aug 5 17:26:45 2022 +0000\n\n r3419\n\ncommit 96d15a36e44002b0a9fe48cf07f78ef9fe2e5deb\nAuthor: Benjamin Pierce \nDate: Mon Aug 1 19:11:34 2022 +0000\n\n r3405\n\ncommit c50141b0eeb39835adf613f7c2bbcc1908d67311\nAuthor: Benjamin Pierce \nDate: Mon Aug 1 19:10:40 2022 +0000\n\n r3404\n\ncommit da99772c8982fd22d28df4fa2f3558a857600ef7\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:49:22 2022 +0000\n\n r3402\n\ncommit 4a931069c9ed1091f0a1853ab566adae62f16ee3\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:40:49 2022 +0000\n\n r3400\n\ncommit 7bd9227ee78833136a177e9959cb9af5540eafe1\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:36:24 2022 +0000\n\n r3398\n\ncommit edb22e12ea3dbdb0e02c410a10d04d5435b77793\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:35:29 2022 +0000\n\n r3397\n\ncommit 09eaf84aeb2b57c990e41b2e5acab5ecf302fb01\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:30:59 2022 +0000\n\n r3393\n\ncommit 2f584cb9a52332f2d52877ce9b2abe8bc5973b60\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:17:59 2022 +0000\n\n r3392\n\ncommit 55ddc2e041b64afccd0facc5dd33995d2adf4930\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:16:13 2022 +0000\n\n r3390\n\ncommit dd0b897f8286fde121d82f35300fef77e26c6d7a\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:13:26 2022 +0000\n\n r3387\n\ncommit 673aa1901223c2c7275f5db01a4013070c3fac4d\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:13:09 2022 +0000\n\n r3388\n\ncommit 5c7d1b755e969a88f08a4a346ee480b29d351d81\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:12:55 2022 +0000\n\n r3386\n\ncommit 04f8a97506c246770a6d0e6a2bc3edd93f7c3ba6\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:12:05 2022 +0000\n\n r3385\n\ncommit 27d5a2fc348cddc5be7f81ecbfdf2c6d8ec277cc\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:10:11 2022 +0000\n\n r3383\n\ncommit 1cbb551698689cfa4bf407354a6f90c8b29e75c0\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:09:37 2022 +0000\n\n r3382\n\ncommit 146b91f01d5a69ad6dda5a478f4fb89f59a394f3\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:07:26 2022 +0000\n\n r3381\n\ncommit be47f9d2da25972693b5726bf9385ed3fef42c13\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:06:48 2022 +0000\n\n r3380\n\ncommit c22931fa0309877235f76609d194bdc7f6a2546f\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 20:21:31 2022 +0000\n\n r3378\n\ncommit 3fb6901e8e1b86fbe6fedfd74252eb1e949f8b6c\nAuthor: Benjamin Pierce \nDate: Sat Jul 9 20:45:46 2022 +0000\n\n r3371\n\ncommit efc229dab0cfc67395223770ef517f651de14677\nAuthor: Benjamin Pierce \nDate: Fri Jul 8 20:17:31 2022 +0000\n\n r3370\n\ncommit 1d9706eb058c745596c58dca1de302600d0b6763\nAuthor: Yishuai Li \nDate: Fri Jul 8 15:12:01 2022 -0400\n\n ci: Retire Coq 8.12; Add SLF\n\ncommit d7efe8ef67c461b3ec555d627fa16d8d780107cb\nAuthor: Yishuai Li \nDate: Fri Jul 8 04:27:20 2022 +0000\n\n r3364\n\ncommit 774f7e8717fca40971a0e41569c166c74649a6e4\nAuthor: Benjamin Pierce \nDate: Thu Jun 2 21:20:25 2022 +0000\n\n r3316\n\ncommit ff65c8725f7b5a1aeb1124bbaeb44a23faeb09d8\nAuthor: Yishuai Li \nDate: Tue Apr 26 21:40:04 2022 +0000\n\n r3265\n\ncommit 685d9e3b1a83e2cc56c6f792463559c09308de8c\nAuthor: Yishuai Li \nDate: Tue Apr 26 14:54:44 2022 -0400\n\n Trigger [docker 8.13] build via git message\n\ncommit da3bbfab4577eef4ff210b405db0fc762f8dd779\nAuthor: Yishuai Li \nDate: Tue Apr 26 14:16:56 2022 -0400\n\n Update menhir\n\ncommit f7c005d786f84dbab2132a23d8e8032a6a12f228\nAuthor: Benjamin Pierce \nDate: Tue Apr 26 02:04:35 2022 +0000\n\n r3261\n\ncommit c3b00ac0381f72ec44cb52a332e281990d40f062\nAuthor: Yishuai Li \nDate: Mon Apr 25 15:04:07 2022 -0400\n\n Disable opam update; fix docker tag\n\ncommit 99bf686d0857545c8fe60c88ffaacb18861d8761\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:40:15 2022 +0000\n\n r3256\n\ncommit 2e3cd7a8da2ae3c101227b68e876232d8a412816\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:38:26 2022 +0000\n\n r3255\n\ncommit 125702746644096b6a43b5e253ccc931c0ba57e4\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:37:09 2022 +0000\n\n r3254\n\ncommit e5874948b00ab96b450f849e3c9b4303bde60839\nAuthor: Yishuai Li \nDate: Mon Apr 25 14:09:27 2022 -0400\n\n VST 2.9\n\ncommit 62bc5ecc23539ce6ffec826ed6696d0ecc0733a1\nAuthor: Benjamin Pierce \nDate: Tue Apr 19 13:25:00 2022 +0000\n\n r3244\n\ncommit 36016b5124d25b15dc6f11a9f1c7d7f47cb21013\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:22:59 2022 +0000\n\n r3242\n\ncommit 3e536d78d3e924cb4b76849b29ea0236b8b6f191\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:20:41 2022 +0000\n\n r3241\n\ncommit cd70e0d63e8a0f0195812f5374b6d63bd44b89eb\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:16:12 2022 +0000\n\n r3240\n\ncommit 7a57be3db2aaae1d2a833f14f96ff0cc2959f0dd\nAuthor: Benjamin Pierce \nDate: Mon Apr 11 22:52:59 2022 +0000\n\n r3233\n\ncommit 0403a843dd19f3a7369d3e17b22460cc0f47fc77\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 16:39:46 2022 +0000\n\n r3222\n\ncommit f5965543fb9a01d3b5c213306e623660f978b72c\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 01:40:34 2022 +0000\n\n r3219\n\ncommit b1dfc2075718333cd10a8b7cb1b9af628c463476\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 01:15:19 2022 +0000\n\n r3218\n\ncommit 827f470711d6f7c4af2a1a97bf073383f836a8ff\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 00:03:17 2022 +0000\n\n r3214\n\ncommit 6b3519cc8239f1c737bd48aad5b9b08261ece004\nAuthor: Benjamin Pierce \nDate: Sun Mar 13 21:43:28 2022 +0000\n\n r3204\n\ncommit f0c34fdee1897e56643108e49c68c71faa6d47fd\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 20:03:24 2022 +0000\n\n r3201\n\ncommit 4fe49f5a41e4f1c842ae6a999246697c6e8cd8db\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 18:58:00 2022 +0000\n\n r3200\n\ncommit edd943a4f220d4633bf39d5f8c2105842ee8d911\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 18:57:34 2022 +0000\n\n r3199\n\ncommit 78f98941d593d2036c520be62b84cc55c517c25f\nAuthor: Benjamin Pierce \nDate: Tue Mar 8 01:39:56 2022 +0000\n\n r3195\n\ncommit 970b8f8d8501df4f01f1c210edabb2034d623331\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 20:59:10 2022 +0000\n\n r3184\n\ncommit 06fd93c5126f9f7c9566309f501ccc6385bf8c34\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:56:22 2022 +0000\n\n r3180\n\ncommit 216d07414982907c6de2368431fa3c7d18704495\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:55:13 2022 +0000\n\n r3178\n\ncommit 25b095897eb35c2e2949beb1da0d36ac510ccc2a\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:54:32 2022 +0000\n\n r3179\n\ncommit f75c3bc5e766c51a182cf396ddc0696abd3f1da6\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:54:08 2022 +0000\n\n r3177\n\ncommit 911187fc15e4bdadf0a1cb5b6824ad8e11f0358d\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:53:14 2022 +0000\n\n r3174\n\ncommit 2908c889431edafed67dfc95d8bfc88bc0959a47\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:52:00 2022 +0000\n\n r3176\n\ncommit 5ab3f05d8693cb6f1d7ea259f6bab7cd6843d2b5\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:51:41 2022 +0000\n\n r3175\n\ncommit 2fb081b6a1ff1197a45c230ab1cbd37d6aeb8b74\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:51:08 2022 +0000\n\n r3173\n\ncommit 07f186b81577ab4ffb00d414475dc7eccd8f58fe\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:48:26 2022 +0000\n\n r3143\n\ncommit 5c593138e4334a8dbad869ef1e9363d8f0f1fa70\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:48:05 2022 +0000\n\n r3144\n\ncommit 110ce34f2b66186ea3d66fecb4f02fba077f57ae\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:46:59 2022 +0000\n\n r3142\n\ncommit 9c849dd0585a6002eae7d86e3f42b140df1861b9\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:45:59 2022 +0000\n\n r3141\n\ncommit 6568572335b68f26baf33319663969708f9dfb73\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:45:30 2022 +0000\n\n r3140\n\ncommit 46389c842a338039aa6222226b4a353f62cdd949\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:41:15 2022 +0000\n\n r3138\n\ncommit 2acd2743ae67d90b5e7636d4c56f66964f94fb75\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:35:35 2022 +0000\n\n r3136\n\ncommit 09f7c3c51a65391b70a95dd884c2f88333b1b1b0\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:34:10 2022 +0000\n\n r3135\n\ncommit 8bebd43abee26ef5494455304a5c69902cdd121e\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:44:31 2022 +0000\n\n r3131\n\ncommit 65cd68baf24cf7b5b3bae164def0afb98ed83cea\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:43:16 2022 +0000\n\n r3130\n\ncommit 3a6cccbc76df32b5bc9485b6e2ff726b20889134\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:40:43 2022 +0000\n\n r3129\n\ncommit 38c4b38053206a8ac4c9ec5677a830f3f619f6fc\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:40:16 2022 +0000\n\n r3127\n\ncommit 1e2b2a6e84c2bb85af7fcf24bab5faa13d5dc6e4\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:38:30 2022 +0000\n\n r3126\n\ncommit 444ee7f00b0afd8d9409916cf0c6e1f7c92aa6f0\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:37:14 2022 +0000\n\n r3125\n\ncommit cd64171e6b5c336a7ce35d2b5ce5d18a641c4c36\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:33:00 2022 +0000\n\n r3123\n\ncommit 103c20e2406db0f43dabbfdd1112ae343d60318e\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:32:40 2022 +0000\n\n r3124\n\ncommit 4b944c6fbb7eb49c9e1f96f58fd97ac4d1fc2cc2\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:31:50 2022 +0000\n\n r3122\n\ncommit 44bd03186cd4d8d99dc1f0cc429bba640f19f8df\nAuthor: Benjamin Pierce \nDate: Tue Feb 8 19:56:32 2022 +0000\n\n r3105\n\ncommit c1a9fe63f7095d91ca0f61606cda924f97638f62\nAuthor: Benjamin Pierce \nDate: Fri Feb 4 18:33:46 2022 +0000\n\n r3074\n\ncommit 754b25a32d007d5ffabd1fd28afaac819a673d25\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:48:46 2022 +0000\n\n r3069\n\ncommit ba942b73611ba5d9780dae5c5247eb5b51819b6c\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:43:25 2022 +0000\n\n r3066\n\ncommit 517efcf7cbcfff50915d8e6ba1461ed89737cbc1\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:37:44 2022 +0000\n\n r3065\n\ncommit 7c4233d68c7400940f6ba70c857ce81ac1585d41\nAuthor: Benjamin Pierce \nDate: Sat Jan 29 23:34:45 2022 +0000\n\n r3060\n\ncommit bdbb2aaad76191e0835ae4e284c85fdfaeca79de\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:38:17 2022 +0000\n\n r3055\n\ncommit 1a85a80554af35657ef3bc9bd1bf7c48ac488ffd\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:28:02 2022 +0000\n\n r3054\n\ncommit 2bf49484bc4c50f70d01043013d498be16c044cc\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:25:28 2022 +0000\n\n r3053\n\ncommit 3162cf89e7f5f278727e865f8656552bd59369a5\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:11:23 2022 +0000\n\n r3050\n\ncommit 88c8983df7e9107e59bc5901f5db8d0b9198e325\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:09:42 2022 +0000\n\n r3048\n\ncommit bebff2d025d7284ba7806b0a02bc334e14c78bd8\nAuthor: Benjamin Pierce \nDate: Wed Jan 12 18:19:03 2022 +0000\n\n r3036\n\ncommit 4f0db23739d2c4a871f242e2be43ed94f62dba02\nAuthor: Benjamin Pierce \nDate: Thu Jan 6 14:06:56 2022 +0000\n\n r3022\n\ncommit 22ca7ced6c276e04b670de46ef9589f03bd01332\nAuthor: Benjamin Pierce \nDate: Thu Dec 23 20:02:46 2021 +0000\n\n r3018\n\ncommit 4a63faeb74a2bd25919ff500295c3eef01710cc0\nAuthor: Benjamin Pierce \nDate: Mon Dec 20 19:18:54 2021 +0000\n\n r3012\n\ncommit 4a1d1af96740e5ffd01690d8340a7542f84f27bc\nAuthor: Lef Ioannidis \nDate: Tue Dec 7 21:48:13 2021 +0000\n\n r2990\n\ncommit ea550b7c4079bf8609d2aa7d5ca2465e8fda529c\nAuthor: Xia Li-yao \nDate: Mon Nov 29 23:56:03 2021 +0000\n\n r2985\n\ncommit d8c930a462384e07c954f170951fc766536b5935\nAuthor: Benjamin Pierce \nDate: Thu Nov 25 18:04:32 2021 +0000\n\n r2981\n\ncommit d5fd1887ae7b23edea8f98cdf0b8c2db0ba874df\nAuthor: Yishuai Li \nDate: Tue Nov 9 20:06:03 2021 +0000\n\n r2954\n\ncommit d61c4206db4099497725b9d8d32228844d98ceaa\nAuthor: Gaëtan Gilbert \nDate: Tue Nov 9 17:52:04 2021 +0000\n\n r2951\n\ncommit 84060de4a7583c54fd54b263ae867beee2d475ea\nAuthor: Xia Li-yao \nDate: Thu Oct 21 12:47:41 2021 +0000\n\n r2889\n\ncommit 0b8c36206c1446b3f6f7473a86846d3b28b3de58\nAuthor: Benjamin Pierce \nDate: Tue Oct 12 18:51:56 2021 +0000\n\n r2874\n\ncommit 651369cb98605f8b5872b9616c95b16ef1eb8ae1\nAuthor: Lef Ioannidis \nDate: Wed Oct 6 01:05:16 2021 +0000\n\n r2857\n\ncommit 31fd8abb0bf1e1da48a05195573e1c3e87c0e217\nAuthor: Lef Ioannidis \nDate: Fri Sep 24 19:02:04 2021 +0000\n\n r2822\n\ncommit 478eddc81d40633d525cc97f99edd9893fcefbef\nAuthor: Lef Ioannidis \nDate: Wed Sep 22 01:10:24 2021 +0000\n\n r2818\n\ncommit e2b007f657406341c89d1cbc781f996f7e0c0955\nAuthor: Benjamin Pierce \nDate: Tue Sep 21 22:56:04 2021 +0000\n\n r2816\n\ncommit adcf10fb86c48e9ebaaeae472c5e7994555b47d6\nAuthor: winestone \nDate: Mon Sep 13 23:01:32 2021 +0000\n\n r2784\n\ncommit a4fad379bae69ea168c8ac844014dcbe7d0c3aed\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 21:43:47 2021 +0000\n\n r2782\n\ncommit 71751c8376f132e471a36fdf707cf0e2a818794f\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 21:18:59 2021 +0000\n\n r2781\n\ncommit fd2697f6f8c7ff990430e11e7a63d549319dae9e\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 20:42:48 2021 +0000\n\n r2780\n\ncommit e1bd323b16f830e47e48231dfc4291b11a85b890\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 20:06:48 2021 +0000\n\n r2777\n\ncommit 94d984b08fc043b40dc8cb28825f2a4247f7291c\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 12:24:14 2021 +0000\n\n r2769\n\ncommit 88d699c4312591e5db85f6d6bcad6843607bbbf4\nAuthor: Benjamin Pierce \nDate: Wed Sep 8 00:33:10 2021 +0000\n\n r2753\n\ncommit 543bcc618af78471b93c01171d50b635b5f3169d\nAuthor: Benjamin Pierce \nDate: Wed Sep 8 00:00:32 2021 +0000\n\n r2748\n\ncommit 82fb1f80841dac11111396c9bdf1a1d69b47894c\nAuthor: Bas Spitters \nDate: Mon Sep 6 14:28:51 2021 +0000\n\n r2741\n\ncommit 48c12ffaac6891f3fd5760139f07a38d739e43a2\nAuthor: Benjamin Pierce \nDate: Sun Sep 5 18:07:06 2021 +0000\n\n r2738\n\ncommit c867057296c6bb5ce7a8aca1a47cf3de47633542\nAuthor: Benjamin Pierce \nDate: Sun Sep 5 17:51:05 2021 +0000\n\n r2737\n\ncommit 33b66a60b188754dc12f0d790155c1e329adf114\nAuthor: Shachar Itzhaky \nDate: Sun Sep 5 17:33:38 2021 +0000\n\n r2736\n\ncommit cd1d001f32dda60001bc72fc1ba5a7bac62438b7\nAuthor: winestone \nDate: Mon Aug 30 20:23:24 2021 +0000\n\n r2718\n\ncommit 5086de125806aaee0d88893511db3df5db424ba0\nAuthor: Benjamin Pierce \nDate: Mon Aug 30 20:02:37 2021 +0000\n\n r2717\n\ncommit 18006dab9a77860ef1be550cc5d2f3caf9cf822d\nAuthor: Benjamin Pierce \nDate: Mon Aug 30 19:42:04 2021 +0000\n\n r2716\n\ncommit 73e0ee1d1f5993b8a25899150f204c0a02a6aa52\nAuthor: Arthur Charguéraud \nDate: Tue Aug 3 21:19:57 2021 +0000\n\n r2675\n\ncommit 6834bc69eb059df8e771fbc17afc625abe8ce630\nAuthor: Shachar Itzhaky \nDate: Mon Aug 2 22:42:47 2021 +0000\n\n r2673\n\ncommit cff7ed7680d1242cfddfba79a408950a115174b3\nAuthor: Arthur Charguéraud \nDate: Mon Aug 2 22:19:00 2021 +0000\n\n r2672\n\ncommit c967dc6904a92fc002ed122e97b133399e7f6a19\nAuthor: wldhx \nDate: Mon Jun 14 15:10:53 2021 +0000\n\n build(ci): Build and push Docker containers\n\ncommit 751774d3e4a510359808de6861f5699f5f40b9b9\nAuthor: Arthur Charguéraud \nDate: Tue Jun 29 23:07:20 2021 +0000\n\n r2659\n\ncommit ea91477b7c34ebb2a174cfc1228a65ce8ff8738c\nAuthor: Benjamin Pierce \nDate: Tue Jun 29 22:39:47 2021 +0000\n\n r2658\n\ncommit 4d0f3aefb093949f63975cdf6d70a8b6132639fb\nAuthor: Benjamin Pierce \nDate: Tue Jun 29 22:14:10 2021 +0000\n\n r2657\n\ncommit 41c4ddd76dbde6a7aede634d7b003a64b5b11e98\nAuthor: Yishuai Li \nDate: Thu May 20 18:42:25 2021 -0400\n\n VST 2.8\n\ncommit 911c0ff894e968d73976f959c114a37661aab9ab\nAuthor: Benjamin Pierce \nDate: Wed May 26 15:45:13 2021 +0000\n\n r2617\n\ncommit f1f50d98387c2aac652e9a474301dadc0e307bc3\nAuthor: Benjamin Pierce \nDate: Wed May 26 14:16:32 2021 +0000\n\n r2614\n\ncommit 434a85e1286fea88c1872ed16209ff97cf77fc36\nAuthor: Benjamin Pierce \nDate: Mon May 24 19:00:15 2021 +0000\n\n r2603\n\ncommit 88e90e83a77f08ac61438c7796ce63944f8b5030\nAuthor: Shachar Itzhaky \nDate: Tue May 18 18:23:46 2021 +0000\n\n r2567\n\ncommit 46a8197a9c2275639038744c087b2d75cd49123a\nAuthor: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nDate: Wed May 12 01:34:41 2021 +0000\n\n r2546\n\ncommit 37b59ccf84bc972b8a5ddba697901848c43b1d63\nAuthor: Benjamin Pierce \nDate: Fri May 7 15:43:28 2021 +0000\n\n r2518\n\ncommit 06b187ca27291e46fc702e7f89afeba40b701ca6\nAuthor: Benjamin Pierce \nDate: Fri May 7 14:51:32 2021 +0000\n\n r2515\n\ncommit 65171288f5f55b83732ad70ee6b5430f0b77c978\nAuthor: Yishuai Li \nDate: Tue May 4 15:58:57 2021 -0400\n\n ignore .report\n\ncommit c357b0a9f1442071022dbc4dd7d615440b32e004\nAuthor: Yishuai Li \nDate: Tue May 4 19:31:06 2021 +0000\n\n r2500\n\ncommit a290b9b6892a0ed86a18a7e2bf685d73056f7361\nAuthor: Yishuai Li \nDate: Tue May 4 12:23:53 2021 -0400\n\n VST 2.7\n\ncommit d8401ccac0ddd10c611479352b4da53cdb8aa570\nAuthor: Yishuai Li \nDate: Thu Apr 1 20:39:00 2021 -0400\n\n CompCert 3.8 incompatible with Menhir dev\n\ncommit 3fb302e781ce6944cc3cd6fcf8bbb02774d7fbcc\nAuthor: Yishuai Li \nDate: Thu Apr 1 19:50:51 2021 -0400\n\n omega -> lia\n\ncommit 520e04679b9a7e5868b42608d6f47c8f720be80c\nAuthor: Yishuai Li \nDate: Mon Dec 28 01:10:03 2020 -0500\n\n Coq 8.13\n\ncommit cced6f0df38b97fdd45111681410877fee429c4a\nAuthor: Benjamin Pierce \nDate: Thu Nov 5 12:53:46 2020 +0000\n\n r2252\n\ncommit b0779795fd3a5c90f951153f579a99378f1cfb83\nAuthor: Benjamin Pierce \nDate: Tue Nov 3 12:45:39 2020 +0000\n\n r2247\n\ncommit 34fa16def8e355db9130a513b6343266fa048195\nAuthor: Yishuai Li \nDate: Fri Oct 16 22:18:20 2020 -0400\n\n Specify CompCert version in Docker\n\ncommit 3794913195a9eab94ab7a3bf3072e758391bed70\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 17:01:58 2020 +0000\n\n r2226\n\ncommit dfe6badff27138078434dc8f03a8832e1a9d49f3\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 16:31:33 2020 +0000\n\n r2225\n\ncommit 1768cf9359b6f7202ea5580db5d57db9c311d8a8\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 16:10:44 2020 +0000\n\n r2224\n\ncommit 34c3c6ea93f3c97fca1864c2339de7104383e4b7\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 15:49:42 2020 +0000\n\n r2222\n\ncommit beede207de8f42e341cfaace438807f9e68e1a30\nAuthor: Benjamin Pierce \nDate: Fri Oct 16 15:14:04 2020 +0000\n\n r2209\n\ncommit bc5baeeb3ee5af9925889aa976d60500eef5c98f\nAuthor: Andrew Appel \nDate: Fri Sep 25 13:48:13 2020 +0000\n\n r2169\n\ncommit e001bdd9f6212853ac69441cea788cfceb923f50\nAuthor: Benjamin Pierce \nDate: Fri Sep 18 15:12:42 2020 +0000\n\n r2131\n\ncommit cb9ed7c993b756dd80e0c8e67be34de2d99ec737\nAuthor: Benjamin Pierce \nDate: Thu Sep 10 14:25:59 2020 +0000\n\n r2119\n\ncommit 142299720c0e990d35b474b95efe84307ef1df09\nAuthor: Benjamin Pierce \nDate: Wed Sep 9 01:41:43 2020 +0000\n\n r2114\n\ncommit db29b6516142e313c34318b8c0c248a488a114b2\nAuthor: Yishuai Li \nDate: Tue Sep 1 14:13:09 2020 -0400\n\n Build Verified C\n\ncommit 4fd89d7b978fd14470493cc0a39a42393cf5847a\nAuthor: Yishuai Li \nDate: Tue Sep 1 19:06:03 2020 +0000\n\n r2094\n\ncommit 96e7125bf247dd837ed7edc874ec6d71fbc575aa\nAuthor: Benjamin Pierce \nDate: Tue Sep 1 16:07:59 2020 +0000\n\n r2088\n\ncommit b91c647691601f5811cf3b87b5deb532d15b07c5\nAuthor: Benjamin Pierce \nDate: Tue Sep 1 14:38:36 2020 +0000\n\n r2087\n\ncommit d1e4d21620be75c3c52d18f8883803ae685be904\nAuthor: Benjamin Pierce \nDate: Mon Aug 31 21:01:01 2020 +0000\n\n r2086\n\ncommit bab34b959ae08492b06953595461ec019ff40266\nAuthor: Benjamin Pierce \nDate: Sun Aug 30 11:25:53 2020 +0000\n\n r2083\n\ncommit 52ed40a02519ed0053d375179ec96866d512acbc\nAuthor: Benjamin Pierce \nDate: Fri Aug 28 20:10:07 2020 +0000\n\n r2078\n\ncommit 76f1bb9a7604a6216093f203c0b06bb559e2aba1\nAuthor: Benjamin Pierce \nDate: Mon Aug 24 19:59:48 2020 +0000\n\n r2067\n\ncommit d2b2648cee2bdb5fcf3b504efe21302381d99f7e\nAuthor: Yishuai Li \nDate: Sat Aug 8 00:48:11 2020 +0000\n\n r2009\n\ncommit 23061ac4c0f4110948fba7902a794d0e707294c9\nAuthor: Benjamin Pierce \nDate: Fri Aug 7 18:01:03 2020 +0000\n\n r2007\n\ncommit a6960160e7a58a8ddac5396f495f1007c32cc24d\nAuthor: Yishuai Li \nDate: Fri Aug 7 12:03:37 2020 -0400\n\n Docker for dependencies\n\ncommit ce2f058e96eb373a5da6f8246582084e50ff1708\nAuthor: Andrew Appel \nDate: Sat Aug 1 17:47:12 2020 +0000\n\n r1936\n\ncommit b3467d796ff188434be88e0b806de55743c10fb5\nAuthor: Yishuai Li \nDate: Sat Jul 25 00:22:14 2020 +0000\n\n r1880\n\ncommit 230e3b756d339d1de1654781a5fad60d46f1b93c\nAuthor: Benjamin \nDate: Fri Jul 24 23:20:20 2020 +0000\n\n r1876\n\ncommit 83f1f7518f4a8006d3e4e05982950c8cd57cdc62\nAuthor: Benjamin \nDate: Fri Jul 24 23:08:47 2020 +0000\n\n r1875\n\ncommit 54a5d3bf4048c14291e294457484a3fdcc0f8291\nAuthor: Benjamin \nDate: Wed Jul 22 22:46:21 2020 +0000\n\n r1847\n\ncommit 59735d2c55867bf349db0a724d8afb5c2e3d6a84\nAuthor: Yishuai \nDate: Tue Jul 21 19:39:07 2020 +0000\n\n r1837\n\ncommit 9247de19e952a27eb4a843eab54a7ed228f7ba71\nAuthor: Yishuai Li \nDate: Wed Jun 3 20:31:43 2020 -0400\n\n CircleCI\n\ncommit 746c94e7e3ee1eb0d19b98af6f00956936dd8a08\nAuthor: Benjamin \nDate: Sun Jul 19 03:57:25 2020 +0000\n\n r1805\n\ncommit f6effdd25de976b90727fb44f41a7fa683ca82fe\nAuthor: Andrew \nDate: Thu Jul 16 16:36:57 2020 +0000\n\n r1793\n\ncommit 777b3aecca922fcf0b5b7204d69cb0a440906d2e\nAuthor: Andrew \nDate: Thu Jul 16 15:52:43 2020 +0000\n\n r1791\n\ncommit 347596d0086d805be8c9586bd932da833eaa51d4\nAuthor: Andrew \nDate: Wed Jun 17 15:13:37 2020 +0000\n\n r1748\n\ncommit 089e636197743276fa15121e144bd5ce8fe26277\nAuthor: Andrew \nDate: Thu Jun 11 15:55:00 2020 +0000\n\n r1740\n\ncommit 6c143d3503082821dc411609660d269166a8cf81\nAuthor: Benjamin \nDate: Thu Jun 11 14:37:37 2020 +0000\n\n r1738\n\ncommit fa8713b1f4212b03e4fed39bad6a83889b8bea42\nAuthor: Andrew \nDate: Tue Jun 9 15:49:40 2020 +0000\n\n r1729\n\ncommit 0d2855680dba3090b82e6a33cdb4d3c119fba61c\nAuthor: Benjamin \nDate: Sat Jun 6 17:41:14 2020 +0000\n\n r1706\n\ncommit 82e4f7e3db24f9f6ef7cba691b780d0c147d953a\nAuthor: Benjamin \nDate: Wed Jun 3 12:18:29 2020 +0000\n\n r1696\n\ncommit b1fe59e46b5713371d4bbb9ebab44b5317d806d7\nAuthor: Benjamin \nDate: Wed Jun 3 12:10:06 2020 +0000\n\n r1695\n\ncommit ae4e44f7dfd93a2bf56c1c776081969caac83c07\nAuthor: Andrew \nDate: Thu May 28 12:52:45 2020 +0000\n\n r1674\n\ncommit d41a56ee075259f271ae5288f7860b340cabc3a1\nAuthor: Yishuai Li \nDate: Wed May 13 17:30:01 2020 -0400\n\n r1663\n\ncommit 5152147f2c46553178873ba13109aee166e64cf1\nAuthor: Benjamin Pierce \nDate: Wed May 13 16:16:28 2020 -0400\n\n Update README.md\n\nCo-authored-by: Benjamin Pierce \nCo-authored-by: Andrew Appel \nCo-authored-by: Lef Ioannidis \nCo-authored-by: Shachar Itzhaky \nCo-authored-by: Arthur Charguéraud \nCo-authored-by: Pierre-Marie Pédrot \nCo-authored-by: Xia Li-yao \nCo-authored-by: winestone \nCo-authored-by: Gaëtan Gilbert \nCo-authored-by: Bas Spitters \nCo-authored-by: wldhx ","shortMessageHtmlLink":"Squashed commit of the following:"}},{"before":null,"after":"8ce08f209393dec9d637cbcbc58ef90352a04de6","ref":"refs/heads/squash","pushedAt":"2023-11-01T07:52:09.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"Squashed commit of the following:\n\ncommit 50c9dd41ea53fd52525530069e7a851c107db297\nAuthor: Benjamin Pierce \nDate: Fri Oct 27 14:12:45 2023 +0000\n\n r3827\n\ncommit b2171882b0d07931d129d439358e5abb358acc85\nAuthor: Yishuai Li \nDate: Mon Oct 23 10:26:30 2023 +0000\n\n r3809\n\ncommit 6c3a9a22e5a064350f11e9827144562b23194b63\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:14:31 2023 +0000\n\n r3788\n\ncommit e8219a797a24cd40f1e101ce3b5ddf3b96225efe\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:14:16 2023 +0000\n\n r3787\n\ncommit ab0255116b0307c7d0007fb981cef2de0b0abfb2\nAuthor: Benjamin Pierce \nDate: Wed Oct 18 23:07:36 2023 +0000\n\n r3785\n\ncommit 181eef5d50031a70684521c0214c045ed608e9fa\nAuthor: Benjamin Pierce \nDate: Tue Oct 3 20:59:37 2023 +0000\n\n r3762\n\ncommit 40cf48487ed5c21735edcda896d31977ddeaab40\nAuthor: Benjamin Pierce \nDate: Sun Oct 1 13:02:23 2023 +0000\n\n r3759\n\ncommit 778bc68202695f227069866bcef65efc633a8973\nAuthor: Benjamin Pierce \nDate: Wed Sep 27 19:55:07 2023 +0000\n\n r3749\n\ncommit 1313e785e99254e42fae1fa07c24fea9f4e832f3\nAuthor: Benjamin Pierce \nDate: Mon Aug 28 15:31:16 2023 -0400\n\n [docker 8.17]\n\ncommit 504cc52f1ae90cf533c141755e7e7067a985465a\nAuthor: Benjamin Pierce \nDate: Sun Aug 27 20:35:15 2023 +0000\n\n r3697\n\ncommit 774e7224f1b4abc38882e1a4984b54e5c3829429\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 20:40:06 2023 +0000\n\n r3692\n\ncommit 90ecdc836af195c413b6bce3f1216c2544a3ac42\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 15:36:17 2023 +0000\n\n r3688\n\ncommit 1d53d198e252dce6d1d70e03472dab95a3787234\nAuthor: Benjamin Pierce \nDate: Wed Aug 23 14:15:53 2023 +0000\n\n r3685\n\ncommit dd4945c7896811c793b290fc8e47b5021c94bcf9\nAuthor: Benjamin Pierce \nDate: Tue Aug 22 20:45:27 2023 +0000\n\n r3683\n\ncommit 91e45fe8e5976dc2d3e30655e5c19f60834f60fa\nAuthor: Benjamin Pierce \nDate: Tue Aug 22 20:43:58 2023 +0000\n\n r3682\n\ncommit 5897aa14f6f8f40c3cbba70838e0e57e584c370f\nAuthor: Benjamin Pierce \nDate: Thu Jul 6 19:57:24 2023 +0000\n\n r3645\n\ncommit d98b8968483d7ee30dc3a502cd7d58f1490bfa9b\nAuthor: Benjamin Pierce \nDate: Tue Jun 20 15:39:10 2023 +0000\n\n r3586\n\ncommit b064637eeba4e806f7aae974cc7c4178c1fd8057\nAuthor: Benjamin Pierce \nDate: Tue Apr 25 20:37:27 2023 +0000\n\n r3553\n\ncommit ac30dd05e432469f41af761039cfdc03110d44dd\nAuthor: Benjamin Pierce \nDate: Fri Apr 7 00:27:00 2023 +0000\n\n r3546\n\ncommit 1840b0a2f07b4f6cbf232a67b6fbafa6940642b2\nAuthor: Benjamin Pierce \nDate: Sun Mar 26 19:33:49 2023 +0000\n\n r3534\n\ncommit b2639eb864e84119a7cd8128bc21217102c596fb\nAuthor: Benjamin Pierce \nDate: Sat Mar 25 17:30:46 2023 +0000\n\n r3531\n\ncommit 62fbb79b25ea99f3a49027699f95f85f65c083b2\nMerge: 3fd3a70e ebef5c18\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 12:07:07 2023 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 3fd3a70e552da9c8b7caeca4a1e7045dbe09c6d5\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 12:06:38 2023 -0400\n\n [docker 8.16]\n\ncommit ebef5c18681f64bc1fc2f9d71907efd6816f9765\nAuthor: Benjamin Pierce \nDate: Fri Mar 24 02:39:53 2023 +0000\n\n r3528\n\ncommit d1117332707e6a5670911ac60a998fa748538217\nAuthor: Benjamin Pierce \nDate: Thu Mar 23 20:54:06 2023 -0400\n\n [docker 8.15]\n\ncommit b20c8677b0b2a1a2a272111ce60f5a9663bec0ae\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:08:45 2023 -0400\n\n [docker 8.15]\n\ncommit 11e79d208435ae5434d6eeea5a6f50ba844141e2\nMerge: 01bd4b7c d63d1a6f\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:06:08 2023 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 01bd4b7c943f3b471284661298711ca7aad3e446\nAuthor: Benjamin Pierce \nDate: Wed Mar 22 21:05:56 2023 -0400\n\n [docker 8.15]\n\ncommit d63d1a6f0e396a0d06f1363722482b3d515cafa7\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 17:12:57 2023 -0400\n\n [docker 8.16]\n\ncommit a454e871d13750f0a38dc532e91d5e8280b8f4c1\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 16:51:18 2023 -0400\n\n [docker 8.16]\n\ncommit 00e66ab6eec586cd3eb3ee26c5fe3bdc976448ec\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:19:13 2023 -0400\n\n [docker 8.16]\n\ncommit 0e5f81b1428971ce8ee86e931d08694ba3147ce0\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:17:50 2023 -0400\n\n [docker 8.16]\n\ncommit 1a041ecbcd09839384dc02ca355eb54764c5e7aa\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 15:04:12 2023 -0400\n\n [docker 8.16]\n\ncommit 60274394380dbfc48f820c5efdd6ea300be6b106\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:59:02 2023 -0400\n\n [docker 8.16]\n\ncommit a3ee935a82c96de24d64e95577a798ee40869530\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:54:25 2023 -0400\n\n [docker 8.16]\n\ncommit 68e9be3c880329f0734521d6b4bc78681a604a4e\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:50:50 2023 -0400\n\n [docker 8.16]\n\ncommit 03fab3c6a190f2740af6c5400151e5e148c6f593\nAuthor: Benjamin Pierce \nDate: Tue Mar 21 14:29:18 2023 -0400\n\n Docker scripts\n\ncommit 5355a8aaf8c7ec9c66b47710ba401eb7ef2303a4\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:50:59 2023 -0400\n\n [docker 8.16]\n\ncommit 9f5727dc5e400c3f77274866b2b5665bc28ab525\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:50:34 2023 -0400\n\n [docker 8.15]\n\ncommit 841ce2572c02af0beb94cc1c1d4b587b944be530\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 21:47:57 2023 -0400\n\n [docker 8.16]\n\ncommit 7f6b041179d91ab790f38cd882f005926ff6ea01\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 17:03:41 2023 -0400\n\n [docker 8.16]\n\ncommit b0891f9548e063b5964a19d9d35bcdc0ebcb62d4\nMerge: d7a4e7ee 04650b02\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 16:46:56 2023 -0400\n\n Merge remote-tracking branch 'origin/circleci-update-resource-class'\n\ncommit d7a4e7ee12cfb62439f9a757067583b49b7ff514\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 15:26:06 2023 -0400\n\n [docker 8.16]\n\ncommit 105d1bde22aeaf94c1a7698c6ffc7755795403fa\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:47:11 2023 -0400\n\n [docker 8.16]\n\ncommit 4a04f990db9ecbdc69d77af4c1fc64a6ea566cfe\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:46:29 2023 -0400\n\n [docker dev]\n\ncommit 04650b02b017675f73547ed8b53f611c97f74539\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:13:43 2023 -0400\n\n Update build-docker to large resource class in config.yml\n\ncommit 1c63f3e76de0971f2571297861847f402d0ac8e9\nAuthor: Benjamin Pierce \nDate: Mon Mar 20 13:00:24 2023 -0400\n\n [docker 8.15]\n\ncommit 1b456cc4910cb227f79f9877f8bfa31b2e3502d5\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:35:03 2023 -0400\n\n [docker 8.16]\n\ncommit 7c6cd01fc99be877ca64e93e1e8c160eb6b610ca\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:34:24 2023 -0400\n\n CI hacking\n\ncommit e6aa12bebac2ecbe4f13c61d1e8678ed78252fc5\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 18:19:58 2023 -0400\n\n [docker 8.16]\n\ncommit b3a4f5b328e9b36e92318189e8627446037a5eb8\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 17:04:17 2023 -0400\n\n [Docker 8.16]\n\ncommit 204987de4cb06fa7c441cd29cf46a8345a087272\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 17:02:02 2023 -0400\n\n Correct one\n\ncommit 76fcfd96805939a9bd20140c0c891f4ae101c26e\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:59:00 2023 -0400\n\n Move it where it belongs\n\ncommit 673955c488868bee8c5937d9068deb7c1cf6a2d3\nMerge: abab8263 d1ef3766\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:55 2023 -0400\n\n Merge pull request #5 from DeepSpec/cleanup\n\n Cleanup Coq versions\n\ncommit d1ef37660d3898f7b7f3db3898eee80a072f5acf\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:32 2023 -0400\n\n Re-add conflicted file\n\ncommit b11cd6ac08d55a7a28ad48ca19c4a2f0b0e495f3\nMerge: 09ce0fea efa357e4\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:57:06 2023 -0400\n\n Merge branch 'cleanup' of https://github.com/DeepSpec/sf into cleanup\n\ncommit 09ce0fea9ea60ad40581d103f0a303e6e16031ed\nMerge: 8d0a2f6a abab8263\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:55:16 2023 -0400\n\n Merge branch 'master' into cleanup\n\ncommit abab82632bf6a84d1615d8c0e0e0fbd223d8474c\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:53:37 2023 -0400\n\n Fix Makefile per Yiushuai\n\ncommit efa357e45dbb55c5df3eb71b59603c1f5bfe4b0d\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:49:24 2023 -0400\n\n Delete Makefile\n\ncommit b78e863fd08069de169a4dee1cfa8b0921bf7dd6\nAuthor: Benjamin Pierce \nDate: Sun Mar 19 16:43:23 2023 -0400\n\n [Docker 8.16]\n\ncommit 142c1e96913bed6e5b8272c36342ffb026fa011a\nMerge: 9255b7bc c81b62cd\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:59:59 2023 -0400\n\n Merge pull request #8 from ppedrot/rm-instantiate\n\n Adapt w.r.t. coq/coq#16910.\n\ncommit 9255b7bc1d2b2b929a0866e1fdb74a79318daf07\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:12:42 2023 -0400\n\n Docker 8.16\n\ncommit 82524ce33c65bf25d313f7e29fff9b8355591531\nAuthor: Benjamin Pierce \nDate: Wed Mar 15 13:11:44 2023 -0400\n\n Docker 8.15\n\ncommit c81b62cd5c34dc96cf8e49fbe885e5dd54b45a58\nAuthor: Pierre-Marie Pédrot \nDate: Tue Dec 27 17:04:56 2022 +0100\n\n Adapt w.r.t. coq/coq#16910.\n\ncommit 542ea3af8f16f0f73f8a676075f0f560b0f23a23\nMerge: 9f5fb840 cc97bbe0\nAuthor: Benjamin Pierce \nDate: Mon Nov 28 14:21:55 2022 -0500\n\n Merge pull request #7 from ppedrot/deprecate-elim-case-type\n\n Adapt w.r.t. coq/coq#16904.\n\ncommit cc97bbe0b0127daf9542343bb6e315ae324c7930\nAuthor: Pierre-Marie Pédrot \nDate: Fri Nov 25 12:19:04 2022 +0100\n\n Adapt w.r.t. coq/coq#16904.\n\ncommit 9f5fb840950dcf54cc4ce0884ffb75c62f9bcd6a\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 15:14:20 2022 -0400\n\n Update workflows to 8.15\n\ncommit 4ee8749d577c51acdbb153c19bf6457ffaf33560\nMerge: 6a920d06 669ab066\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 14:59:33 2022 -0400\n\n Merge branch 'master' of https://github.com/DeepSpec/sf\n\ncommit 6a920d0649f1cf9b38641ab937d51ee38a531dad\nAuthor: Benjamin Pierce \nDate: Mon Sep 5 14:59:21 2022 -0400\n\n [docker 8.15]\n\ncommit 8d0a2f6a0f925be03bc8c9d4bccbcbf9e3d4f18f\nAuthor: Yishuai Li \nDate: Mon Sep 5 08:49:04 2022 +0800\n\n [docker 8.15] [docker dev]\n\ncommit df7e938bca16e3a353da116bb8a81dda3e387df8\nAuthor: Yishuai Li \nDate: Mon Sep 5 01:34:11 2022 +0800\n\n Cleanup Coq versions\n\ncommit 669ab0664dcdebd5d7dc23fbf4c779953733ad07\nAuthor: Benjamin Pierce \nDate: Fri Aug 26 19:39:04 2022 +0000\n\n r3451\n\ncommit feb8ddc899d14d5414ede7ede631225725bad4e6\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:28:50 2022 -0400\n\n [docker 8.15]\n\ncommit 67e3e910a0bb899a07fff6a0a2962440d7031fe3\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:23:46 2022 -0400\n\n [docker 8.15]\n\ncommit 155a192190761b93f1f514dd53ed95d13ff722b8\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 13:18:56 2022 -0400\n\n [docker 8.15]\n\ncommit d0aad57beaa3f68824fff8a3b89fbe9e79cd8952\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 11:58:51 2022 -0400\n\n [docker 8.15]\n\ncommit 7ebaf630375673ace75bc2eba93b18f4c203386a\nAuthor: Benjamin Pierce \nDate: Thu Aug 25 11:50:20 2022 -0400\n\n [docker 8.15]\n\ncommit 0bfda11010b3905626d427d085852c1b36cbd788\nAuthor: Benjamin Pierce \nDate: Mon Aug 22 17:17:30 2022 -0400\n\n [docker 8.15]\n\ncommit cc8322fd0409c38917941c4ac0b5255e8b20ec49\nAuthor: Benjamin Pierce \nDate: Mon Aug 22 16:31:24 2022 -0400\n\n [docker 8.15]\n\ncommit 517bbe1197ae29b0b19e3befe5b1b2a587fb7e6b\nAuthor: Benjamin Pierce \nDate: Mon Aug 15 10:58:58 2022 -0400\n\n [docker 8.15]\n\ncommit 13069eac5970b903be063725593cedb76a6b573a\nAuthor: Benjamin Pierce \nDate: Mon Aug 15 10:49:55 2022 -0400\n\n [docker 8.15]\n\ncommit 13aedd7fa796c3c3e0fbe11083dfa494db932a40\nAuthor: Benjamin Pierce \nDate: Tue Aug 9 14:07:37 2022 -0400\n\n [docker 8.15]\n\ncommit 56ef1a2e87d48f1281cabeaa39b5c85cb7d43240\nAuthor: Benjamin Pierce \nDate: Tue Aug 9 14:03:20 2022 -0400\n\n [docker 8.15]\n\ncommit 906cf15b50b4411bb17009274e5ee81d7a2b1aa5\nAuthor: Benjamin Pierce \nDate: Fri Aug 5 17:30:21 2022 +0000\n\n r3420\n\ncommit e90eaa5a2d6b5325f4ce768b1a6fccd47d46c4f4\nAuthor: Benjamin Pierce \nDate: Fri Aug 5 17:26:45 2022 +0000\n\n r3419\n\ncommit 96d15a36e44002b0a9fe48cf07f78ef9fe2e5deb\nAuthor: Benjamin Pierce \nDate: Mon Aug 1 19:11:34 2022 +0000\n\n r3405\n\ncommit c50141b0eeb39835adf613f7c2bbcc1908d67311\nAuthor: Benjamin Pierce \nDate: Mon Aug 1 19:10:40 2022 +0000\n\n r3404\n\ncommit da99772c8982fd22d28df4fa2f3558a857600ef7\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:49:22 2022 +0000\n\n r3402\n\ncommit 4a931069c9ed1091f0a1853ab566adae62f16ee3\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:40:49 2022 +0000\n\n r3400\n\ncommit 7bd9227ee78833136a177e9959cb9af5540eafe1\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:36:24 2022 +0000\n\n r3398\n\ncommit edb22e12ea3dbdb0e02c410a10d04d5435b77793\nAuthor: Benjamin Pierce \nDate: Thu Jul 21 14:35:29 2022 +0000\n\n r3397\n\ncommit 09eaf84aeb2b57c990e41b2e5acab5ecf302fb01\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:30:59 2022 +0000\n\n r3393\n\ncommit 2f584cb9a52332f2d52877ce9b2abe8bc5973b60\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:17:59 2022 +0000\n\n r3392\n\ncommit 55ddc2e041b64afccd0facc5dd33995d2adf4930\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:16:13 2022 +0000\n\n r3390\n\ncommit dd0b897f8286fde121d82f35300fef77e26c6d7a\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:13:26 2022 +0000\n\n r3387\n\ncommit 673aa1901223c2c7275f5db01a4013070c3fac4d\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:13:09 2022 +0000\n\n r3388\n\ncommit 5c7d1b755e969a88f08a4a346ee480b29d351d81\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:12:55 2022 +0000\n\n r3386\n\ncommit 04f8a97506c246770a6d0e6a2bc3edd93f7c3ba6\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:12:05 2022 +0000\n\n r3385\n\ncommit 27d5a2fc348cddc5be7f81ecbfdf2c6d8ec277cc\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:10:11 2022 +0000\n\n r3383\n\ncommit 1cbb551698689cfa4bf407354a6f90c8b29e75c0\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:09:37 2022 +0000\n\n r3382\n\ncommit 146b91f01d5a69ad6dda5a478f4fb89f59a394f3\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:07:26 2022 +0000\n\n r3381\n\ncommit be47f9d2da25972693b5726bf9385ed3fef42c13\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 21:06:48 2022 +0000\n\n r3380\n\ncommit c22931fa0309877235f76609d194bdc7f6a2546f\nAuthor: Benjamin Pierce \nDate: Wed Jul 20 20:21:31 2022 +0000\n\n r3378\n\ncommit 3fb6901e8e1b86fbe6fedfd74252eb1e949f8b6c\nAuthor: Benjamin Pierce \nDate: Sat Jul 9 20:45:46 2022 +0000\n\n r3371\n\ncommit efc229dab0cfc67395223770ef517f651de14677\nAuthor: Benjamin Pierce \nDate: Fri Jul 8 20:17:31 2022 +0000\n\n r3370\n\ncommit 1d9706eb058c745596c58dca1de302600d0b6763\nAuthor: Yishuai Li \nDate: Fri Jul 8 15:12:01 2022 -0400\n\n ci: Retire Coq 8.12; Add SLF\n\ncommit d7efe8ef67c461b3ec555d627fa16d8d780107cb\nAuthor: Yishuai Li \nDate: Fri Jul 8 04:27:20 2022 +0000\n\n r3364\n\ncommit 774f7e8717fca40971a0e41569c166c74649a6e4\nAuthor: Benjamin Pierce \nDate: Thu Jun 2 21:20:25 2022 +0000\n\n r3316\n\ncommit ff65c8725f7b5a1aeb1124bbaeb44a23faeb09d8\nAuthor: Yishuai Li \nDate: Tue Apr 26 21:40:04 2022 +0000\n\n r3265\n\ncommit 685d9e3b1a83e2cc56c6f792463559c09308de8c\nAuthor: Yishuai Li \nDate: Tue Apr 26 14:54:44 2022 -0400\n\n Trigger [docker 8.13] build via git message\n\ncommit da3bbfab4577eef4ff210b405db0fc762f8dd779\nAuthor: Yishuai Li \nDate: Tue Apr 26 14:16:56 2022 -0400\n\n Update menhir\n\ncommit f7c005d786f84dbab2132a23d8e8032a6a12f228\nAuthor: Benjamin Pierce \nDate: Tue Apr 26 02:04:35 2022 +0000\n\n r3261\n\ncommit c3b00ac0381f72ec44cb52a332e281990d40f062\nAuthor: Yishuai Li \nDate: Mon Apr 25 15:04:07 2022 -0400\n\n Disable opam update; fix docker tag\n\ncommit 99bf686d0857545c8fe60c88ffaacb18861d8761\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:40:15 2022 +0000\n\n r3256\n\ncommit 2e3cd7a8da2ae3c101227b68e876232d8a412816\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:38:26 2022 +0000\n\n r3255\n\ncommit 125702746644096b6a43b5e253ccc931c0ba57e4\nAuthor: Benjamin Pierce \nDate: Mon Apr 25 18:37:09 2022 +0000\n\n r3254\n\ncommit e5874948b00ab96b450f849e3c9b4303bde60839\nAuthor: Yishuai Li \nDate: Mon Apr 25 14:09:27 2022 -0400\n\n VST 2.9\n\ncommit 62bc5ecc23539ce6ffec826ed6696d0ecc0733a1\nAuthor: Benjamin Pierce \nDate: Tue Apr 19 13:25:00 2022 +0000\n\n r3244\n\ncommit 36016b5124d25b15dc6f11a9f1c7d7f47cb21013\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:22:59 2022 +0000\n\n r3242\n\ncommit 3e536d78d3e924cb4b76849b29ea0236b8b6f191\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:20:41 2022 +0000\n\n r3241\n\ncommit cd70e0d63e8a0f0195812f5374b6d63bd44b89eb\nAuthor: Benjamin Pierce \nDate: Mon Apr 18 20:16:12 2022 +0000\n\n r3240\n\ncommit 7a57be3db2aaae1d2a833f14f96ff0cc2959f0dd\nAuthor: Benjamin Pierce \nDate: Mon Apr 11 22:52:59 2022 +0000\n\n r3233\n\ncommit 0403a843dd19f3a7369d3e17b22460cc0f47fc77\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 16:39:46 2022 +0000\n\n r3222\n\ncommit f5965543fb9a01d3b5c213306e623660f978b72c\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 01:40:34 2022 +0000\n\n r3219\n\ncommit b1dfc2075718333cd10a8b7cb1b9af628c463476\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 01:15:19 2022 +0000\n\n r3218\n\ncommit 827f470711d6f7c4af2a1a97bf073383f836a8ff\nAuthor: Benjamin Pierce \nDate: Mon Mar 28 00:03:17 2022 +0000\n\n r3214\n\ncommit 6b3519cc8239f1c737bd48aad5b9b08261ece004\nAuthor: Benjamin Pierce \nDate: Sun Mar 13 21:43:28 2022 +0000\n\n r3204\n\ncommit f0c34fdee1897e56643108e49c68c71faa6d47fd\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 20:03:24 2022 +0000\n\n r3201\n\ncommit 4fe49f5a41e4f1c842ae6a999246697c6e8cd8db\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 18:58:00 2022 +0000\n\n r3200\n\ncommit edd943a4f220d4633bf39d5f8c2105842ee8d911\nAuthor: Benjamin Pierce \nDate: Wed Mar 9 18:57:34 2022 +0000\n\n r3199\n\ncommit 78f98941d593d2036c520be62b84cc55c517c25f\nAuthor: Benjamin Pierce \nDate: Tue Mar 8 01:39:56 2022 +0000\n\n r3195\n\ncommit 970b8f8d8501df4f01f1c210edabb2034d623331\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 20:59:10 2022 +0000\n\n r3184\n\ncommit 06fd93c5126f9f7c9566309f501ccc6385bf8c34\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:56:22 2022 +0000\n\n r3180\n\ncommit 216d07414982907c6de2368431fa3c7d18704495\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:55:13 2022 +0000\n\n r3178\n\ncommit 25b095897eb35c2e2949beb1da0d36ac510ccc2a\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:54:32 2022 +0000\n\n r3179\n\ncommit f75c3bc5e766c51a182cf396ddc0696abd3f1da6\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:54:08 2022 +0000\n\n r3177\n\ncommit 911187fc15e4bdadf0a1cb5b6824ad8e11f0358d\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:53:14 2022 +0000\n\n r3174\n\ncommit 2908c889431edafed67dfc95d8bfc88bc0959a47\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:52:00 2022 +0000\n\n r3176\n\ncommit 5ab3f05d8693cb6f1d7ea259f6bab7cd6843d2b5\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:51:41 2022 +0000\n\n r3175\n\ncommit 2fb081b6a1ff1197a45c230ab1cbd37d6aeb8b74\nAuthor: Benjamin Pierce \nDate: Fri Feb 25 13:51:08 2022 +0000\n\n r3173\n\ncommit 07f186b81577ab4ffb00d414475dc7eccd8f58fe\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:48:26 2022 +0000\n\n r3143\n\ncommit 5c593138e4334a8dbad869ef1e9363d8f0f1fa70\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:48:05 2022 +0000\n\n r3144\n\ncommit 110ce34f2b66186ea3d66fecb4f02fba077f57ae\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:46:59 2022 +0000\n\n r3142\n\ncommit 9c849dd0585a6002eae7d86e3f42b140df1861b9\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:45:59 2022 +0000\n\n r3141\n\ncommit 6568572335b68f26baf33319663969708f9dfb73\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:45:30 2022 +0000\n\n r3140\n\ncommit 46389c842a338039aa6222226b4a353f62cdd949\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:41:15 2022 +0000\n\n r3138\n\ncommit 2acd2743ae67d90b5e7636d4c56f66964f94fb75\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:35:35 2022 +0000\n\n r3136\n\ncommit 09f7c3c51a65391b70a95dd884c2f88333b1b1b0\nAuthor: Benjamin Pierce \nDate: Wed Feb 16 01:34:10 2022 +0000\n\n r3135\n\ncommit 8bebd43abee26ef5494455304a5c69902cdd121e\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:44:31 2022 +0000\n\n r3131\n\ncommit 65cd68baf24cf7b5b3bae164def0afb98ed83cea\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:43:16 2022 +0000\n\n r3130\n\ncommit 3a6cccbc76df32b5bc9485b6e2ff726b20889134\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:40:43 2022 +0000\n\n r3129\n\ncommit 38c4b38053206a8ac4c9ec5677a830f3f619f6fc\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:40:16 2022 +0000\n\n r3127\n\ncommit 1e2b2a6e84c2bb85af7fcf24bab5faa13d5dc6e4\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:38:30 2022 +0000\n\n r3126\n\ncommit 444ee7f00b0afd8d9409916cf0c6e1f7c92aa6f0\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 14:37:14 2022 +0000\n\n r3125\n\ncommit cd64171e6b5c336a7ce35d2b5ce5d18a641c4c36\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:33:00 2022 +0000\n\n r3123\n\ncommit 103c20e2406db0f43dabbfdd1112ae343d60318e\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:32:40 2022 +0000\n\n r3124\n\ncommit 4b944c6fbb7eb49c9e1f96f58fd97ac4d1fc2cc2\nAuthor: Benjamin Pierce \nDate: Tue Feb 15 02:31:50 2022 +0000\n\n r3122\n\ncommit 44bd03186cd4d8d99dc1f0cc429bba640f19f8df\nAuthor: Benjamin Pierce \nDate: Tue Feb 8 19:56:32 2022 +0000\n\n r3105\n\ncommit c1a9fe63f7095d91ca0f61606cda924f97638f62\nAuthor: Benjamin Pierce \nDate: Fri Feb 4 18:33:46 2022 +0000\n\n r3074\n\ncommit 754b25a32d007d5ffabd1fd28afaac819a673d25\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:48:46 2022 +0000\n\n r3069\n\ncommit ba942b73611ba5d9780dae5c5247eb5b51819b6c\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:43:25 2022 +0000\n\n r3066\n\ncommit 517efcf7cbcfff50915d8e6ba1461ed89737cbc1\nAuthor: Benjamin Pierce \nDate: Sun Jan 30 18:37:44 2022 +0000\n\n r3065\n\ncommit 7c4233d68c7400940f6ba70c857ce81ac1585d41\nAuthor: Benjamin Pierce \nDate: Sat Jan 29 23:34:45 2022 +0000\n\n r3060\n\ncommit bdbb2aaad76191e0835ae4e284c85fdfaeca79de\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:38:17 2022 +0000\n\n r3055\n\ncommit 1a85a80554af35657ef3bc9bd1bf7c48ac488ffd\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:28:02 2022 +0000\n\n r3054\n\ncommit 2bf49484bc4c50f70d01043013d498be16c044cc\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:25:28 2022 +0000\n\n r3053\n\ncommit 3162cf89e7f5f278727e865f8656552bd59369a5\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:11:23 2022 +0000\n\n r3050\n\ncommit 88c8983df7e9107e59bc5901f5db8d0b9198e325\nAuthor: Benjamin Pierce \nDate: Fri Jan 28 19:09:42 2022 +0000\n\n r3048\n\ncommit bebff2d025d7284ba7806b0a02bc334e14c78bd8\nAuthor: Benjamin Pierce \nDate: Wed Jan 12 18:19:03 2022 +0000\n\n r3036\n\ncommit 4f0db23739d2c4a871f242e2be43ed94f62dba02\nAuthor: Benjamin Pierce \nDate: Thu Jan 6 14:06:56 2022 +0000\n\n r3022\n\ncommit 22ca7ced6c276e04b670de46ef9589f03bd01332\nAuthor: Benjamin Pierce \nDate: Thu Dec 23 20:02:46 2021 +0000\n\n r3018\n\ncommit 4a63faeb74a2bd25919ff500295c3eef01710cc0\nAuthor: Benjamin Pierce \nDate: Mon Dec 20 19:18:54 2021 +0000\n\n r3012\n\ncommit 4a1d1af96740e5ffd01690d8340a7542f84f27bc\nAuthor: Lef Ioannidis \nDate: Tue Dec 7 21:48:13 2021 +0000\n\n r2990\n\ncommit ea550b7c4079bf8609d2aa7d5ca2465e8fda529c\nAuthor: Xia Li-yao \nDate: Mon Nov 29 23:56:03 2021 +0000\n\n r2985\n\ncommit d8c930a462384e07c954f170951fc766536b5935\nAuthor: Benjamin Pierce \nDate: Thu Nov 25 18:04:32 2021 +0000\n\n r2981\n\ncommit d5fd1887ae7b23edea8f98cdf0b8c2db0ba874df\nAuthor: Yishuai Li \nDate: Tue Nov 9 20:06:03 2021 +0000\n\n r2954\n\ncommit d61c4206db4099497725b9d8d32228844d98ceaa\nAuthor: Gaëtan Gilbert \nDate: Tue Nov 9 17:52:04 2021 +0000\n\n r2951\n\ncommit 84060de4a7583c54fd54b263ae867beee2d475ea\nAuthor: Xia Li-yao \nDate: Thu Oct 21 12:47:41 2021 +0000\n\n r2889\n\ncommit 0b8c36206c1446b3f6f7473a86846d3b28b3de58\nAuthor: Benjamin Pierce \nDate: Tue Oct 12 18:51:56 2021 +0000\n\n r2874\n\ncommit 651369cb98605f8b5872b9616c95b16ef1eb8ae1\nAuthor: Lef Ioannidis \nDate: Wed Oct 6 01:05:16 2021 +0000\n\n r2857\n\ncommit 31fd8abb0bf1e1da48a05195573e1c3e87c0e217\nAuthor: Lef Ioannidis \nDate: Fri Sep 24 19:02:04 2021 +0000\n\n r2822\n\ncommit 478eddc81d40633d525cc97f99edd9893fcefbef\nAuthor: Lef Ioannidis \nDate: Wed Sep 22 01:10:24 2021 +0000\n\n r2818\n\ncommit e2b007f657406341c89d1cbc781f996f7e0c0955\nAuthor: Benjamin Pierce \nDate: Tue Sep 21 22:56:04 2021 +0000\n\n r2816\n\ncommit adcf10fb86c48e9ebaaeae472c5e7994555b47d6\nAuthor: winestone \nDate: Mon Sep 13 23:01:32 2021 +0000\n\n r2784\n\ncommit a4fad379bae69ea168c8ac844014dcbe7d0c3aed\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 21:43:47 2021 +0000\n\n r2782\n\ncommit 71751c8376f132e471a36fdf707cf0e2a818794f\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 21:18:59 2021 +0000\n\n r2781\n\ncommit fd2697f6f8c7ff990430e11e7a63d549319dae9e\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 20:42:48 2021 +0000\n\n r2780\n\ncommit e1bd323b16f830e47e48231dfc4291b11a85b890\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 20:06:48 2021 +0000\n\n r2777\n\ncommit 94d984b08fc043b40dc8cb28825f2a4247f7291c\nAuthor: Benjamin Pierce \nDate: Mon Sep 13 12:24:14 2021 +0000\n\n r2769\n\ncommit 88d699c4312591e5db85f6d6bcad6843607bbbf4\nAuthor: Benjamin Pierce \nDate: Wed Sep 8 00:33:10 2021 +0000\n\n r2753\n\ncommit 543bcc618af78471b93c01171d50b635b5f3169d\nAuthor: Benjamin Pierce \nDate: Wed Sep 8 00:00:32 2021 +0000\n\n r2748\n\ncommit 82fb1f80841dac11111396c9bdf1a1d69b47894c\nAuthor: Bas Spitters \nDate: Mon Sep 6 14:28:51 2021 +0000\n\n r2741\n\ncommit 48c12ffaac6891f3fd5760139f07a38d739e43a2\nAuthor: Benjamin Pierce \nDate: Sun Sep 5 18:07:06 2021 +0000\n\n r2738\n\ncommit c867057296c6bb5ce7a8aca1a47cf3de47633542\nAuthor: Benjamin Pierce \nDate: Sun Sep 5 17:51:05 2021 +0000\n\n r2737\n\ncommit 33b66a60b188754dc12f0d790155c1e329adf114\nAuthor: Shachar Itzhaky \nDate: Sun Sep 5 17:33:38 2021 +0000\n\n r2736\n\ncommit cd1d001f32dda60001bc72fc1ba5a7bac62438b7\nAuthor: winestone \nDate: Mon Aug 30 20:23:24 2021 +0000\n\n r2718\n\ncommit 5086de125806aaee0d88893511db3df5db424ba0\nAuthor: Benjamin Pierce \nDate: Mon Aug 30 20:02:37 2021 +0000\n\n r2717\n\ncommit 18006dab9a77860ef1be550cc5d2f3caf9cf822d\nAuthor: Benjamin Pierce \nDate: Mon Aug 30 19:42:04 2021 +0000\n\n r2716\n\ncommit 73e0ee1d1f5993b8a25899150f204c0a02a6aa52\nAuthor: Arthur Charguéraud \nDate: Tue Aug 3 21:19:57 2021 +0000\n\n r2675\n\ncommit 6834bc69eb059df8e771fbc17afc625abe8ce630\nAuthor: Shachar Itzhaky \nDate: Mon Aug 2 22:42:47 2021 +0000\n\n r2673\n\ncommit cff7ed7680d1242cfddfba79a408950a115174b3\nAuthor: Arthur Charguéraud \nDate: Mon Aug 2 22:19:00 2021 +0000\n\n r2672\n\ncommit c967dc6904a92fc002ed122e97b133399e7f6a19\nAuthor: wldhx \nDate: Mon Jun 14 15:10:53 2021 +0000\n\n build(ci): Build and push Docker containers\n\ncommit 751774d3e4a510359808de6861f5699f5f40b9b9\nAuthor: Arthur Charguéraud \nDate: Tue Jun 29 23:07:20 2021 +0000\n\n r2659\n\ncommit ea91477b7c34ebb2a174cfc1228a65ce8ff8738c\nAuthor: Benjamin Pierce \nDate: Tue Jun 29 22:39:47 2021 +0000\n\n r2658\n\ncommit 4d0f3aefb093949f63975cdf6d70a8b6132639fb\nAuthor: Benjamin Pierce \nDate: Tue Jun 29 22:14:10 2021 +0000\n\n r2657\n\ncommit 41c4ddd76dbde6a7aede634d7b003a64b5b11e98\nAuthor: Yishuai Li \nDate: Thu May 20 18:42:25 2021 -0400\n\n VST 2.8\n\ncommit 911c0ff894e968d73976f959c114a37661aab9ab\nAuthor: Benjamin Pierce \nDate: Wed May 26 15:45:13 2021 +0000\n\n r2617\n\ncommit f1f50d98387c2aac652e9a474301dadc0e307bc3\nAuthor: Benjamin Pierce \nDate: Wed May 26 14:16:32 2021 +0000\n\n r2614\n\ncommit 434a85e1286fea88c1872ed16209ff97cf77fc36\nAuthor: Benjamin Pierce \nDate: Mon May 24 19:00:15 2021 +0000\n\n r2603\n\ncommit 88e90e83a77f08ac61438c7796ce63944f8b5030\nAuthor: Shachar Itzhaky \nDate: Tue May 18 18:23:46 2021 +0000\n\n r2567\n\ncommit 46a8197a9c2275639038744c087b2d75cd49123a\nAuthor: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>\nDate: Wed May 12 01:34:41 2021 +0000\n\n r2546\n\ncommit 37b59ccf84bc972b8a5ddba697901848c43b1d63\nAuthor: Benjamin Pierce \nDate: Fri May 7 15:43:28 2021 +0000\n\n r2518\n\ncommit 06b187ca27291e46fc702e7f89afeba40b701ca6\nAuthor: Benjamin Pierce \nDate: Fri May 7 14:51:32 2021 +0000\n\n r2515\n\ncommit 65171288f5f55b83732ad70ee6b5430f0b77c978\nAuthor: Yishuai Li \nDate: Tue May 4 15:58:57 2021 -0400\n\n ignore .report\n\ncommit c357b0a9f1442071022dbc4dd7d615440b32e004\nAuthor: Yishuai Li \nDate: Tue May 4 19:31:06 2021 +0000\n\n r2500\n\ncommit a290b9b6892a0ed86a18a7e2bf685d73056f7361\nAuthor: Yishuai Li \nDate: Tue May 4 12:23:53 2021 -0400\n\n VST 2.7\n\ncommit d8401ccac0ddd10c611479352b4da53cdb8aa570\nAuthor: Yishuai Li \nDate: Thu Apr 1 20:39:00 2021 -0400\n\n CompCert 3.8 incompatible with Menhir dev\n\ncommit 3fb302e781ce6944cc3cd6fcf8bbb02774d7fbcc\nAuthor: Yishuai Li \nDate: Thu Apr 1 19:50:51 2021 -0400\n\n omega -> lia\n\ncommit 520e04679b9a7e5868b42608d6f47c8f720be80c\nAuthor: Yishuai Li \nDate: Mon Dec 28 01:10:03 2020 -0500\n\n Coq 8.13\n\ncommit cced6f0df38b97fdd45111681410877fee429c4a\nAuthor: Benjamin Pierce \nDate: Thu Nov 5 12:53:46 2020 +0000\n\n r2252\n\ncommit b0779795fd3a5c90f951153f579a99378f1cfb83\nAuthor: Benjamin Pierce \nDate: Tue Nov 3 12:45:39 2020 +0000\n\n r2247\n\ncommit 34fa16def8e355db9130a513b6343266fa048195\nAuthor: Yishuai Li \nDate: Fri Oct 16 22:18:20 2020 -0400\n\n Specify CompCert version in Docker\n\ncommit 3794913195a9eab94ab7a3bf3072e758391bed70\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 17:01:58 2020 +0000\n\n r2226\n\ncommit dfe6badff27138078434dc8f03a8832e1a9d49f3\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 16:31:33 2020 +0000\n\n r2225\n\ncommit 1768cf9359b6f7202ea5580db5d57db9c311d8a8\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 16:10:44 2020 +0000\n\n r2224\n\ncommit 34c3c6ea93f3c97fca1864c2339de7104383e4b7\nAuthor: Benjamin Pierce \nDate: Wed Oct 21 15:49:42 2020 +0000\n\n r2222\n\ncommit beede207de8f42e341cfaace438807f9e68e1a30\nAuthor: Benjamin Pierce \nDate: Fri Oct 16 15:14:04 2020 +0000\n\n r2209\n\ncommit bc5baeeb3ee5af9925889aa976d60500eef5c98f\nAuthor: Andrew Appel \nDate: Fri Sep 25 13:48:13 2020 +0000\n\n r2169\n\ncommit e001bdd9f6212853ac69441cea788cfceb923f50\nAuthor: Benjamin Pierce \nDate: Fri Sep 18 15:12:42 2020 +0000\n\n r2131\n\ncommit cb9ed7c993b756dd80e0c8e67be34de2d99ec737\nAuthor: Benjamin Pierce \nDate: Thu Sep 10 14:25:59 2020 +0000\n\n r2119\n\ncommit 142299720c0e990d35b474b95efe84307ef1df09\nAuthor: Benjamin Pierce \nDate: Wed Sep 9 01:41:43 2020 +0000\n\n r2114\n\ncommit db29b6516142e313c34318b8c0c248a488a114b2\nAuthor: Yishuai Li \nDate: Tue Sep 1 14:13:09 2020 -0400\n\n Build Verified C\n\ncommit 4fd89d7b978fd14470493cc0a39a42393cf5847a\nAuthor: Yishuai Li \nDate: Tue Sep 1 19:06:03 2020 +0000\n\n r2094\n\ncommit 96e7125bf247dd837ed7edc874ec6d71fbc575aa\nAuthor: Benjamin Pierce \nDate: Tue Sep 1 16:07:59 2020 +0000\n\n r2088\n\ncommit b91c647691601f5811cf3b87b5deb532d15b07c5\nAuthor: Benjamin Pierce \nDate: Tue Sep 1 14:38:36 2020 +0000\n\n r2087\n\ncommit d1e4d21620be75c3c52d18f8883803ae685be904\nAuthor: Benjamin Pierce \nDate: Mon Aug 31 21:01:01 2020 +0000\n\n r2086\n\ncommit bab34b959ae08492b06953595461ec019ff40266\nAuthor: Benjamin Pierce \nDate: Sun Aug 30 11:25:53 2020 +0000\n\n r2083\n\ncommit 52ed40a02519ed0053d375179ec96866d512acbc\nAuthor: Benjamin Pierce \nDate: Fri Aug 28 20:10:07 2020 +0000\n\n r2078\n\ncommit 76f1bb9a7604a6216093f203c0b06bb559e2aba1\nAuthor: Benjamin Pierce \nDate: Mon Aug 24 19:59:48 2020 +0000\n\n r2067\n\ncommit d2b2648cee2bdb5fcf3b504efe21302381d99f7e\nAuthor: Yishuai Li \nDate: Sat Aug 8 00:48:11 2020 +0000\n\n r2009\n\ncommit 23061ac4c0f4110948fba7902a794d0e707294c9\nAuthor: Benjamin Pierce \nDate: Fri Aug 7 18:01:03 2020 +0000\n\n r2007\n\ncommit a6960160e7a58a8ddac5396f495f1007c32cc24d\nAuthor: Yishuai Li \nDate: Fri Aug 7 12:03:37 2020 -0400\n\n Docker for dependencies\n\ncommit ce2f058e96eb373a5da6f8246582084e50ff1708\nAuthor: Andrew Appel \nDate: Sat Aug 1 17:47:12 2020 +0000\n\n r1936\n\ncommit b3467d796ff188434be88e0b806de55743c10fb5\nAuthor: Yishuai Li \nDate: Sat Jul 25 00:22:14 2020 +0000\n\n r1880\n\ncommit 230e3b756d339d1de1654781a5fad60d46f1b93c\nAuthor: Benjamin \nDate: Fri Jul 24 23:20:20 2020 +0000\n\n r1876\n\ncommit 83f1f7518f4a8006d3e4e05982950c8cd57cdc62\nAuthor: Benjamin \nDate: Fri Jul 24 23:08:47 2020 +0000\n\n r1875\n\ncommit 54a5d3bf4048c14291e294457484a3fdcc0f8291\nAuthor: Benjamin \nDate: Wed Jul 22 22:46:21 2020 +0000\n\n r1847\n\ncommit 59735d2c55867bf349db0a724d8afb5c2e3d6a84\nAuthor: Yishuai \nDate: Tue Jul 21 19:39:07 2020 +0000\n\n r1837\n\ncommit 9247de19e952a27eb4a843eab54a7ed228f7ba71\nAuthor: Yishuai Li \nDate: Wed Jun 3 20:31:43 2020 -0400\n\n CircleCI\n\ncommit 746c94e7e3ee1eb0d19b98af6f00956936dd8a08\nAuthor: Benjamin \nDate: Sun Jul 19 03:57:25 2020 +0000\n\n r1805\n\ncommit f6effdd25de976b90727fb44f41a7fa683ca82fe\nAuthor: Andrew \nDate: Thu Jul 16 16:36:57 2020 +0000\n\n r1793\n\ncommit 777b3aecca922fcf0b5b7204d69cb0a440906d2e\nAuthor: Andrew \nDate: Thu Jul 16 15:52:43 2020 +0000\n\n r1791\n\ncommit 347596d0086d805be8c9586bd932da833eaa51d4\nAuthor: Andrew \nDate: Wed Jun 17 15:13:37 2020 +0000\n\n r1748\n\ncommit 089e636197743276fa15121e144bd5ce8fe26277\nAuthor: Andrew \nDate: Thu Jun 11 15:55:00 2020 +0000\n\n r1740\n\ncommit 6c143d3503082821dc411609660d269166a8cf81\nAuthor: Benjamin \nDate: Thu Jun 11 14:37:37 2020 +0000\n\n r1738\n\ncommit fa8713b1f4212b03e4fed39bad6a83889b8bea42\nAuthor: Andrew \nDate: Tue Jun 9 15:49:40 2020 +0000\n\n r1729\n\ncommit 0d2855680dba3090b82e6a33cdb4d3c119fba61c\nAuthor: Benjamin \nDate: Sat Jun 6 17:41:14 2020 +0000\n\n r1706\n\ncommit 82e4f7e3db24f9f6ef7cba691b780d0c147d953a\nAuthor: Benjamin \nDate: Wed Jun 3 12:18:29 2020 +0000\n\n r1696\n\ncommit b1fe59e46b5713371d4bbb9ebab44b5317d806d7\nAuthor: Benjamin \nDate: Wed Jun 3 12:10:06 2020 +0000\n\n r1695\n\ncommit ae4e44f7dfd93a2bf56c1c776081969caac83c07\nAuthor: Andrew \nDate: Thu May 28 12:52:45 2020 +0000\n\n r1674\n\ncommit d41a56ee075259f271ae5288f7860b340cabc3a1\nAuthor: Yishuai Li \nDate: Wed May 13 17:30:01 2020 -0400\n\n r1663\n\ncommit 5152147f2c46553178873ba13109aee166e64cf1\nAuthor: Benjamin Pierce \nDate: Wed May 13 16:16:28 2020 -0400\n\n Update README.md\n\ncommit d598c3f687295995116ae9d28b3d465dd59081dd\nAuthor: Benjamin Pierce \nDate: Wed May 13 16:15:47 2020 -0400\n\n Update README.md","shortMessageHtmlLink":"Squashed commit of the following:"}},{"before":"b2171882b0d07931d129d439358e5abb358acc85","after":"50c9dd41ea53fd52525530069e7a851c107db297","ref":"refs/heads/master","pushedAt":"2023-10-27T14:12:54.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3827","shortMessageHtmlLink":"r3827"}},{"before":"6c3a9a22e5a064350f11e9827144562b23194b63","after":"b2171882b0d07931d129d439358e5abb358acc85","ref":"refs/heads/master","pushedAt":"2023-10-23T10:26:37.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3809","shortMessageHtmlLink":"r3809"}},{"before":"e8219a797a24cd40f1e101ce3b5ddf3b96225efe","after":"6c3a9a22e5a064350f11e9827144562b23194b63","ref":"refs/heads/master","pushedAt":"2023-10-18T23:14:36.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3788","shortMessageHtmlLink":"r3788"}},{"before":"ab0255116b0307c7d0007fb981cef2de0b0abfb2","after":"e8219a797a24cd40f1e101ce3b5ddf3b96225efe","ref":"refs/heads/master","pushedAt":"2023-10-18T23:14:22.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3787","shortMessageHtmlLink":"r3787"}},{"before":"181eef5d50031a70684521c0214c045ed608e9fa","after":"ab0255116b0307c7d0007fb981cef2de0b0abfb2","ref":"refs/heads/master","pushedAt":"2023-10-18T23:07:43.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"liyishuai","name":"Yishuai Li","path":"/liyishuai","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/7020805?s=80&v=4"},"commit":{"message":"r3785","shortMessageHtmlLink":"r3785"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"startCursor":"Y3Vyc29yOnYyOpK7MjAyNC0wOC0zMFQxNDozMjoxNy4wMDAwMDBazwAAAASowm4z","endCursor":"Y3Vyc29yOnYyOpK7MjAyMy0xMC0xOFQyMzowNzo0My4wMDAwMDBazwAAAAOacYKT"}},"title":"Activity · DeepSpec/sf"}