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.cpp
Commit message (
Expand
)
Author
Age
Files
Lines
*
Beautified Code again
Stefan Radomski
2016-11-23
1
-2305/+2305
*
Reduced state space for PROMELA transformation
Stefan Radomski
2016-11-21
1
-402/+673
*
Drastically reduced the number of atomic steps for verification
Stefan Radomski
2016-11-17
1
-4/+20
*
Impreoved PROMELA transformation
Stefan Radomski
2016-11-16
1
-1406/+1710
*
Worked on PROMELA transformation
Stefan Radomski
2016-10-25
1
-0/+2625
*
Major Refactoring v2.0
Stefan Radomski
2016-05-12
1
-3578/+0
*
Fixed issue 64 and beautified code again
Stefan Radomski
2016-04-28
1
-1/+1
*
Some more refactoring and VHDL transformation
Stefan Radomski
2016-02-24
1
-46/+46
*
Some refactoring for improved compile times
Stefan Radomski
2016-02-23
1
-59/+60
*
Beautified code
Stefan Radomski
2016-01-10
1
-488/+488
*
Builds with MSVC again
Stefan Radomski
2016-01-10
1
-1/+1
*
All changes up to my dissertation
Stefan Radomski
2015-12-04
1
-27/+56
*
Various extensions and bug-fixes
Stefan Radomski
2015-07-05
1
-43/+245
*
Some fixes for transition preemption with flattening
Stefan Radomski
2015-05-08
1
-50/+61
*
Reactivated PHP bindings and some work on PROMELA
Stefan Radomski
2015-04-02
1
-485/+331
*
Plenty of smaller fixes and adaptations
Stefan Radomski
2015-01-19
1
-158/+299
*
Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodel
Stefan Radomski
2014-12-26
1
-223/+380
*
Renamed URI to URL
Stefan Radomski
2014-12-14
1
-27/+154
*
Support for xinclude
Stefan Radomski
2014-12-05
1
-9/+6
*
Support for initial attribute with nested scxml invokers
Stefan Radomski
2014-12-05
1
-6/+15
*
Nested invokers and delayed events for PROMELA model checking
Stefan Radomski
2014-12-01
1
-165/+854
*
Support for Proxies via USCXML_PROXY environment variable, check CURL_PROXY s...
Stefan Radomski
2014-11-13
1
-0/+15
*
More work on PROMELA transformation
Stefan Radomski
2014-11-12
1
-712/+913
*
More output when transforming
Stefan Radomski
2014-10-21
1
-4/+6
*
Optimized Promela generation
Stefan Radomski
2014-10-21
1
-9/+14
*
SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...
Stefan Radomski
2014-10-20
1
-0/+2146