summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform/ChartToFSM.cpp
Commit message (Expand)AuthorAgeFilesLines
* Some more refactoring and VHDL transformationStefan Radomski2016-02-241-43/+43
* Some refactoring for improved compile timesStefan Radomski2016-02-231-29/+30
* Beautified codeStefan Radomski2016-01-101-335/+339
* All changes up to my dissertationStefan Radomski2015-12-041-9/+161
* done.event bug and prolog testsStefan Radomski2015-07-081-18/+17
* Various extensions and bug-fixesStefan Radomski2015-07-051-172/+7
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-081-1/+4
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-191-64/+734
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-2/+12
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-22/+12
* More work on PROMELA transformationStefan Radomski2014-11-121-15/+77
* More output when transformingStefan Radomski2014-10-211-12/+35
* Fixed previous commitStefan Radomski2014-10-211-6/+8
* optimized queue length calculations for promela transformationStefan Radomski2014-10-211-17/+36
* Optimized Promela generationStefan Radomski2014-10-211-37/+200
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous better...Stefan Radomski2014-10-201-671/+435
* Major work on PROMELA datamodelStefan Radomski2014-10-121-130/+151
* API changes with receiveEventStefan Radomski2014-08-261-1/+1
* Builds for Raspberry andStefan Radomski2014-08-131-57/+79
* Reformatted w3c tests with xmllintStefan Radomski2014-08-111-50/+127
* Be more explicit as to why a configuration is invalidStefan Radomski2014-08-081-8/+20
* Catch std::exception before ... and output e.what()Stefan Radomski2014-08-051-16/+41
* Beautified flattened state-machine idsStefan Radomski2014-08-041-27/+3
* Got rid of more dynamic_castsStefan Radomski2014-08-031-25/+28
* See detailled logStefan Radomski2014-07-301-13/+134
* Appr. 15% performance boost by avoiding dynamic_cast in DOMStefan Radomski2014-07-071-18/+3
* More polishing for bindings C# and JavaStefan Radomski2014-07-011-3/+1
* Major header movementStefan Radomski2014-06-271-0/+2
* Updated tests for IRP and work on bindingsStefan Radomski2014-06-231-2/+3
* Builds with MSVC againStefan Radomski2014-05-221-1/+2
* Introduced interpreter.step()Stefan Radomski2014-05-151-4/+4
* Major refactoringStefan Radomski2014-04-221-176/+221
* replaced INT32_MAX with limits.hStefan Radomski2014-04-101-5/+3
* INT32_MAX not definedStefan Radomski2014-04-091-0/+3
* Started with promela datamodelStefan Radomski2014-04-091-0/+1048
generated by cgit v0.12 at 2024-07-15 11:20:34 (GMT)