diff options
author | Stefan Radomski <sradomski@mintwerk.de> | 2016-01-29 10:26:06 (GMT) |
---|---|---|
committer | Stefan Radomski <sradomski@mintwerk.de> | 2016-01-29 10:26:06 (GMT) |
commit | 566b465fa98a1b63671e3a91a278032b98c06359 (patch) | |
tree | fc077226fedc0f42727e330ac6514c642643c5a2 /README.md | |
parent | 81799f6f7d667e11ba0a30875046ca3dc0c63fe7 (diff) | |
download | uscxml-566b465fa98a1b63671e3a91a278032b98c06359.zip uscxml-566b465fa98a1b63671e3a91a278032b98c06359.tar.gz uscxml-566b465fa98a1b63671e3a91a278032b98c06359.tar.bz2 |
Prepared the C transformation as a VHDL base class
Diffstat (limited to 'README.md')
-rw-r--r-- | README.md | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -67,7 +67,7 @@ for SCXML documents and currently implements the following features: * [Flattened SCXML documents](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToFlatSCXML.cpp) in which only a single state is ever active * Resulting documents require slight adaptations to a compliant interpreter for donedata, the <tt>In</tt> predicate and invokers. * Semantic equivalence is shown via IRP tests. - * [C native code](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToC.cpp) for easy embedding of SCXML state-charts in C and C++ programs + * [ANSI C native code](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToC.cpp) for easy embedding of SCXML state-charts in C and C++ programs * No invokers are implemented at the moment and only a single SCXML state-chart can be given in a given document. * [PROMELA programs](https://github.com/tklab-tud/uscxml/blob/master/src/uscxml/transform/ChartToPromela.cpp) for model-checking via linear temporal logic with the SPIN model-checker. * Only defined for the <tt>promela</tt> and <tt>null</tt> datamodel. |