coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Frank Schwidom <schwidom AT gmx.net>
- To: coq-club <coq-club AT inria.fr>
- Subject: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?"
- Date: Sun, 6 Aug 2023 13:11:38 +0200
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=schwidom AT gmx.net; spf=Pass smtp.mailfrom=schwidom AT gmx.net; spf=None smtp.helo=postmaster AT mout.gmx.net
- Ironport-data: A9a23:N4rsR66moqsVwUT2MAp5/wxRtEbDchMFZxGqfqrLsTDasY5as4F+v mpLW26BbquMN2rwe9knbYuzoRkAuMLRz95mSFFrqXg2Zn8b8sCt6faxfh6hZXvKRiHgZBs6t JtGMoGowOQcFCK0SsKFa+C5xZVE/fjUAOC6UoYoAwgpLSd8UiAtlBl/rOAwh49skLCRDhiE0 T/Ii5S31GSNhXgsawr414rZ8Ek05KSq5mtB1rADTakjUGH2xyF94K03fvnZw0vQGuF8AuO8T uDf+7C1lkuxE8AFV7tJOp6iGqE7aua60Tqm0hK6aID+6vR2nRHe545gXBYqhei7vB3S9zx54 I0lWZVd0m7FNIWU8AgWe0Ew/y2TocSqUVIISJSymZX78qHIT5fj69hELUZmL6Eexrs0WkR39 KIhBC89cB/W0opawJrjIgVtrsEkMdWtM4YP/Hdt0Vk1D958GMqFGf+Vo4YHmm1q7ixNNa62i 84xcjFvcxXMZBhnNVIHTpQzgI9Eg1GhKGUG9Q/K9MLb5UDo6Ats0rrUFeCPIOyLFPd2tQGHu nPJqjGR7hYybYHDl2PcrBpAnNTnliTiHYkWCbeQ7e9vmFTVx2oJCRRQW0HTnBWioku5Rs4ZJ EkEvCwjscDe6XBHUPHQdTy/8GyouCJBGIF1Kuxk0S2S+rTbtlPx6nc/chZNb9kvtckTTDMs1 0OUk96BOQGDoIF5WlrBp+/M9mja1Tw9fTNYOnNsoR4tuYG7yLzfmC4jWf5PPcZZZPXWECv02 CqXrCVWa1470pBSjPrTEbzvqTugq56McRMv+hnaW2io9AwRWWJIT4mv9ESd4vNQaoCUUjFtX UToeeDPt4ji7rnXzERhpdnh+pn3v55p1xWC2DZS82EJrWjFxpJaVdk4DMtCDEloKN0YXjTif VXevwhcjLcKYirzN/EvOdnsVph1pUQFKTgDfq+KBjapSschHDJrAAk1OSZ8IkiwzhNwzPxX1 WmzK5r3USty5VtbIMqeHrpBj+ZymEjSNEuKC8mzzhK73KCYaWLdQLhtDbd9RrBR0U9wmy2Mq 4w3H5LSlX13CbSiCgGJq9J7BQ5RdxATW8upw/G7g8bYf2KK7kl6V6SOqV7gEqQ595loehDgp SviAxcGkgWg3BUq62yiMxheVV8mZr4nxVpTAMDmFQ/AN6ELMdv/vpQMPYA6Z6cm/+FFxPt5B atNMcaZD/gFDnyN9z0BZNOv5MZvZTa6tzKoZiCFWTkYe4I/Zgrr/tS/QBDj2hNTBQWKtOw/g Yaa6CXlfbQ5ST9PNv3mMMCU8wvpvFw2uv5DYE/TE9wCJGTu6NdLLgLyvN8WIuYNCxPJ9jSH3 QOoWTYZuuj/jIsn+/bZha2/jtmIEskvOmF4DmXk/bKNGi2CxVWawKhES/euQTDRcEjW6ZeST 7xZ4N+kOcJWgWsQlZR3Foha6J4X5vztlud89RtlFnCaVGabIOpsDVfe1PYeq5AX4KFSvDa3f Ue9+tN6H7GtE+G9GX4zIDsVVMiy5cs2qBLzs8tseF7b4RVp9oWpSU9RZhmAqBJMJYtPbb8K/ 70Th9402See1Dwaas2LnwJFxVSqd3YgaZgqhrseIY3sizco9G18XIzhOnf2zq2iO9RoGWs2E wCQn5vH1uh9xFKdUn8dFkrt/Ot6hLYSskt0lHsHK0iEsYfYtM8O3Tl60zc+fiJKxDppjsNxP WlKMRVuBKOspj1HuulKb1qOKSpgWiKL31PXykQYslHZQ22DdH3/HEdkNcmjpEkmon9hJB5F9 7Sm+UPZeDfNfvCp+BAtWERg+sfRffYo+iLswMmYTtm4Rb8kaj/Yg4irV2oCiz3jJegT3ETnh +1bzNxcWJ3BFxw7gvMEUtGB9LEqVhq7CnRIQqhh8IM3DGjsQmyO9gbUGX+hWPFmBqLswRejB t1MN/B/cU209ByzowAxAY8OJL5Jn8AV2ucSR4OzG0k4t+qwkzk4lrPR6Sn0u0EzSfpMj8sWC 93cZhCCIEOqlFpWnG7/9pAYHm/lZdUvRRbd2dqt+74jDKMzs+BLcGAz3ICrvn6TDhBVwhKMs C7HZI7U1+ZHy7kwr7DzE65GORq4GenzWMuM7gq3ldZENvHLDuvjqCIXrQPBEzlNHL5MRelyq 6uBgOT30GzBorwydWLTwLuFNqtR4PSNTPhlCd32IFZajBm9dpfVuTVbwF+BKLtNjN95zeukT VHhaMKPKPgka+0Ez3hRMyVjAxIRDprsVZjZpAS/kaW8OkBIm0iPZtaq7mTgYmxnZzcFcc+2Q BP9v/G1oMtUtsJQDRsDHOtrGIJ8PESlY6Y9atntrnONOwFEWL9ZVmfKznLMKA0nC0Vo1O7/5 o/ZABf7ZFK0tb2gIBS1dWBtlkV/MZq/qbBYkoEhFxpehDWqSmgLMYzx9L0YX4pMnHWaOI7QP VnwgahLNck5dTtBYVP67ciLssJzwAAREo+RGwHFNH94p8t76E1szVehGupdD69KRwbe
- Ironport-hdrordr: A9a23:A98yq61pERPM+/6vXk7LjAqjBJYkLtp133Aq2lEZdPVwSL39qy nIpoV96faUskd1ZJhEo7u90ca7Lk80maQa3WBzB8bBYOCFghrKEGgK1+KLrlHd8kbFltK1u5 0AT4FDKJnXEUVwi9r87TK1CtA63bC8gduVbKvlvhFQpRoBUdAY0+6VMHfiLqX8KTMtOaYE
- Ironport-phdr: A9a23:0MlSVxLmF6pEKuIbh9mcuPFtWUAX0o4c3iYr45Yqw4hDbr6kt8y7e hCFu7M93BSSAM3y0LFts6LuqafuWGgNs96qkUspV9hybSIDktgchAc6AcSIWgXRJf/uaDEmT owZDAc2t360PlJIF8ngelbcvmO97SIIGhX4KAF5Ovn5FpTdgsip1u2+4Z7ebgZHiDezYb55M Qm7oxjWusQKm4VpN7w/ygHOontGeuRWwX1nKFeOlBvi5cm+4YBu/T1It/0u68BPX6P6f78lT bNDFzQpL3o15MzwuhbdSwaE+2YRXX8XkhpMBAjF8Q36U5LsuSb0quZxxC+XNtDwQLspWzqt8 r1rRQfmhikHKTA37WLZhcNsg61GrxyuqQdyw5LNYIyPKPZyYq3QcNEcSGFcXshRTStBAoakY oUPFeoOJ+BYr4rgrFUTsRS+BQetBOLyxT9Pg3/9wKo30/89HgHG0g0gHs8BsHPRrNjuO6cSV O+0wLPOzTrdc/NbwDHw45XHfR49u/+DR65wcdbPxkk1EQPIlkucp4z5Mj6ayukArnaW4eR9W OygimMrtxx8rDihyMojlIXEiZwZx1LE+yt3zog5O9O1RUxmbNO4Dpddtj+XOo9wT8g/TW9ov yM6xacHuZ69ZCUKzZUnyALFa/yAaIiI5RzjVPqLLThkg3JlfbSyjAux/0i40uDwSNS43EhQo iZbjNXBtGoB2wHR58SdVPdx4F+t1DWL2gzJ9+1JIVo4mbTVJpMj2LI8iIYfvETFEyTrgkv5l rWWeV8h+uWw6+TofLHmppiEOo9xjQH+L7gultawAeQ9PQkCRW6b9vqg1LH7/E35RqtFjuEun 6XHrZzWO94XqrCnDwJXyIov9hSyAy243NgGhXUHKUhKeBODj4jnIVHOJ/X4AO+kg1uwkDdqy fHGMaDmApXINXXDn7LhfLln505a1gUz0chT55RPBb4ZOvL8RlfxtMDEDh8+KwG43v7rCM9h2 YMGRWKPHqiZPbvOvl+P/+IjOvWDZIsIuDnmMPUl/P7vjXohmVAHZ6Wp3J0XaGq5Hvt8OUmZb 2Ds0Z89FjIBuRN7R+j3ghXWWjlKIn22QqgU5zchCYvgA52VFa63h7nU8j2yGJ4eXWtGFVGAF nKgI56PW+gNZCWXCsBkgnoCWKT3GNxp7g2nqAKvk+kvFeHT4CBN7foLtfBw7uzXzlQp8CBsS t+ayyeLRn11mWUBQ3k32rp+qApz0ATLyrB21tpfE9Eb/PZVSkEiL5eJ1Od6FNH+XQfpcdKZD lCrXobuGik/G+o42MRGeENhA5OnhxHH0TCtBuoOnLyUBZAz94rT2mi3IcthmD7dzKd0qV4gT 4NUMHG+wK5y8w+GH4nSj0CQjLqnb4wZ2zPRsmiG3SyIsV0wvBdYd6LDUDhfY0LXqY+8/UbeV /q1DqxhNAJdyMmEI68Ma9vzjFwASu2xcNLZK3m8nWu9H3PqjvuFcZbqdmMB3S7cFFlMkgYd+ myDPBQ/ASHpqnzXDThnH1biK0329uw2pHS+R04yhwaECi8pn6G++gEUifuZY/wWzvQCtTtg4 zR4EVCh3s7HXsKarlkpd6FdbNUhpVZfgDiA7UonZMPmdv8k3ARNFmY/91nj3Bh2FIhaxM0jr XdxiRF3Nbrdy1RZMTWRwZH3PLTTbGj05hGmLaDMiTS8mJ6b/LkC7PMgphDtpgasQwA5+HV40 tVS1lOT44WMCgcOG8GUMA5/511hqrfWbzNorZjf1WJtPa6xmjDHy5QvCfdvmV6wOtxYNq2DD gr7FcYXUtOvJOIdkF+sdhsYPepW+cbYJuuefuCdkO6uNedkx3e9iHhfpZt6ygSK/jZ9TejB2 9AExeuZ102JTWW0gFCku8Hx0YdKAFNaVnG0yTflCIlUTqJ3bcANBHvmL8Csx9p4joLgQDYCr QTlXQlZnpb2P0DIJ1XmlRVdz0EWvWCqlU7ah3Rvnjclo7DelC3CzuL+dQYWb2tCRW1sl1Dpc sC/i9EXWlTtbhB8zkL/oxygmO4C++IldTq2Iw8AZSX9ImB8X7Hls7ODZ5UK85Y0qWBMV/z6Z 1mGS7n7qh9c0iX5HmIYyipoElPi8pj/gRF+j3qQaXhpq3+MM9p7xQje6NvZbfFUznwASTUy2 ly1ThCsesKk+9mZjcKJqeu+SGOtUZh7fiz7i4WNqGHorX0vChq5kfepn9ThGgVvyi732e5hU iDQpQr9aI3mhMHYeap3O1NlD1jm549mC5lzx8Eu0YoI1yFQ1d2FuGAKmmDpPZBH1LLiOTATE CUTzYewgkCt2VU/fCjQnMSgCCjbnJcnP57gOSsXwn5vsJwMUv/EquECw3cy+ATwrBqNM6Ikx HFHk6RosSRExbhT6E13k0D/SvgTBRUKZ3W20U7SsJbn8eMPIzzyObmoiBgkxIrnVuvd5FgDH i6+IMhqHDcsvJojdgiUgDuvrNi1Ip6KM7dx/lWVi0uS37ITccxs0KNX1Gw/fjih9Xw9l7xh1 EMogsv85tDYbT0qpv3xAwYEZG2vIZpNp3e31/cYxZ/zvcjnH409SGVRGsK2ELTyS2pU762vI Q+KFHdURm6zP73ZEEff7U5nqymKCJW3LzSMI2Ffy9x+RR6bLUgZgQYOXTx8kIRrXgatjNfsd kt0/FVzrhbxtwdMx+R0NhL+TnaXpQGmbS0xQYSeKxwe5x9L5kPcO8iTpuxpGCQQ8pqkpQ2LY muVAmYARXkOQVCBDkv/M6OG4N7d766XA/r4KfbSIP2PpeFYS/aU1Mev349hrFPufo2EOnhvC eF+21IWBykjXZ6DxHNWFGpNzXGoDYbTvhq39yxpo9rq9f3qXFmq/o6TE/5JNs0p/RmqgKCFP urWhSBjKD8e2IlfoB2AgLUZwlMWjDljMje3FrFV/zXGTL3RlqhSJxEee2V1OdcCvMdelkFdf NXWjN/4zOsylvkuF1JMTkDsgOmsYtEWZW64JBXBCVrBZ9HkbXXbhsrwZ627U7hZiu5Z4gaxt TisGEjmJj2fljPtWnhH3slDiTHdOhFC6tjVmvNFBm3zCtTrdk/jWDeWpTgx3KFyiXbac2gRL WokG34=
- Ironport-sdr: 64cf8053_hd5teXXnY46wWmkjDJcXmgyJrxj3ARKPiP49pvPl9Sn44aN lvZv+rGlzGGah7CbotSp7a7oShX3hUhhIze3krw==
- Ui-outboundreport: notjunk:1;M01:P0:VQ7AxqL23gI=;gVQe4/Cbt9dGDAC/AuLXfCwLjLY al1fKKxUmQZ2w9VtpviN0TC1ALYu8RibBcO8OpCAu3ZGsD1IJxbswdCuHazgszWOnUKDArgL+ FgqRdOcUBkAdhMhYZAWrePzWfQx4xLMOam1QzBuUSi/va9nXnTAdbNt2gb9ROS7CBUUaRXlBz 5XecQW6Nb3j4aBNRpgukFthL8Vb7s1rgj9CJMowwTDSjPlbUbZg7S7G4q+tyM62r3VE4LIEyn eq4/8olISvQ47J1IpaYWdbM9w/QZqkp9BM4cE/rpPDC+1BCPqkkF50pt9vqqeCxEon7free+V xzscItNzXUn6NwmErR/aBdzLsqySvKsUC2B7ds7JaJdE++mf8bsOWWj4KZip0OvuR+RVGj2mH WTb5dRzYwFt9IMjiN/Rkp3DVC+tFOovNtmNyNMoFitZjPNxILo+cgipRyQo8AhbqPnC7jUUl5 PCTEEMdzrTh+SHfFF4oCsRi9uF/aj5wpmkZuJxIC+b4MGyQSVzmczWok+rwEfRg5/rmfsajF6 ALbat1Nry6gQ5ejJZ9OhwLCmGRXC0EXeLfm/Hf7ddJQYZns9dUlHotcm+NDF/RFnR2hzjn3Wy rp0UCBT8v3AP6pJt0QQB2ONDkSs1lAbXwGahDvG0FirF4uAVXbXeI7HJ+rttIQuzSV8YliGHk cw3nAVh91KqzyVPiw82foJT8FH3TNjsM8duDQt1qN/sg3RW65Kymh8QiIzojHFODwLecT88Yw qV+BjyAXrPBuvKT1e1Xhijdc0UiqmQAJSBSHHgzTx+tKanCzhzY5mll+wvNzVY7HBcZ34H2ll hMHN96SHaH9RdEvlCUrKnHAN3xfqNO25PnB2CgEMJAT/D6w6dVfT3R7ic09jmGBY+Wut754oH 7rVZhgxp/ypDjenpejB+Yi0B2VzanJ5IDiQp/dmH4Q/89OH8YCpJKvkoED66Mv36Uzr1+549n rucZrySpu38ghflcjQXeGWPwxlI=
Hi,
I found this article:
https://www.microsoft.com/en-us/research/publication/coq-worlds-best-macro-assembler/?from=https://research.microsoft.com/en-us/um/people/nick/coqasm.pdf&type=exact
named "Coq: The world’s best macro assembler?". And I read the Publication
https://www.microsoft.com/en-us/research/wp-content/uploads/2016/12/coqasm.pdf
and I am very interested in the source code which I didn't manage to find
anywhere.
My mails to the authors didn't make it to its destination. So my last chance
lies in this mailing list.
Does anybody know how or where I can obtain a copy of this work?
Thanks in Advance,
Frank Schwidom
- [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Frank Schwidom, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", mukesh tiwari, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", mukesh tiwari, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Jason Gross, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Tadeusz Litak, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Adam Chlipala, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Pierre-Evariste Dagand, 08/13/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Tadeusz Litak, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", Jason Gross, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", mukesh tiwari, 08/06/2023
- Re: [Coq-Club] Question to the Article "Coq: The world’s best macro assembler?", mukesh tiwari, 08/06/2023
Archive powered by MHonArc 2.6.19+.