uscxml.git - SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua

	Commit message (Collapse)	Author	Age	Files	Lines
*	Reactivated PHP bindings and some work on PROMELA	Stefan Radomski	2015-04-02	1	-0/+56
\|
*	Nested invokers and delayed events for PROMELA model checking	Stefan Radomski	2014-12-01	1	-1/+15
\|
*	More work on PROMELA transformation	Stefan Radomski	2014-11-12	1	-83/+87
\|
*	SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵	Stefan Radomski	2014-10-20	1	-9/+9
\| \| \| \|	better memory footprint
*	Major work on PROMELA datamodel	Stefan Radomski	2014-10-12	1	-4/+14
\|
*	Support for custom event sources with promela	Stefan Radomski	2014-04-24	1	-12/+174
\|
*	Major refactoring	Stefan Radomski	2014-04-22	1	-44/+45
\| \| \| \| \| \|	- Moved tests - Changes to promela datamodel - Implemented Trie
*	More work on promela DM	Stefan Radomski	2014-04-11	1	-0/+1
\| \| \| \|	changed const of Data subscript operator and introduced at(key) and item(index)
*	More work on promela DM	Stefan Radomski	2014-04-10	1	-25/+48
\|
*	Started with promela datamodel	Stefan Radomski	2014-04-09	1	-0/+44