A DSL for asynchronous behavioural concept circuits specification, including a tool to translate concepts to Signal Transition Graphs and Finite State Machines
To build and run the translation tool, Stack is needed, and can be downloaded for all operating systems from https://docs.haskellstack.org/en/stable/install_and_upgrade/
stack setup --no-system-ghc
stack build
stack test
Invoke the translate executable with a concept circuit file:
stack runghc translate/Main.hs -- examples/Celement_with_env_1.hs
Invoke the translate executable with a concept circuit file, including the "-f" flag:
stack runghc translate/Main.hs -- examples/Celement_with_env_1.hs -f
The manual can be found at doc/manual.md