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
*	Nested invokers and delayed events for PROMELA model checking	Stefan Radomski	2014-12-01	1	-145/+277
\|
*	More work on PROMELA transformation	Stefan Radomski	2014-11-12	1	-1609/+1447
\|
*	Major work on PROMELA datamodel	Stefan Radomski	2014-10-12	1	-335/+398
\|
*	- Prolog DM compiles with recent SWI release again	Stefan Radomski	2014-06-24	1	-1350/+1447
\| \| \| \| \|	- Bugfixes for stress test - Beautified code
*	Builds with MSVC again	Stefan Radomski	2014-05-22	1	-1298/+1353
\|
*	Major refactoring	Stefan Radomski	2014-04-22	1	-1364/+1315
\| \| \| \| \| \|	- Moved tests - Changes to promela datamodel - Implemented Trie
*	More work on promela DM	Stefan Radomski	2014-04-11	1	-2/+2
\| \| \| \|	changed const of Data subscript operator and introduced at(key) and item(index)
*	More work on promela DM	Stefan Radomski	2014-04-10	1	-347/+560
\|
*	Started with promela datamodel	Stefan Radomski	2014-04-09	1	-0/+2176