https://github.com/mit-plv/fiat-crypto
Branch name Release name Target Message Date
refs/tags/popl-2023-cryptopt-initial-submission popl-2023-cryptopt-initial-submission 1853724 Tag for initial POPL 2023 submission for CryptOpt -----BEGIN PGP SIGNATURE----- iQIzBAABCgAdFiEEgyCqGyZFTdlbxUd7T+mFvKn9ZdkFAmLGPdEACgkQT+mFvKn9 Zdk3Fw/+LjkuL3LX+TgdEC2M4gPF+xQoXGYtDBE03vU4kz6M7/MSNh42Qb/eduw+ T4Pb61/ynjJUGfn9llXRBBwnV4qBII/up+wu9Oy6/lnqKl3uzMers81bEdfqsIva 8BZ+QG/rwM6kESXzjyD7zxgc6DOFEm6DKeLlV4vzLDbfYblfaUeqYAqaGVv88uWJ Fnv2a8HhY8Lwd6gCS83BL3+APHkpUeGtF0JLtjYLAuSrRB9b6vU4JX5XuU61BWCW e/oD+xcTEH0Jm9ozxXyJv5LC9S1WBNjWOXzqZBHV2Q0vH5YKC9OjSt9rBvBQoxu8 qMEr5eVqS8yYjuStD158aaFSba5QKfvNWY1PrqfRuZhGAvEU0dt2dbcZGH41cX24 CuWNifNoREsTJCIl4beh1n7siXdHg3caXF2Mcp5rZhWI+GOnJS86bche/ZlJvWB/ i87lNv/BWlpMtH+aukgOTmI6wbl0rjWrTKoSSVs8Ebp+u+L/JQ+n8xLlRcFOuaWj l1VfCp+UaVDtzWIUZlORXqx0bR6TG5GFERVkaatEbTvSo04EZVSyPND71LBAA1ED ljFCFrrVQLYIB9XH4/OA2Uv0qD19PMLQuFh6LokNsm36dMQi1B7v9EO3MI+FezUB Hqh7O4Nn+E4QG10fEFl8eDRvnvXf6APhYSXxMxmioIq14UCd8pI= =IFV4 -----END PGP SIGNATURE----- 07 July 2022, 01:58:10 UTC
refs/tags/pldi-2017-initial-submission pldi-2017-initial-submission 31d577c Commit that was packaged for the PLDI 2017 initial submission -----BEGIN PGP SIGNATURE----- Version: GnuPG v1 iQIcBAABAgAGBQJYLMmgAAoJEF40d+rGnatij0wQAKnnUbz7YKnSzM3E2S/ffk+u XebloPkxHiBkqOlXrTRkgHeyEhMSiKKdRQtzykeRVfvlw41GVtudjcYsoR/rUu0M 41ArqKxWSt5ktkHKG1sKlTIo74QWBABpYjHUIVxD6POVrynYbI6XZ788UFO/wdzq iGt+JXfLdOjxrmC8PjsxZovWR1UXE/BlBQ5+hYc6LlUMCtr47745IrblC0Y9/d6q au7igBDE83Dia6Ssl1cqkQbfRftRfkaS4bXqmOMI4ys5ihVoMKlmi0tAW6Z/XucR 7EKFqgQZg9yDf7zbdjRl0fDfqpX4ltKu0xZSkkcfCPhXvNTwgpIa7v0nXlSKkYoo KgfdTcFulMEZwEwV+jT0aBbFoXmRktTh0iIqXlaulXEXVh1zCD3f8cp9qCJdhqo/ UdE3HTpOmVV2Av5+sULzJyp5jN9W+oI+TnU/jlFPfbn8VlWnIZPA2Azn+fqW3dMx WUXiwNnhVVPK25Tz1io5bG8hpoBY4hsJlp8Cnr1HqeZJydQmpHVxdUW/KQjVWi6j 2V/k9MLZTsWzryny5cNGOiYVc+cNYJG+uTIRppmLSG3fjGA7fUrs3uermeCNjILW gv7UP6JlHSxkA0WLxrTTtn5KdXwT5DILxsPrSZe35GsETwUVfPSdhYqgpE1M2DH5 w6Bv60EmqogZJ0vkVEp0 =HCfp -----END PGP SIGNATURE----- 16 November 2016, 21:03:11 UTC
back to top