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

	Commit message (Expand)	Author	Age	Files	Lines
*	Added java transformation target	Stefan Radomski	2016-11-24	1	-1/+1

*	Beautified Code again	Stefan Radomski	2016-11-23	1	-41/+41

*	Reduced state space for PROMELA transformation	Stefan Radomski	2016-11-21	1	-0/+12

*	Impreoved PROMELA transformation	Stefan Radomski	2016-11-16	1	-43/+29

*	Worked on PROMELA transformation	Stefan Radomski	2016-10-25	1	-0/+130

*	Major Refactoring v2.0	Stefan Radomski	2016-05-12	1	-447/+0

*	Some refactoring for improved compile times	Stefan Radomski	2016-02-23	1	-1/+1

*	Beautified code	Stefan Radomski	2016-01-10	1	-63/+63

*	Various extensions and bug-fixes	Stefan Radomski	2015-07-05	1	-1/+9

*	Reactivated PHP bindings and some work on PROMELA	Stefan Radomski	2015-04-02	1	-45/+85

*	Plenty of smaller fixes and adaptations	Stefan Radomski	2015-01-19	1	-1/+30

*	Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel	Stefan Radomski	2014-12-26	1	-4/+11

*	Renamed URI to URL	Stefan Radomski	2014-12-14	1	-1/+2

*	Support for initial attribute with nested scxml invokers	Stefan Radomski	2014-12-05	1	-1/+1

*	Nested invokers and delayed events for PROMELA model checking	Stefan Radomski	2014-12-01	1	-10/+40

*	More work on PROMELA transformation	Stefan Radomski	2014-11-12	1	-45/+95

*	Optimized Promela generation	Stefan Radomski	2014-10-21	1	-1/+4

*	SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...	Stefan Radomski	2014-10-20	1	-0/+279