summaryrefslogtreecommitdiffstats
path: root/test
Commit message (Expand)AuthorAgeFilesLines
* update debug.dojuehv2016-03-021-0/+4
* add basic spontaneous signal generationjuehv2016-03-011-6/+22
* update automation scriptjuehv2016-03-013-8/+108
* More work on VHDLStefan Radomski2016-02-294-170/+165
* Some more refactoring and VHDL transformationStefan Radomski2016-02-2412-27/+41
* Some refactoring for improved compile timesStefan Radomski2016-02-2310-41/+94
* More work on ANSI C transformationStefan Radomski2016-02-142-68/+86
* Some tidying up of ANSI-C transformationStefan Radomski2016-02-115-114/+1172
* Created compound IRP test for performance measurementsStefan Radomski2016-02-082-0/+6216
* Some polishing for generated ANSI C machinesStefan Radomski2016-02-083-658/+705
* Fixes bugs and memory leaks with generated C state-chartsStefan Radomski2016-02-064-588/+415
* Invokers with generated CStefan Radomski2016-02-044-168/+579
* Preliminary support for SCXML invocations in generated C machinesStefan Radomski2016-02-043-818/+1045
* Prepared the C transformation as a VHDL base classStefan Radomski2016-01-292-352/+151
* Actually generate ANSI C code in uscxml-transformStefan Radomski2016-01-284-122/+478
* VHDL transformationStefan Radomski2016-01-261-0/+42
* Some code beautificationsStefan Radomski2016-01-263-286/+139
* Reverted a erroneous bugfixStefan Radomski2016-01-201-5/+5
* Updated some documentationStefan Radomski2016-01-201-20/+39
* Added transition-less histories as an issue and completed C transformationStefan Radomski2016-01-203-125/+155
* Fixed a bug in generated C with deep initial statesStefan Radomski2016-01-192-90/+236
* Fixed a bug with deep initial states in compounds for C transformationStefan Radomski2016-01-193-150/+127
* Fixed a memory leak in transformed C scaffoldingStefan Radomski2016-01-182-11/+32
* Beautified generated C code from transformationStefan Radomski2016-01-174-289/+343
* Prepared VHDL transformation testsStefan Radomski2016-01-152-2/+8
* Working on C transformationStefan Radomski2016-01-159-461/+862
* Beautified codeStefan Radomski2016-01-109-1151/+1156
* Builds with MSVC againStefan Radomski2016-01-103-179/+91
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-087-196/+695
* Prepared ChartToC transformationStefan Radomski2016-01-067-8/+1136
* All changes up to my dissertationStefan Radomski2015-12-0444-232/+3916
* done.event bug and prolog testsStefan Radomski2015-07-08202-42/+7573
* Various extensions and bug-fixesStefan Radomski2015-07-053-20/+282
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-023-15/+94
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-194-9/+193
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-267-74/+146
* Renamed URI to URLStefan Radomski2014-12-1427-197/+191
* More complete xinclude implementation and testsStefan Radomski2014-12-0714-27/+140
* Support for xincludeStefan Radomski2014-12-057-13/+23
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-055-13/+51
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-0178-233/+265
* Fixed file:// handling bug on windowsStefan Radomski2014-11-151-24/+88
* Support for DataModelExtensionsStefan Radomski2014-11-131-1/+43
* Hopefully fixed unfortunate document.evaluate bug in ECMAScript bindingsStefan Radomski2014-11-121-3/+6
* Data model access example in JavaStefan Radomski2014-11-123-0/+40
* Merge branch 'master' of https://github.com/tklab-tud/uscxmlStefan Radomski2014-11-121-3/+3
|\
| * test-w3c: initialize glog framework earlierAdrian Vogelsgesang2014-11-061-3/+3
* | More work on PROMELA transformationStefan Radomski2014-11-1210-113/+1835
* | More output when transformingStefan Radomski2014-10-211-0/+16
|/
* Optimized Promela generationStefan Radomski2014-10-214-96/+15