summaryrefslogtreecommitdiffstats
path: root/apps
Commit message (Collapse)AuthorAgeFilesLines
* Major Refactoring v2.0Stefan Radomski2016-05-1259-11900/+82
|
* Fixed issue 64 and beautified code againStefan Radomski2016-04-281-0/+3
|
* Some more refactoring and VHDL transformationStefan Radomski2016-02-242-2/+2
|
* Some refactoring for improved compile timesStefan Radomski2016-02-234-7/+7
|
* Some tidying up of ANSI-C transformationStefan Radomski2016-02-111-3/+36
|
* Preliminary support for SCXML invocations in generated C machinesStefan Radomski2016-02-041-22/+22
|
* Prepared ANSI C transformation with invokersStefan Radomski2016-01-301-42/+62
|
* Actually generate ANSI C code in uscxml-transformStefan Radomski2016-01-281-1/+3
|
* Beautified codeStefan Radomski2016-01-261-12/+12
|
* VHDL transformationStefan Radomski2016-01-261-0/+15
|
* Beautified codeStefan Radomski2016-01-103-177/+177
|
* Builds with MSVC againStefan Radomski2016-01-101-0/+1
|
* Prepared ChartToC transformationStefan Radomski2016-01-061-3/+18
|
* All changes up to my dissertationStefan Radomski2015-12-048-37/+66
|
* Various extensions and bug-fixesStefan Radomski2015-07-051-60/+106
|
* Some fixes for transition preemption with flatteningStefan Radomski2015-05-081-7/+12
|
* Reactivated PHP bindings and some work on PROMELAStefan Radomski2015-04-021-0/+6
|
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-193-57/+291
|
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-261-13/+17
|
* Renamed URI to URLStefan Radomski2014-12-143-3/+3
| | | | Some fixes for Xincludes
* Support for xincludeStefan Radomski2014-12-051-1/+3
|
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-011-1/+11
|
* Fixed file:// handling bug on windowsStefan Radomski2014-11-151-1/+1
|
* Merge branch 'master' of https://github.com/tklab-tud/uscxmlStefan Radomski2014-11-121-2/+2
|\
| * samples/put-that-there: removed an errornous tabAdrian Vogelsgesang2014-11-041-2/+2
| |
* | More work on PROMELA transformationStefan Radomski2014-11-121-4/+17
|/
* SCXML -> Promela skips intermediate explicit flat SCXML for ridiculous ↵Stefan Radomski2014-10-201-25/+40
| | | | better memory footprint
* Major work on PROMELA datamodelStefan Radomski2014-10-121-2/+2
|
* API changes with receiveEventStefan Radomski2014-08-261-0/+1
| | | | | - receiveEvent will deliver to external queue now per default - switched Interpreter implementations to the new algorithm from spec
* More issues being idenified via interpreter.validate()Stefan Radomski2014-08-211-0/+9
|
* Got rid of more dynamic_castsStefan Radomski2014-08-032-2/+2
|
* Support for ignoring libraries when building and minimal buildsStefan Radomski2014-07-311-1/+11
|
* See detailled logStefan Radomski2014-07-303-34/+26
| | | | | | | - 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-231-24/+35
|
* try / catch blocks for applications and work on dot outputStefan Radomski2014-07-213-96/+139
|
* Improved support for dot outputStefan Radomski2014-07-152-5/+110
|
* Stop registering a custom exception handlerStefan Radomski2014-07-042-73/+2
|
* Major header movementStefan Radomski2014-06-272-0/+8
| | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-242-2/+2
| | | | | - Bugfixes for stress test - Beautified code
* Updated tests for IRP and work on bindingsStefan Radomski2014-06-231-25/+44
|
* Still with the getNames refactoringStefan Radomski2014-06-071-3/+3
|
* pulling straws for vaadin integrationStefan Radomski2014-06-061-4/+12
|
* More debug info on webgl viewerStefan Radomski2014-06-062-2/+4
|
* Changed getNames signature from set to listStefan Radomski2014-06-064-528/+1812
|
* Builds as plugins againStefan Radomski2014-05-232-2/+2
|
* Started with JavaScript DM in Java (Rhino)Stefan Radomski2014-05-123-436/+543
|
* Major refactoringStefan Radomski2014-04-222-47/+89
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* Started with promela datamodelStefan Radomski2014-04-093-0/+238
|
* Support different threads on prolog datamodelStefan Radomski2014-03-121-10/+11
|
* Integrated debugger into browser (use -d command line parameter)Stefan Radomski2014-03-113-85/+2847
|