summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToFSM.h
Commit message (Expand)AuthorAgeFilesLines
* Some refactoring for improved compile timesStefan Radomski2016-02-231-1/+1
* Beautified codeStefan Radomski2016-01-101-33/+33
* All changes up to my dissertationStefan Radomski2015-12-041-0/+4
* done.event bug and prolog testsStefan Radomski2015-07-081-1/+1
* Various extensions and bug-fixesStefan Radomski2015-07-051-38/+0
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-9/+106
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-11/+20
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-0/+2
* More work on PROMELA transformationStefan Radomski2014-11-121-5/+51
* More output when transformingStefan Radomski2014-10-211-0/+3
* optimized queue length calculations for promela transformationStefan Radomski2014-10-211-0/+1
* Optimized Promela generationStefan Radomski2014-10-211-1/+19
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-201-78/+84
* Major work on PROMELA datamodelStefan Radomski2014-10-121-8/+8
* Builds for Raspberry andStefan Radomski2014-08-131-4/+5
* Reformatted w3c tests with xmllintStefan Radomski2014-08-111-3/+15
* Be more explicit as to why a configuration is invalidStefan Radomski2014-08-081-1/+2
* Catch std::exception before ... and output e.what()Stefan Radomski2014-08-051-1/+5
* Got rid of more dynamic_castsStefan Radomski2014-08-031-10/+10
* See detailled logStefan Radomski2014-07-301-1/+31
* Appr. 15% performance boost by avoiding dynamic_cast in DOMStefan Radomski2014-07-071-4/+2
* Updated tests for IRP and work on bindingsStefan Radomski2014-06-231-1/+1
* Changed getNames signature from set to listStefan Radomski2014-06-061-4/+4
* Major refactoringStefan Radomski2014-04-221-22/+24
* Started with promela datamodelStefan Radomski2014-04-091-0/+154
generated by cgit v0.12 at 2024-07-15 10:34:45 (GMT)