文件名称：Monokex:噪声协议框架的更简单替代方案
文件大小：32KB
文件格式：ZIP
更新时间：2024-06-18 19:30:18
OCaml
莫诺克 Monokex 是一个受启发的协议框架。 它旨在从噪声协议描述中生成规范、测试向量、工作 C 代码等： XX: -> e <- e, ee, s, es -> s, se 试试看！ 编辑protocols.txt文件。 调用make生成输出文件。 查看gen/文件夹中的结果
【文件预览】：
Monokex-master
----src()
--------proto.mli(3KB)
--------parsec.mli(140B)
--------proto_log.ml(5KB)
--------vectors.h(235B)
--------gen_code.ml(22KB)
--------gen_spec.ml(10KB)
--------gen_code.mli(118B)
--------gen_test.mli(52B)
--------monokex.pc(235B)
--------deps-classic.c(965B)
--------validate.mli(38B)
--------test.ml(817B)
--------proto_log.mli(882B)
--------utils.mli(1KB)
--------repl.ml(151B)
--------deps-elligator.c(1021B)
--------parsec.ml(3KB)
--------test_core.c(15KB)
--------proto.ml(5KB)
--------scan.mll(1KB)
--------gen_test.ml(2KB)
--------gen_spec.mli(106B)
--------test_core.h(285B)
--------makefile(2KB)
--------vectors.c(3KB)
--------validate.ml(5KB)
--------utils.ml(4KB)
--------scan.mli(254B)
--------proto_run.mli(1KB)
--------main.ml(2KB)
--------proto_run.ml(2KB)
----protocols.txt(2KB)
----README.md(440B)
----makefile(1KB)
----.gitignore(64B)