summaryrefslogtreecommitdiffstats
path: root/README.md
diff options
context:
space:
mode:
authorStefan Radomski <sradomski@mintwerk.de>2016-01-29 10:26:06 (GMT)
committerStefan Radomski <sradomski@mintwerk.de>2016-01-29 10:26:06 (GMT)
commit566b465fa98a1b63671e3a91a278032b98c06359 (patch)
treefc077226fedc0f42727e330ac6514c642643c5a2 /README.md
parent81799f6f7d667e11ba0a30875046ca3dc0c63fe7 (diff)
downloaduscxml-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.md2
1 files changed, 1 insertions, 1 deletions
diff --git a/README.md b/README.md
index 6e29edd..b8f668c 100644
--- a/README.md
+++ b/README.md
@@ -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.