Merge pull request #461 from herbie-fp/update-docs

Update documentation for release

Author: bksaiki

infra/diagrams/.gitignore

@@ -0,0 +1 @@
+*.png

infra/diagrams/1.5/herbie-system.drawio

@@ -0,0 +1 @@
+<mxfile host="Electron" modified="2022-05-23T20:11:07.584Z" agent="5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/18.0.6 Chrome/100.0.4896.143 Electron/18.2.3 Safari/537.36" etag="FttMo2tG1ugIgM2fdEyi" version="18.0.6" type="device"><diagram id="PBjobV1qK8d18Rz6RHWu" name="Page-1">7V1Zk5u4Gv01XZV5MMUisTymlyz3JreS9OROkpcpbMtuJhg8gNP2/PqRQAJt3gHTXd2VqhgBAh+db9Un+cq5WazfZuHy4WM6RfGVbU7XV87tlW1bwDbxf6RlU7V4ll01zLNoSi9qGu6jfxBtpPfNV9EU5cKFRZrGRbQUGydpkqBJIbSFWZY+ipfN0lh86jKcI6XhfhLGausf0bR4oK2WaTYn3qFo/kAf7UN6YhGyi2lD/hBO00euybm7cm6yNC2qT4v1DYoJeAyX6r43W87WL5ahpDjkhm/5z+jH7fJv387/caP1w+T9/1+PHLfq5lcYr+g3pm9bbBgEWbpKpoj0Yl05148PUYHul+GEnH3Eg47bHopFTE/nRZb+RDdpnGbl3Y4VmOYb/E7XsyiOufY35R9uV78H/Wq/UFagNddEv9dblC5QkW3wJfSsHVCMGclMWB0/NkPm+PSaB2606mEMKU3mdd8NkvgDBVMPrDv69uPd15l3E73P8+9m9vP7fTaCoGVgZ2lSUPGwgA5o07wB5ZkWAPU9AwqIWoGKaGBrEAVuC4jqqWppEHXjgmCxDBMBWvfvFRGr60kFz2t8MpuPw1f43fA//HxT++k38pEAaBK0R7NwEcWb6vZFmqR5OTjCJXk5IuQCc7lunos/zav/oawbIf7KpLUU/PqIQQBLEHDLLflMXgySrwkxcvuutepr2dif1I3ddFMhXZ9ZplFS5M3pCu76NEqmr4nCLVsmcZjn0YR8rkhMGq3ykLGetJhlC1pHxbfq2PBg3fRduuR2LTdsuIbmvdB0zr3WDljqUzUijSRARvX6atigyBivPZehOCyiX/pXCPOmec49THiLTwTo8vJ1czVwA8MDTU8b7hT/eP4JebrKJqjuTmWA/kmeadj6JznelicVYTZHxdYnlYcCvOIJykS+UZQP1oEsSJX8Y31SqQAmda1asCC4uWnLUlmWqFcdjV7VWiobdGWpAqdDS2XrAL3DcAKzHUAlyw80ZopB3o/hB37XHlWbfITmAXwEGgC746Nq5u+jxTKOZpsdOJr7cWwDLUdiGwBG4KqM0/lFnfENKnhl6DHDUOQKXsQy3tPDNCse0nmahPFd03otItpc8yFNlxTHv1BRbKh8h6siFVGubDm15MyOV71RG84dbNhBgpGo7vJdjzWU9xlBELCG5ubySLj7E8oiDCjKaOPW0a5s4g5AqbiWXsQuTtR2Xgg5NcNLb6XGkXHJMy1DFj4X0wkGzZ/Yp2BjJdbU73U6kWyFR1/QZJXlpStT2dlxxkzsl4piF5dI17GlSAXoTECfAqma09/DDVHeCoh3a+y0TC+OoecMDEE1dP6C5li6VQTfJzOEv/nk8kT0PQVEwwSXxVHN7XwMoyQmqvzScFm2pPpslXOur/E7OgNLddvu1kUWToooTS4Ol8wuHVy9UotlcTm4PsWreUTSMO8TbIZn4QCEUvZubUuFzXJ6xU2XFqy0WsSU2jLNo4ILbaMmrnXDBUEpGefkvyVF/MIoA19E2dOAbPYKsuoSKyDV2SrnNkkT4vpOw/yhjsk4hEj7p7DAnE7KFtt06qiMTQnYiuu8Fde9fiUHG9SgxtrOdD9hIA4aO2Q9CKkjm5tVkPpxnd39dO20espQhzF5vSIcx6oC4kadZSiFsRbHkMUyLK6pAhIW1uwLZcQwBu4JYrbyZW+8Qq18BfR+AzcQ/vkS/4BzIgEDIJlG/zAGYh6EG+4ylt1un6OaiQu0Xmaa8PwkdpqGzUfa1oH0pHfVDO2Mn/6B/ASD4qcHWuKnF5zGz9bYp3pqk3QxjhIyBSPHU4SXrdHytASQJ9DS6oyW4EmqzWdDS6BXiueSr+GR5XvH6LfjkohDYQOEhuWJ4+ieSggIjCBQko9yTqgveqhaC5XZMqK1noN+GgiDfHNL7u9Y+sgdKTzsmjBq2vVFnxzLBhfahuuZ9Z/Vjmoh3e6hWcfsgLqMQOX8kNlqgSKshkeq77F8XYHPO5SNI8Qla6ruttQhFGhd7JrcpZkIvlKONoVxNCfphwlKSjpdk/RMNAnj1/TEIppOyxk8Xb5HJLVcSVYe05e0t1L0mBoHcZbU1uV2NSR2OsuDH1DhcJxekEscGqNyuE3ZivShEdVQlIbsSZqnRvK2yJueU0mumppNV8VyRd6QmJJX+W8qa/AQfAjHKBbJcri0ZghrmDJVVZGCZiFw5/D6Ct5qqKbSZjfnZbGtS6XpU6/4amSdOJsGsFzRyWQ1GmcyZyTaF1+8P53NctTNSKvWYOsAv7gL28cPQvw9d7gLTXHMsaoAQlEV8IU2fakDdUIwJ3VI6JkkSAbCIdfcP9IH+5lSXzoGdswaz1RYc0c+hwOolbGgaKihq/pl9bqbXibqPDXKz9DfK5QXamqylL0F/vahdkb+TP+NU9zQFeTLMJ19MqZV3pxL6AtybpjA3i3r+KC9crZDp4fYjP5A9AJUCkQkEh5sSoBoluyeQ0+vx+DDr48F6vbEtIExSLYGysAfbFYsybGxe2aQJjBZoiwsUjKHeKOqymwVoy1n0BJHHEyJ6guEhxnPeK3FMyPTwDGrSI3zCMfiVfGG7uIXTy166EylnOSi9jSFNzCFAyX/yj41EQKlmpp60VD7CueP2Y/5/eR9YK7fWh/tD9efN5OvI6bvOH5hpyxT11/0oC4OVQ9MJFpRD740AKym++x8h2iRRr1lPHxVY3zKVsnlYxLbk8O//gpbtauM1dTQhxQzl+jGS2Mlx28Xx0ol1X1IorSLI+X4+5HqrCRVC5WaTGq/TPGohNLpVpfpkoFYXUdKFcJTK1kdxxc66nAGW0uRQEeRs4sEW6/3218wNSx+2Gx987mz2ECKJ6FcetUxPzRLLs4kx2Fe/+4UwlaeDGX4pbqU4MQ0ktxPh0kA/eiri7mipJmc1Eb7ONbHzu800idML+G77yZ2K757YLXjrOsjgFZddT0aWjswODMwEPG2PCiVFp2s3y11BWevEs4S3NzAxzj02JKou6CHOJChl0X05NJF3NE+DnU99KppR3h0s5dh3z/s8FR5V4cddFcDrx92TR3Ky7Bvic4sYLQ08I514WFXXblJmp9t4p/lqAOzpTEH5qWFXU0BvRSoH638/WBHgboypAebAtztHuXSNTtUrz9fjdsliOMHPEFGpBLlOZJEceRPpQUJLhx325Io6DoGMBUu9kQYzbLOo1c0AN2Kht+11VdPcIVDmysa5FBDt79wRysa9KOvqwDgR18ctfPWuHyIxlmYRaSkZAsJXtiya07TY9O+/OwT0NBFTim2RhfN4rjBbZ1MT43Dyc95OT4j8Q1e2WRnTfo4GwTNZ0ge/qx3XkbVTlTlpsn0Cnnz5Tqbq9lxuRKWclvmSlxIoygw5CQVmXKP5jq322ywXG//XD4SEoThbXmmnkcoH2lL2zFTwdGhxad3NZApaNa3OtoNm7mHwKD09zVbGLsediG5P++wzZk1uxl3vGlxz7uBeI4QPRimWRdG97PvpmZ+8cf8f4/Jn7++/7WJ3iSfv3z87+v/rEbDcjZxoGCIi6OADwzAOYZsgf65a2C87uYbV2/M1S/z82Ix+/PHne2i2edZrNk9UB+ODGYeCbS45M1id7a7xA1KQ9jdNBJQi4bP1DD8bLEvKo/jliRxmaqqo2ZlRLm1Wgf16rsUyf6VEcNSOAAYLtiWAvGc9pZPQa8zhaMdD1XhVAvudKnR4SgdJmdtTF5DCMQapHMX2vagZw7Y7v5lrrpyDCw5B316LZJUSdzhXLW+Qly1Lk+9CqUmchuCbPrWmZLb4Zp4/ddXE9Dcjogv01Ki+MHqt3h2SeDBouxWv7azSy10nEtmqBwkzfVLDEnD8z6c/ivawyKQYgpOnqQApmtI6ekOI8Wd4PIb9kf4QKHJpdcB1MBcbB0AVDOxVbZTlbQiW5GfHxuQ9uUjqichZaqaPrmAQKOmO6wg0Dtd27P4503wfM1JTvjJTdn0uIUZ265sD2/bmO/blargDfR8fnH1Ku/R0Kt61eKkC0bbmBR/ixKy4F7zCzRPUG5alBMvkOVEFZSuJsb1gqK6ssrva4yjJMw2ZLs33U9snCNTwk9ItACvLf3eXJ0/vpiAaZaGb8HXsYePr+P2h+8VnR3kXIJmXtC5+xc=</diagram></mxfile>

infra/diagrams/1.6-changes/herbie-system.drawio

@@ -0,0 +1 @@
+<mxfile host="Electron" modified="2022-05-23T20:05:01.528Z" agent="5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/18.0.6 Chrome/100.0.4896.143 Electron/18.2.3 Safari/537.36" etag="7mkmWcSHHO1kdvKKE_hv" version="18.0.6" type="device"><diagram id="PBjobV1qK8d18Rz6RHWu" name="Page-1">7V1bj5u6Fv41I3U/TGQuhvDYufQitVLbac9u+3LEJE6GUwIpkE6yf/3GYAO2FwlDgDBzMqrUYMDAWp/X3faFcb3avo3c9cPHcE78Cx3NtxfGzYWuaxiZ6X+0ZZe32Jg1LCNvzi4qG+68fwhrRKx1481JLFyYhKGfeGuxcRYGAZklQpsbReGjeNki9MWnrt0lURruZq6vtv7tzZMH1qohVJ54R7zlA3v0FLMTK5dfzBriB3cePlaajNsL4zoKwyT/tdpeE58Sj9Mlv+9NzdnixSISJE1u+B7/8n7erH9P9fgfy9s+zN7/5/WlYeXd/HH9Dfti9rbJjpMgCjfBnNBetAvj6vHBS8jd2p3Rs48p09O2h2Tls9NxEoW/yHXoh1F2t6E5CL1J3+lq4fl+pf1N9pe2q9/BPu0PiRKyrTSx73pLwhVJol16CTurO4zGHGQI58ePJctMm13zUOFWwUaXwWRZ9F1SMv3BiAkT1rr8/vPdt4V97b2P4x8o+vXjLrrkMO+MsIswSNjw0EyI0Ahdm9mZDggq0VNzVHo6OkBP0+qAnjBQNYCelp9QSqzdQCCs9XtDB9XVLCfO6/RktLx3X6Xvlv5Ln4/AX3/Rn5R8iNL6cuGuPH+X374KgzDOWCNcEmf8oBeg9bZ8bvprmf+PZcmI00+mrdmwL444CXBGhLTlhv6mL4bpZ+KUcoeu1YprOedbdaOX3eSULs6sQy9I4vJ0Tu7iNAnmr6m4zVpmvhvH3oz+ziFMG7XskGOetqCshWy95Ht+PLFx0fRDuuRmKzfsKg3le5H5svJae8hSnCooUo4DzKFeXI1LKnLEg+ci4ruJ9wd+BTcum5eVhwlv8YkSOrt8W15tWs7ENsuedpVT1cdXnxCHm2hGiu5UBMBPstFEh59k2DVPStxoSZLaJ2WHAnnFEwyJ1UZxfPAO5IGUj/9UnuQigI+6TvWX41xfd6WnNA0LctUA5KoxBeSqbvalpxyjRz2lQwS9Tclpol70lAmoKU7yYdS+Oe3bnuoSjxg1wCMGCNgfHlU1f+et1r632O2hIzpMxy6oJY1ebAFwg4yi3sCGFWJF5DFK6RArxKJq8Y4dhlHyEC7DwPVvy9YrkZzlNR/CcM2I+D+SJDs2uN1NEookzhU5U+Nciee9MQVeOdixg1q+5Nprz9ezgZXp+33cKzSy4BoCvGC3MjXGuW4jXZQxUyx2ISg/iaPFa7Rnsq7w+AuZbaI4szFyBXgfcd33JWf/yYeKZYxsqKha7qu7ozJVIeHtNrUl5ienoI1HRkHVn/1Clt4KAOH7YEHSL5+dHoZTWySiCRkIQxJRFdif3GSWuhnoq3vvn55gsoqDCGYYQ1JMjU99dL3Apzrp1MTSdMl60lViWXhIYqnG5+02idxZ4oXBycklD0aIXIMORh5iBkJKHpdl917gRjvLrPiaXuloWu6K0im4j+l/a3+z9E5PZ8MS6WyrZC78n2HorJownxip0PsgIdHCHYGukH0hXQPoNqjo0yDXHMSnoT8jfBYG9GjwCYXqJTqvw9hLnhGRZQP89ERWTR+FSEUM2bgJwoD6pHM3figiJRUK0fbUckplR5C16MgoYiU8TacrPm0tXQ/6kBWyQQqdtx3pamJHZJojeZpCQLfkh9KPzHy5n749VpXV8eaebNfRPo7znIHAZ5F/KduiXR5hMKYOb8hiDBOk8eMyzpAd7apHn0iUuiwpbA4hIifRYUt+JMixTEPgeGEDPBU6WK9xAIbCjq1gx/WTjCGQf/RE/LAAFQ9W5cjhsSo4PlViTsQbPgC3WmQdjGtZDRE4HRUCp5LsMo2WCHRMyU1oGG9LceDuKpfxfGVtXE92R9hzS0DnPXYKbyCLTeUiEK5tBWw00auRV60hstldBbh7g/a0IbTNUUHbNjuCtu20g3Zn6FMdsVm4Sl0Imo+Xo3hd6Os2CYEKLG0BlocUfHtYms9S4r4YWJqwUDwWfCWOtKn9FPn2NEtxLGiw8USzRUDIfGwMCNucONU/oVss25Z9w0OVWiTL0VCp9RLk00gQNJVMf4XPTeEjdzR0xtRU42ZnefJUNFiYyhNU/GndiBarLq05EDawGpvgpg8tXBIAwss5pVJPbQrVer4j0b1HKhHCvLuakrSEbJOLPXU+LPxVLZlmTa7vLWnMa0aCDExXNCbozVz/NTux8ubzrJ4DCjKKkJZLirNj9pJ6LUCfUu4mlmfpUIIMgLDRVxDSalDs9jSpIFe7lSpliBKYcRmklmxHorYhAF3EzcDxS0vNB4SbZL2hb0gVyav4LxU1KQs+uPfEF8HSfLRGJJUwWYwrBwULX6Sd46sLfANATYXNfszLw7aYM8OeelGdlgINZzQxNUs0MXm53pHIuRS1y1S8P1wsYtIPp1VtUMvgs7FQzz9s9GIs4LoqsqEEgVpPEdNiVPJCAiNjQc+0I8dD7mhox4PPMKvW39Df7ggqMrUG9YTFpMtBMsK26tdH5PeGxIkajMxG3Sr9ehcsZTrSZqsIa2wJI2uCjFZ5xXKAW5olZJvQgaB8etBY+neWSuIVOmMRCEphnYTBxgLBFDWRPnA20x7Q35gWxwJyB0LayBBkIbSf8Y3jFZqIoKJocSgEAb7ImkRuEtKk4bUqKaONT2rOkHXqZHAZCs8QGacLY3fmwlyiSeqmitA4DnDcRRVv6M9lsaEAVl/q8Elm5rChDy5wDus2NCrJJOs2vW2QBEv1C4WBN5RkUit1etNtrZykgZLHzYFojAuIuCsgSl661p+K/Hvxc3k3e++g7Vvto/7h6vNu9u2Sa+gKEFMvIlLniw6g4JoqND52OlFoU4kBfLJbW4AMoMQazJI+KzGgRH0kssOSAvStZYdsp/coO+AEiqrEPkWb4PThGt0WCTPkzEVw/Z365Xca501NKG/6lgTUnQGmkT7DXGqHuVNZq5rAklbQbKQucqcgAFRHdE2nrkJLDbSMhVuGcbpQ2bjq+W3dFLkvs7VxKZfUkTIxoDsBC6JG9VY/hOkAo0Lh1CJWjoifXMSquujOpXHvk1PKkPMqAKV6m00Gkkq1H7ufJTLQMibcBBmJ5DGwaHjgtpPQDGN6UsnjQBA5Wll1PmficNH5uPChOx3NNDMl0x/L5es94wOYlX4kOJrFr/YbNbU4GQv7pVnyTku7RO6nx7wKzH11XREvKEu8wATKOiKzMJh7cAr6FMGl/cDuJLjkaEdGk7g/I7Cbh6g6DTXB1AD1wOjUwEiGt2bjiTQw28p3rW7tpYFGOA9RVRjvp65HTe7zhBbiSFgvD1GFX41Fu34QQ32zXlXtJOVudGb7Yba3Lr5T2d5j+R3MdqCa98z2Gu9MMycdMd6Q14wbmu2qKTcL46NV/Ivkuok64rmJTj3Y1RDQeZLfk4X/1JlY3dft024Hq9yH0aFa/X0vQZQ6S8h8iSBRDPm2sKDOhWHVTys3JiZSsDgQYIClMbrJb34F69n/v3Ob8sKpJ89tGlAtW5X7IteOmyn8wbuP3MijidMaEJzRsq8UwuYVndXskwnARQ4pdpcKBxYsWS4Vdpx68WbbUIeVDm2H0VuaDliJYXSbNrFT9+7s1zLj2KX4Bq90uqcHe5xuOuVvTB/+ovd8Ivnq0dl2TewKedunIuwN7PWUS5VsQ6hcrtBGUbLQk0y2ZLtDFUHwcmunYuOp7JGYUhjfZGeKhEv2SF3aCIoNHIha1Tg4QDKFmsWtBSHL0SfunoSdzDECNk+y7NTWrvzZzbaFAvZR6nm7pKcZxGO3XrFh7nFxrK6Knu3+spebN2jzB31erRb//XmrW2TxeeEDy+LDzs1oslJmh8sQaPzOUVQ4w5+rlssdOdCq2eWp6Ik+bTp4GdkyhCmD1IHtq+Rurxl1uPp5XBJlKlZA2LL51Lb4uZjRM5AMAdY9z5c3gIKn4xEk/K27SG+nnqg+elHS+WSJF5u+NjU5LN2+PElau6rH9DU8q0kdnM+9MKUAchcjF021I40Axtg+FhuCP1+NSZdrVJ8zVdLww/l+t/tGYOOhbOU72u4TC32XwavFKPWjuXiJMUn4qpEGf6I+LgApqqB13sJE1kQfzN3bS9zq7nteeqDA5NRTA6CY47BTA7Aac8zjeupIS6IN3eJ7RNL3oM80tlGmiunWNQWAmO6xqAA2uurj1cflfL7FNPr57LI4A64Ny9eBPYDbLlKAsDNcvzDwOVVxTlWcUxX6OVXRszK1sDVBjiQVW6+zbk34xgknSlEAU2zGk6PYrwNeXI4C/txeV3B6FjmKkYx8GxkTs3bDFdswJ47VTg7Qnh1RDigypW85oMav/7iR54KRr/HIgi6XaDptmuGCKd3K5aW6NW7/BQ==</diagram></mxfile>

infra/diagrams/1.6/herbie-system.drawio

@@ -0,0 +1 @@
+<mxfile host="Electron" modified="2022-05-23T20:05:01.528Z" agent="5.0 (Windows NT 10.0; Win64; x64) AppleWebKit/537.36 (KHTML, like Gecko) draw.io/18.0.6 Chrome/100.0.4896.143 Electron/18.2.3 Safari/537.36" etag="7mkmWcSHHO1kdvKKE_hv" version="18.0.6" type="device"><diagram id="PBjobV1qK8d18Rz6RHWu" name="Page-1">7V1bj5u6Fv41I3U/TGQuhvDYufQitVLbac9u+3LEJE6GUwIpkE6yf/3GYAO2FwlDgDBzMqrUYMDAWp/X3faFcb3avo3c9cPHcE78Cx3NtxfGzYWuaxiZ6X+0ZZe32Jg1LCNvzi4qG+68fwhrRKx1481JLFyYhKGfeGuxcRYGAZklQpsbReGjeNki9MWnrt0lURruZq6vtv7tzZMH1qohVJ54R7zlA3v0FLMTK5dfzBriB3cePlaajNsL4zoKwyT/tdpeE58Sj9Mlv+9NzdnixSISJE1u+B7/8n7erH9P9fgfy9s+zN7/5/WlYeXd/HH9Dfti9rbJjpMgCjfBnNBetAvj6vHBS8jd2p3Rs48p09O2h2Tls9NxEoW/yHXoh1F2t6E5CL1J3+lq4fl+pf1N9pe2q9/BPu0PiRKyrTSx73pLwhVJol16CTurO4zGHGQI58ePJctMm13zUOFWwUaXwWRZ9F1SMv3BiAkT1rr8/vPdt4V97b2P4x8o+vXjLrrkMO+MsIswSNjw0EyI0Ahdm9mZDggq0VNzVHo6OkBP0+qAnjBQNYCelp9QSqzdQCCs9XtDB9XVLCfO6/RktLx3X6Xvlv5Ln4/AX3/Rn5R8iNL6cuGuPH+X374KgzDOWCNcEmf8oBeg9bZ8bvprmf+PZcmI00+mrdmwL444CXBGhLTlhv6mL4bpZ+KUcoeu1YprOedbdaOX3eSULs6sQy9I4vJ0Tu7iNAnmr6m4zVpmvhvH3oz+ziFMG7XskGOetqCshWy95Ht+PLFx0fRDuuRmKzfsKg3le5H5svJae8hSnCooUo4DzKFeXI1LKnLEg+ci4ruJ9wd+BTcum5eVhwlv8YkSOrt8W15tWs7ENsuedpVT1cdXnxCHm2hGiu5UBMBPstFEh59k2DVPStxoSZLaJ2WHAnnFEwyJ1UZxfPAO5IGUj/9UnuQigI+6TvWX41xfd6WnNA0LctUA5KoxBeSqbvalpxyjRz2lQwS9Tclpol70lAmoKU7yYdS+Oe3bnuoSjxg1wCMGCNgfHlU1f+et1r632O2hIzpMxy6oJY1ebAFwg4yi3sCGFWJF5DFK6RArxKJq8Y4dhlHyEC7DwPVvy9YrkZzlNR/CcM2I+D+SJDs2uN1NEookzhU5U+Nciee9MQVeOdixg1q+5Nprz9ezgZXp+33cKzSy4BoCvGC3MjXGuW4jXZQxUyx2ISg/iaPFa7Rnsq7w+AuZbaI4szFyBXgfcd33JWf/yYeKZYxsqKha7qu7ozJVIeHtNrUl5ienoI1HRkHVn/1Clt4KAOH7YEHSL5+dHoZTWySiCRkIQxJRFdif3GSWuhnoq3vvn55gsoqDCGYYQ1JMjU99dL3Apzrp1MTSdMl60lViWXhIYqnG5+02idxZ4oXBycklD0aIXIMORh5iBkJKHpdl917gRjvLrPiaXuloWu6K0im4j+l/a3+z9E5PZ8MS6WyrZC78n2HorJownxip0PsgIdHCHYGukH0hXQPoNqjo0yDXHMSnoT8jfBYG9GjwCYXqJTqvw9hLnhGRZQP89ERWTR+FSEUM2bgJwoD6pHM3figiJRUK0fbUckplR5C16MgoYiU8TacrPm0tXQ/6kBWyQQqdtx3pamJHZJojeZpCQLfkh9KPzHy5n749VpXV8eaebNfRPo7znIHAZ5F/KduiXR5hMKYOb8hiDBOk8eMyzpAd7apHn0iUuiwpbA4hIifRYUt+JMixTEPgeGEDPBU6WK9xAIbCjq1gx/WTjCGQf/RE/LAAFQ9W5cjhsSo4PlViTsQbPgC3WmQdjGtZDRE4HRUCp5LsMo2WCHRMyU1oGG9LceDuKpfxfGVtXE92R9hzS0DnPXYKbyCLTeUiEK5tBWw00auRV60hstldBbh7g/a0IbTNUUHbNjuCtu20g3Zn6FMdsVm4Sl0Imo+Xo3hd6Os2CYEKLG0BlocUfHtYms9S4r4YWJqwUDwWfCWOtKn9FPn2NEtxLGiw8USzRUDIfGwMCNucONU/oVss25Z9w0OVWiTL0VCp9RLk00gQNJVMf4XPTeEjdzR0xtRU42ZnefJUNFiYyhNU/GndiBarLq05EDawGpvgpg8tXBIAwss5pVJPbQrVer4j0b1HKhHCvLuakrSEbJOLPXU+LPxVLZlmTa7vLWnMa0aCDExXNCbozVz/NTux8ubzrJ4DCjKKkJZLirNj9pJ6LUCfUu4mlmfpUIIMgLDRVxDSalDs9jSpIFe7lSpliBKYcRmklmxHorYhAF3EzcDxS0vNB4SbZL2hb0gVyav4LxU1KQs+uPfEF8HSfLRGJJUwWYwrBwULX6Sd46sLfANATYXNfszLw7aYM8OeelGdlgINZzQxNUs0MXm53pHIuRS1y1S8P1wsYtIPp1VtUMvgs7FQzz9s9GIs4LoqsqEEgVpPEdNiVPJCAiNjQc+0I8dD7mhox4PPMKvW39Df7ggqMrUG9YTFpMtBMsK26tdH5PeGxIkajMxG3Sr9ehcsZTrSZqsIa2wJI2uCjFZ5xXKAW5olZJvQgaB8etBY+neWSuIVOmMRCEphnYTBxgLBFDWRPnA20x7Q35gWxwJyB0LayBBkIbSf8Y3jFZqIoKJocSgEAb7ImkRuEtKk4bUqKaONT2rOkHXqZHAZCs8QGacLY3fmwlyiSeqmitA4DnDcRRVv6M9lsaEAVl/q8Elm5rChDy5wDus2NCrJJOs2vW2QBEv1C4WBN5RkUit1etNtrZykgZLHzYFojAuIuCsgSl661p+K/Hvxc3k3e++g7Vvto/7h6vNu9u2Sa+gKEFMvIlLniw6g4JoqND52OlFoU4kBfLJbW4AMoMQazJI+KzGgRH0kssOSAvStZYdsp/coO+AEiqrEPkWb4PThGt0WCTPkzEVw/Z365Xca501NKG/6lgTUnQGmkT7DXGqHuVNZq5rAklbQbKQucqcgAFRHdE2nrkJLDbSMhVuGcbpQ2bjq+W3dFLkvs7VxKZfUkTIxoDsBC6JG9VY/hOkAo0Lh1CJWjoifXMSquujOpXHvk1PKkPMqAKV6m00Gkkq1H7ufJTLQMibcBBmJ5DGwaHjgtpPQDGN6UsnjQBA5Wll1PmficNH5uPChOx3NNDMl0x/L5es94wOYlX4kOJrFr/YbNbU4GQv7pVnyTku7RO6nx7wKzH11XREvKEu8wATKOiKzMJh7cAr6FMGl/cDuJLjkaEdGk7g/I7Cbh6g6DTXB1AD1wOjUwEiGt2bjiTQw28p3rW7tpYFGOA9RVRjvp65HTe7zhBbiSFgvD1GFX41Fu34QQ32zXlXtJOVudGb7Yba3Lr5T2d5j+R3MdqCa98z2Gu9MMycdMd6Q14wbmu2qKTcL46NV/Ivkuok64rmJTj3Y1RDQeZLfk4X/1JlY3dft024Hq9yH0aFa/X0vQZQ6S8h8iSBRDPm2sKDOhWHVTys3JiZSsDgQYIClMbrJb34F69n/v3Ob8sKpJ89tGlAtW5X7IteOmyn8wbuP3MijidMaEJzRsq8UwuYVndXskwnARQ4pdpcKBxYsWS4Vdpx68WbbUIeVDm2H0VuaDliJYXSbNrFT9+7s1zLj2KX4Bq90uqcHe5xuOuVvTB/+ovd8Ivnq0dl2TewKedunIuwN7PWUS5VsQ6hcrtBGUbLQk0y2ZLtDFUHwcmunYuOp7JGYUhjfZGeKhEv2SF3aCIoNHIha1Tg4QDKFmsWtBSHL0SfunoSdzDECNk+y7NTWrvzZzbaFAvZR6nm7pKcZxGO3XrFh7nFxrK6Knu3+spebN2jzB31erRb//XmrW2TxeeEDy+LDzs1oslJmh8sQaPzOUVQ4w5+rlssdOdCq2eWp6Ik+bTp4GdkyhCmD1IHtq+Rurxl1uPp5XBJlKlZA2LL51Lb4uZjRM5AMAdY9z5c3gIKn4xEk/K27SG+nnqg+elHS+WSJF5u+NjU5LN2+PElau6rH9DU8q0kdnM+9MKUAchcjF021I40Axtg+FhuCP1+NSZdrVJ8zVdLww/l+t/tGYOOhbOU72u4TC32XwavFKPWjuXiJMUn4qpEGf6I+LgApqqB13sJE1kQfzN3bS9zq7nteeqDA5NRTA6CY47BTA7Aac8zjeupIS6IN3eJ7RNL3oM80tlGmiunWNQWAmO6xqAA2uurj1cflfL7FNPr57LI4A64Ny9eBPYDbLlKAsDNcvzDwOVVxTlWcUxX6OVXRszK1sDVBjiQVW6+zbk34xgknSlEAU2zGk6PYrwNeXI4C/txeV3B6FjmKkYx8GxkTs3bDFdswJ47VTg7Qnh1RDigypW85oMav/7iR54KRr/HIgi6XaDptmuGCKd3K5aW6NW7/BQ==</diagram></mxfile>

src/config.rkt

@@ -11,7 +11,7 @@
         [rules . (arithmetic polynomials fractions exponents trigonometry hyperbolic numerics special bools branches)]))
 
 (define default-flags
-  #hash([precision . (fallback)]
+  #hash([precision . ()]
         [setup . (simplify search)]
         [generate . (rr taylor simplify)]
         [reduce . (regimes avg-error binary-search branch-expressions)]
@@ -21,7 +21,11 @@
   (match* (category flag)
     [('precision 'double)
      (eprintf "The precision:double option has been removed.\n")
-     (eprintf "  Please use :precision binary32 and :precision binary64 instead.\n")
+     (eprintf "  The double-precision representation is specified with :precision binary64.\n")
+     (eprintf "See <https://herbie.uwplse.org/doc/~a/input.html> for more.\n" *herbie-version*)]
+    [('precision 'fallback)
+     (eprintf "The precision:fallback option has been removed.\n")
+     (eprintf "  The fallback representation is specified with :precision racket.\n")
      (eprintf "See <https://herbie.uwplse.org/doc/~a/input.html> for more.\n" *herbie-version*)]
     [('generate 'better-rr)
      (eprintf "The current recursive rewriter does not support the generate:better-rr option.\n")

www/doc.html

@@ -26,6 +26,7 @@ <h2 id="docs">Documentation</h2>
     <li><a href="doc/latest/docker.html">Installing with Docker</a>: an alternate installation method for Docker users.</li>
     <li><a href="doc/latest/options.html">Command-line flags</a>: modifying Herbie's behavior.</li>
     <li><a href="doc/latest/release-notes.html">Release Notes</a>: the biggest and latest changes to Herbie.</li>
+    <li><a href="doc/latest/diagrams.html">Diagrams</a>: miscellaneous figures related to Herbie</li>
   </ul>
 
   <h2>Blog posts about Herbie</h2>

www/doc/1.5/diagrams.html

@@ -0,0 +1,34 @@
+<!doctype html>
+<html>
+<head>
+  <meta charset="utf-8" />
+  <title>Diagrams</title>
+  <link rel='stylesheet' type='text/css' href="../../main.css">
+  <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+  <meta name="viewport" content="width=device-width, initial-scale=1" />
+</head>
+<body>
+  <header>
+    <a href="../.."><img class="logo" src="../../logo.png" /></a>
+    <h1>Diagrams</h1>
+  </header>
+
+  <figure>
+    <img width="100%" src="system-1.5.png" alt="System diagram of Herbie" />
+  </figure>
+
+  <p>
+    High-level system diagram of Herbie. It highlights Herbie's core architecture,
+      external libraries, and user interactions.
+    Basic flow: Herbie passes user input (expression, precondition, etc.) to the
+      mainloop (scheduler) which alternates between generate and test phases multiple times,
+      maintaining and improving a set of accurate expressions at each iteration.
+    Once the generate-and-test phase is complete, Herbie extracts either
+      one or many output expressions using an algorithm called regime inference.
+      Regime inference chooses the "best" (usually most accurate)
+      generated candidate expression or combines multple candidates,
+      each "best" on a smaller part of the input range, with a branch condition.
+  </p>
+  
+</body>
+</html>

www/doc/1.5/system-1.5.png

@@ -0,0 +1,34 @@
+<!doctype html>
+<html>
+<head>
+  <meta charset="utf-8" />
+  <title>Diagrams</title>
+  <link rel='stylesheet' type='text/css' href="../../main.css">
+  <script src="https://cdnjs.cloudflare.com/ajax/libs/mathjax/2.7.0/MathJax.js?config=TeX-AMS-MML_HTMLorMML"></script>
+  <meta name="viewport" content="width=device-width, initial-scale=1" />
+</head>
+<body>
+  <header>
+    <a href="../.."><img class="logo" src="../../logo.png" /></a>
+    <h1>Diagrams</h1>
+  </header>
+
+  <figure>
+    <img width="100%" src="system-1.6.png" alt="System diagram of Herbie" />
+  </figure>
+
+  <p>
+    High-level system diagram of Herbie. It highlights Herbie's core architecture,
+      external libraries, and user interactions.
+    Basic flow: Herbie passes user input (expression, precondition, etc.) to the
+      mainloop (scheduler) which alternates between generate and test phases multiple times,
+      maintaining and improving a set of accurate expressions at each iteration.
+    Once the generate-and-test phase is complete, Herbie extracts either
+      one or many output expressions using an algorithm called regime inference.
+    Regime inference chooses the "best" (usually most accurate)
+      generated candidate expression or combines multple candidates,
+      each "best" on a smaller part of the input range, with a branch condition.
+  </p>
+  
+</body>
+</html>