index
:
uscxml.git
gh-pages
legacy-1.0
master
sradomski
ts-uscxml-tascxml
SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua
summary
refs
log
tree
commit
diff
stats
log msg
author
committer
range
path:
root
/
src
/
uscxml
/
transform
/
ChartToPromela.h
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