summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToPromela.cpp
Commit message (Expand)AuthorAgeFilesLines
* Optimized ANSI-C transformationStefan Radomski2017-04-301-1/+1
* Introduced constants for XML namesStefan Radomski2017-01-301-114/+114
* Unified DOM traversal and removed iostreamsStefan Radomski2017-01-301-1/+1
* Reactivated BUILD_AS_PLUGINSStefan Radomski2017-01-271-18/+18
* Custom logging for interpretersStefan Radomski2016-12-121-1/+1
* Oh how I despise MSVCStefan Radomski2016-12-091-1/+1
* Removed easylogging due to JNI segfaultsStefan Radomski2016-12-091-4/+5
* Beautified Code againStefan Radomski2016-11-231-2305/+2305
* Reduced state space for PROMELA transformationStefan Radomski2016-11-211-402/+673
* Drastically reduced the number of atomic steps for verificationStefan Radomski2016-11-171-4/+20
* Impreoved PROMELA transformationStefan Radomski2016-11-161-1406/+1710
* Worked on PROMELA transformationStefan Radomski2016-10-251-0/+2625
* Major Refactoring v2.0Stefan Radomski2016-05-121-3578/+0
* Fixed issue 64 and beautified code againStefan Radomski2016-04-281-1/+1
* Some more refactoring and VHDL transformationStefan Radomski2016-02-241-46/+46
* Some refactoring for improved compile timesStefan Radomski2016-02-231-59/+60
* Beautified codeStefan Radomski2016-01-101-488/+488
* Builds with MSVC againStefan Radomski2016-01-101-1/+1
* All changes up to my dissertationStefan Radomski2015-12-041-27/+56
* Various extensions and bug-fixesStefan Radomski2015-07-051-43/+245
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-081-50/+61
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-021-485/+331
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-158/+299
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-223/+380
* Renamed URI to URLStefan Radomski2014-12-141-27/+154
* Support for xincludeStefan Radomski2014-12-051-9/+6
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-051-6/+15
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-165/+854
* Support for Proxies via USCXML_PROXY environment variable, check CURL_PROXY s...Stefan Radomski2014-11-131-0/+15
* More work on PROMELA transformationStefan Radomski2014-11-121-712/+913
* More output when transformingStefan Radomski2014-10-211-4/+6
* Optimized Promela generationStefan Radomski2014-10-211-9/+14
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-201-0/+2146
generated by cgit v0.12 at 2024-07-05 18:18:28 (GMT)