dirsp-ps2ocaml

ProScript to OCaml translator
Description

Dirsp is a short form for Diskuv Implementations of Research Security Protocols. The [dirsp-ps2ocaml] executable translates ProScript, which is a subset of JavaScript that can be verified with formal security proofs, into OCaml.

Install
Published
17 Jun 2021
Authors
Maintainers
Sources
0.1.0.tar.gz
md5=a3c6f4b221fb9732bc55ab4c44e39c14 sha512=0500d75ff0d3ac187e876d0c3b888ce7d6396ea5bf55ec4aca4a0adfc4ac76d3838bbcb2d6efcc40e2cecb7fc2070ebe362ed2a6606dc42790588f7a0966d199
Dependencies
alcotest >= "1.4.0" & with-test
ulex >= "1.2"
pcre >= "7.4.6"
menhirLib >= "20210419"
menhir >= "20210419"
dune >= "2.6.0"
ocaml >= "4.08.0"
Reverse Dependencies