summaryrefslogtreecommitdiffstats
path: root/test/w3c
Commit message (Collapse)AuthorAgeFilesLines
* Prepared the C transformation as a VHDL base classStefan Radomski2016-01-291-29/+29
|
* Actually generate ANSI C code in uscxml-transformStefan Radomski2016-01-282-35/+35
|
* Fixed a memory leak in transformed C scaffoldingStefan Radomski2016-01-181-3/+20
|
* Prepared VHDL transformation testsStefan Radomski2016-01-151-1/+6
|
* Working on C transformationStefan Radomski2016-01-153-53/+123
|
* Fixed compilation for gcc on Linux againStefan Radomski2016-01-081-0/+4
|
* Prepared ChartToC transformationStefan Radomski2016-01-061-0/+47
|
* All changes up to my dissertationStefan Radomski2015-12-0431-93/+3090
|
* done.event bug and prolog testsStefan Radomski2015-07-08198-40/+7496
| | | | Fixed the done.event bug and added first prolog transformed IRP tests
* Various extensions and bug-fixesStefan Radomski2015-07-052-7/+64
|
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-192-9/+17
|
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-264-6/+78
|
* Renamed URI to URLStefan Radomski2014-12-1420-190/+163
| | | | Some fixes for Xincludes
* Support for initial attribute with nested scxml invokersStefan Radomski2014-12-053-2/+6
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-0175-182/+218
|
* More work on PROMELA transformationStefan Radomski2014-11-124-27/+1698
|
* Optimized Promela generationStefan Radomski2014-10-214-96/+15
|
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-205-1/+264
| | | | better memory footprint
* Passing all tests but xpath and luaStefan Radomski2014-10-1216-56/+61
|
* Major work on PROMELA datamodelStefan Radomski2014-10-12202-171/+7545
|
* Create default timeouts for tests and adapt in test-w3c via DOMStefan Radomski2014-08-2818-32/+31
|
* Reformatted w3c tests with xmllintStefan Radomski2014-08-11430-11828/+13530
|
* See detailled logStefan Radomski2014-07-3017-20/+20
| | | | | | | - Forcing Data.Type for Data(String) constructor now, default used to be INTERPRETED. - setDataModel and addIOProcessor on interpreter now - fixed a bug with Data(bool) constructor - various smaller fixes
* More work on lua datamodelStefan Radomski2014-07-2337-715/+14
|
* Improved support for dot outputStefan Radomski2014-07-151-1/+1
|
* First signs of Lua DatamodelStefan Radomski2014-07-08243-0/+6261
|
* Removed w3c ecma tests from xpath and vice versaStefan Radomski2014-07-0356-1212/+13
|
* Introduced isLocation for datamodels to check for valid namelist entriesStefan Radomski2014-07-032-3/+3
|
* Got ready for cmake3 and some minor fixesStefan Radomski2014-07-0320-32/+65
|
* More polishing for bindings C# and JavaStefan Radomski2014-07-0148-76/+96
|
* Major header movementStefan Radomski2014-06-2720-207/+74
| | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests
* Work on bindingsStefan Radomski2014-06-2514-11/+93
| | | | | | - Introduced exceptions into C# and Java - Moved binding examples to /embedding - Interpreter will now throw exceptions, beware!
* Updated tests for IRP and work on bindingsStefan Radomski2014-06-2378-133/+827
|
* Major refactoringStefan Radomski2014-04-22713-0/+23476
- Moved tests - Changes to promela datamodel - Implemented Trie