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
/
ChartToFSM.h
Commit message (
Expand
)
Author
Age
Files
Lines
*
More work on PROMELA transformation
Stefan Radomski
2014-11-12
1
-5/+51
*
More output when transforming
Stefan Radomski
2014-10-21
1
-0/+3
*
optimized queue length calculations for promela transformation
Stefan Radomski
2014-10-21
1
-0/+1
*
Optimized Promela generation
Stefan Radomski
2014-10-21
1
-1/+19
*
SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...
Stefan Radomski
2014-10-20
1
-78/+84
*
Major work on PROMELA datamodel
Stefan Radomski
2014-10-12
1
-8/+8
*
Builds for Raspberry and
Stefan Radomski
2014-08-13
1
-4/+5
*
Reformatted w3c tests with xmllint
Stefan Radomski
2014-08-11
1
-3/+15
*
Be more explicit as to why a configuration is invalid
Stefan Radomski
2014-08-08
1
-1/+2
*
Catch std::exception before ... and output e.what()
Stefan Radomski
2014-08-05
1
-1/+5
*
Got rid of more dynamic_casts
Stefan Radomski
2014-08-03
1
-10/+10
*
See detailled log
Stefan Radomski
2014-07-30
1
-1/+31
*
Appr. 15% performance boost by avoiding dynamic_cast in DOM
Stefan Radomski
2014-07-07
1
-4/+2
*
Updated tests for IRP and work on bindings
Stefan Radomski
2014-06-23
1
-1/+1
*
Changed getNames signature from set to list
Stefan Radomski
2014-06-06
1
-4/+4
*
Major refactoring
Stefan Radomski
2014-04-22
1
-22/+24
*
Started with promela datamodel
Stefan Radomski
2014-04-09
1
-0/+154