| Handwritten Reference Implementations | |
| ===================================== | |
| This folder contains handwritten assembly that has been replaced by verified | |
| implementations. The code here is not used directly, but may be helpful in | |
| cross-referencing to understand the verified code. |