GitHub repository: GaloisInc/cryfsm
Primary language: Haskell
Created: 2016-01-06T20:40:37Z
Description: convert simple cryptol expressions into finite-state machines