> Cryptol is a pretty cool tool. I tested it a few years ago generating an > implementation of the XTEA block cipher with good results. Cryptol was > released as 3-clause BSD licensed code a while back. > > https://github.com/GaloisInc/cryptol has anyone done work on validation of the toolchain? how would we do so? randy