├── .gitignore ├── CHANGES.md ├── LICENSE ├── Makefile ├── README.md ├── TODO.md ├── VERSION ├── docs ├── code │ ├── fsm_genimp.c │ ├── fsm_genimp.h │ └── fsm_genimp.vhd ├── figs │ ├── genimp-bis.png │ ├── genimp-defact.png │ ├── genimp-wave.png │ └── genimp.png ├── fsml │ ├── Fsml │ │ ├── .dune-keep │ │ ├── Action │ │ │ └── index.html │ │ ├── Builtins │ │ │ └── index.html │ │ ├── C │ │ │ └── index.html │ │ ├── Clock │ │ │ └── index.html │ │ ├── Dot │ │ │ └── index.html │ │ ├── Event │ │ │ └── index.html │ │ ├── Expr │ │ │ └── index.html │ │ ├── Fsm │ │ │ └── index.html │ │ ├── Fsm_lexer │ │ │ └── index.html │ │ ├── Fsm_parser │ │ │ └── index.html │ │ ├── Guard │ │ │ └── index.html │ │ ├── Misc │ │ │ └── index.html │ │ ├── Parse │ │ │ └── index.html │ │ ├── Seqmodel │ │ │ └── index.html │ │ ├── Simul │ │ │ └── index.html │ │ ├── State │ │ │ └── index.html │ │ ├── Tevents │ │ │ ├── Ops │ │ │ │ └── index.html │ │ │ └── index.html │ │ ├── Transition │ │ │ └── index.html │ │ ├── Types │ │ │ └── index.html │ │ ├── Typing │ │ │ └── index.html │ │ ├── Valuation │ │ │ └── index.html │ │ ├── Vcd │ │ │ └── index.html │ │ ├── Vhdl │ │ │ └── index.html │ │ └── index.html │ ├── Fsml__Action │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Builtins │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__C │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Clock │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Dot │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Event │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Expr │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Fsm │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Fsm_lexer │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Fsm_parser │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Guard │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Misc │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Parse │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Seqmodel │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Simul │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__State │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Tevents │ │ ├── .dune-keep │ │ ├── Ops │ │ │ └── index.html │ │ └── index.html │ ├── Fsml__Transition │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Types │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Typing │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Valuation │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Vcd │ │ ├── .dune-keep │ │ └── index.html │ ├── Fsml__Vhdl │ │ ├── .dune-keep │ │ └── index.html │ └── index.html ├── highlight.pack.js ├── index.html └── odoc.css ├── dune ├── dune-project ├── etc └── c │ └── fsml.h ├── examples ├── ex1 │ ├── Makefile │ ├── Readme.md │ ├── dune │ └── test.ml ├── ex2 │ ├── Makefile │ ├── Readme.md │ ├── c │ │ ├── Makefile │ │ └── tb.c │ ├── dune │ ├── test.gtkw │ ├── test.ml │ └── vhdl │ │ ├── Makefile │ │ ├── tb.gtkw │ │ └── tb.vhd ├── ex3 │ ├── Makefile │ ├── Readme.md │ ├── c │ │ ├── Makefile │ │ └── tb.c │ ├── dune │ ├── include_ml │ ├── test.gtkw │ ├── test.ml │ └── vhdl │ │ ├── Makefile │ │ ├── tb.gtkw │ │ └── tb.vhd ├── ex4 │ ├── Makefile │ ├── Readme.md │ ├── dune │ └── test.ml └── ex5 │ ├── Makefile │ ├── Readme.md │ ├── dune │ ├── test.gtkw │ └── test.ml ├── fsml.opam ├── src ├── bin │ ├── Makefile │ ├── dune │ └── fsml_top.ml └── lib │ ├── Makefile │ ├── action.ml │ ├── action.mli │ ├── builtins.ml │ ├── builtins.mli │ ├── c.ml │ ├── c.mli │ ├── clock.ml │ ├── clock.mli │ ├── dot.ml │ ├── dot.mli │ ├── dune │ ├── event.ml │ ├── event.mli │ ├── expr.ml │ ├── expr.mli │ ├── fsm.ml │ ├── fsm.mli │ ├── fsm_lexer.mll │ ├── fsm_parser.mly │ ├── guard.ml │ ├── guard.mli │ ├── misc.ml │ ├── parse.ml │ ├── parse.mli │ ├── ppxs.ml │ ├── seqmodel.ml │ ├── seqmodel.mli │ ├── simul.ml │ ├── simul.mli │ ├── state.ml │ ├── state.mli │ ├── tevents.ml │ ├── tevents.mli │ ├── transition.ml │ ├── transition.mli │ ├── types.ml │ ├── types.mli │ ├── typing.ml │ ├── typing.mli │ ├── valuation.ml │ ├── valuation.mli │ ├── vcd.ml │ ├── vcd.mli │ ├── vhdl.ml │ └── vhdl.mli └── test ├── parsing ├── dune ├── include_ml └── test.ml ├── ppx ├── check_ppx.ml ├── dune └── test_ppx.ml └── typing └── test.ml /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGES.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/CHANGES.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/README.md -------------------------------------------------------------------------------- /TODO.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/TODO.md -------------------------------------------------------------------------------- /VERSION: -------------------------------------------------------------------------------- 1 | VERSION=0.3.0 2 | -------------------------------------------------------------------------------- /docs/code/fsm_genimp.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/code/fsm_genimp.c -------------------------------------------------------------------------------- /docs/code/fsm_genimp.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/code/fsm_genimp.h -------------------------------------------------------------------------------- /docs/code/fsm_genimp.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/code/fsm_genimp.vhd -------------------------------------------------------------------------------- /docs/figs/genimp-bis.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/figs/genimp-bis.png -------------------------------------------------------------------------------- /docs/figs/genimp-defact.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/figs/genimp-defact.png -------------------------------------------------------------------------------- /docs/figs/genimp-wave.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/figs/genimp-wave.png -------------------------------------------------------------------------------- /docs/figs/genimp.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/figs/genimp.png -------------------------------------------------------------------------------- /docs/fsml/Fsml/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml/Action/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Action/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Builtins/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Builtins/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/C/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/C/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Clock/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Clock/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Dot/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Dot/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Event/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Event/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Expr/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Expr/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Fsm/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Fsm/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Fsm_lexer/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Fsm_lexer/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Fsm_parser/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Fsm_parser/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Guard/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Guard/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Misc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Misc/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Parse/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Parse/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Seqmodel/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Seqmodel/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Simul/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Simul/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/State/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/State/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Tevents/Ops/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Tevents/Ops/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Tevents/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Tevents/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Transition/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Transition/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Types/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Types/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Typing/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Typing/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Valuation/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Valuation/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Vcd/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Vcd/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/Vhdl/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/Vhdl/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Action/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Action/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Action/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Builtins/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Builtins/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Builtins/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__C/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__C/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__C/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Clock/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Clock/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Clock/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Dot/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Dot/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Dot/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Event/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Event/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Event/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Expr/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Expr/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Expr/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Fsm/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Fsm/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Fsm/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Fsm_lexer/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Fsm_lexer/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Fsm_lexer/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Fsm_parser/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Fsm_parser/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Fsm_parser/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Guard/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Guard/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Guard/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Misc/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Misc/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Misc/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Parse/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Parse/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Parse/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Seqmodel/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Seqmodel/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Seqmodel/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Simul/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Simul/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Simul/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__State/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__State/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__State/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Tevents/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Tevents/Ops/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Tevents/Ops/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Tevents/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Tevents/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Transition/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Transition/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Transition/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Types/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Types/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Types/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Typing/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Typing/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Typing/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Valuation/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Valuation/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Valuation/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Vcd/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Vcd/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Vcd/index.html -------------------------------------------------------------------------------- /docs/fsml/Fsml__Vhdl/.dune-keep: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /docs/fsml/Fsml__Vhdl/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/Fsml__Vhdl/index.html -------------------------------------------------------------------------------- /docs/fsml/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/fsml/index.html -------------------------------------------------------------------------------- /docs/highlight.pack.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/highlight.pack.js -------------------------------------------------------------------------------- /docs/index.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/index.html -------------------------------------------------------------------------------- /docs/odoc.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/docs/odoc.css -------------------------------------------------------------------------------- /dune: -------------------------------------------------------------------------------- 1 | (dirs :standard \ attic test) 2 | -------------------------------------------------------------------------------- /dune-project: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/dune-project -------------------------------------------------------------------------------- /etc/c/fsml.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/etc/c/fsml.h -------------------------------------------------------------------------------- /examples/ex1/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex1/Makefile -------------------------------------------------------------------------------- /examples/ex1/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex1/Readme.md -------------------------------------------------------------------------------- /examples/ex1/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex1/dune -------------------------------------------------------------------------------- /examples/ex1/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex1/test.ml -------------------------------------------------------------------------------- /examples/ex2/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/Makefile -------------------------------------------------------------------------------- /examples/ex2/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/Readme.md -------------------------------------------------------------------------------- /examples/ex2/c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/c/Makefile -------------------------------------------------------------------------------- /examples/ex2/c/tb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/c/tb.c -------------------------------------------------------------------------------- /examples/ex2/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/dune -------------------------------------------------------------------------------- /examples/ex2/test.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/test.gtkw -------------------------------------------------------------------------------- /examples/ex2/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/test.ml -------------------------------------------------------------------------------- /examples/ex2/vhdl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/vhdl/Makefile -------------------------------------------------------------------------------- /examples/ex2/vhdl/tb.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/vhdl/tb.gtkw -------------------------------------------------------------------------------- /examples/ex2/vhdl/tb.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex2/vhdl/tb.vhd -------------------------------------------------------------------------------- /examples/ex3/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/Makefile -------------------------------------------------------------------------------- /examples/ex3/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/Readme.md -------------------------------------------------------------------------------- /examples/ex3/c/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/c/Makefile -------------------------------------------------------------------------------- /examples/ex3/c/tb.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/c/tb.c -------------------------------------------------------------------------------- /examples/ex3/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/dune -------------------------------------------------------------------------------- /examples/ex3/include_ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/include_ml -------------------------------------------------------------------------------- /examples/ex3/test.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/test.gtkw -------------------------------------------------------------------------------- /examples/ex3/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/test.ml -------------------------------------------------------------------------------- /examples/ex3/vhdl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/vhdl/Makefile -------------------------------------------------------------------------------- /examples/ex3/vhdl/tb.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/vhdl/tb.gtkw -------------------------------------------------------------------------------- /examples/ex3/vhdl/tb.vhd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex3/vhdl/tb.vhd -------------------------------------------------------------------------------- /examples/ex4/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex4/Makefile -------------------------------------------------------------------------------- /examples/ex4/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex4/Readme.md -------------------------------------------------------------------------------- /examples/ex4/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex4/dune -------------------------------------------------------------------------------- /examples/ex4/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex4/test.ml -------------------------------------------------------------------------------- /examples/ex5/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex5/Makefile -------------------------------------------------------------------------------- /examples/ex5/Readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex5/Readme.md -------------------------------------------------------------------------------- /examples/ex5/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex5/dune -------------------------------------------------------------------------------- /examples/ex5/test.gtkw: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex5/test.gtkw -------------------------------------------------------------------------------- /examples/ex5/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/examples/ex5/test.ml -------------------------------------------------------------------------------- /fsml.opam: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/fsml.opam -------------------------------------------------------------------------------- /src/bin/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/bin/Makefile -------------------------------------------------------------------------------- /src/bin/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/bin/dune -------------------------------------------------------------------------------- /src/bin/fsml_top.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/bin/fsml_top.ml -------------------------------------------------------------------------------- /src/lib/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/Makefile -------------------------------------------------------------------------------- /src/lib/action.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/action.ml -------------------------------------------------------------------------------- /src/lib/action.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/action.mli -------------------------------------------------------------------------------- /src/lib/builtins.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/builtins.ml -------------------------------------------------------------------------------- /src/lib/builtins.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/builtins.mli -------------------------------------------------------------------------------- /src/lib/c.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/c.ml -------------------------------------------------------------------------------- /src/lib/c.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/c.mli -------------------------------------------------------------------------------- /src/lib/clock.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/clock.ml -------------------------------------------------------------------------------- /src/lib/clock.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/clock.mli -------------------------------------------------------------------------------- /src/lib/dot.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/dot.ml -------------------------------------------------------------------------------- /src/lib/dot.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/dot.mli -------------------------------------------------------------------------------- /src/lib/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/dune -------------------------------------------------------------------------------- /src/lib/event.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/event.ml -------------------------------------------------------------------------------- /src/lib/event.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/event.mli -------------------------------------------------------------------------------- /src/lib/expr.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/expr.ml -------------------------------------------------------------------------------- /src/lib/expr.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/expr.mli -------------------------------------------------------------------------------- /src/lib/fsm.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/fsm.ml -------------------------------------------------------------------------------- /src/lib/fsm.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/fsm.mli -------------------------------------------------------------------------------- /src/lib/fsm_lexer.mll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/fsm_lexer.mll -------------------------------------------------------------------------------- /src/lib/fsm_parser.mly: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/fsm_parser.mly -------------------------------------------------------------------------------- /src/lib/guard.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/guard.ml -------------------------------------------------------------------------------- /src/lib/guard.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/guard.mli -------------------------------------------------------------------------------- /src/lib/misc.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/misc.ml -------------------------------------------------------------------------------- /src/lib/parse.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/parse.ml -------------------------------------------------------------------------------- /src/lib/parse.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/parse.mli -------------------------------------------------------------------------------- /src/lib/ppxs.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/ppxs.ml -------------------------------------------------------------------------------- /src/lib/seqmodel.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/seqmodel.ml -------------------------------------------------------------------------------- /src/lib/seqmodel.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/seqmodel.mli -------------------------------------------------------------------------------- /src/lib/simul.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/simul.ml -------------------------------------------------------------------------------- /src/lib/simul.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/simul.mli -------------------------------------------------------------------------------- /src/lib/state.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/state.ml -------------------------------------------------------------------------------- /src/lib/state.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/state.mli -------------------------------------------------------------------------------- /src/lib/tevents.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/tevents.ml -------------------------------------------------------------------------------- /src/lib/tevents.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/tevents.mli -------------------------------------------------------------------------------- /src/lib/transition.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/transition.ml -------------------------------------------------------------------------------- /src/lib/transition.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/transition.mli -------------------------------------------------------------------------------- /src/lib/types.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/types.ml -------------------------------------------------------------------------------- /src/lib/types.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/types.mli -------------------------------------------------------------------------------- /src/lib/typing.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/typing.ml -------------------------------------------------------------------------------- /src/lib/typing.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/typing.mli -------------------------------------------------------------------------------- /src/lib/valuation.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/valuation.ml -------------------------------------------------------------------------------- /src/lib/valuation.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/valuation.mli -------------------------------------------------------------------------------- /src/lib/vcd.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/vcd.ml -------------------------------------------------------------------------------- /src/lib/vcd.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/vcd.mli -------------------------------------------------------------------------------- /src/lib/vhdl.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/vhdl.ml -------------------------------------------------------------------------------- /src/lib/vhdl.mli: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/src/lib/vhdl.mli -------------------------------------------------------------------------------- /test/parsing/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/test/parsing/dune -------------------------------------------------------------------------------- /test/parsing/include_ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/test/parsing/include_ml -------------------------------------------------------------------------------- /test/parsing/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/test/parsing/test.ml -------------------------------------------------------------------------------- /test/ppx/check_ppx.ml: -------------------------------------------------------------------------------- 1 | Ppxlib.Driver.standalone (); 2 | -------------------------------------------------------------------------------- /test/ppx/dune: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/test/ppx/dune -------------------------------------------------------------------------------- /test/ppx/test_ppx.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/test/ppx/test_ppx.ml -------------------------------------------------------------------------------- /test/typing/test.ml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/jserot/fsml/HEAD/test/typing/test.ml --------------------------------------------------------------------------------