summaryrefslogtreecommitdiffstats
path: root/apps
Commit message (Expand)AuthorAgeFilesLines
* Refactored Java into bindings and generatedStefan Radomski2016-11-281-26/+4
* Added java transformation targetStefan Radomski2016-11-241-2/+20
* Impreoved PROMELA transformationStefan Radomski2016-11-161-31/+32
* Still trying to fix build issuesStefan Radomski2016-10-251-1/+1
* Worked on PROMELA transformationStefan Radomski2016-10-251-14/+13
* restore vhdl transformationjuehv2016-06-271-11/+11
* Smaller bug-fixes and refactoringsStefan Radomski2016-06-232-14/+34
* Started to port Debugger and issue 87Stefan Radomski2016-06-182-1/+2837
* Dire bug in uscxml-browser, smaller fixes and documentationStefan Radomski2016-05-191-0/+1
* Refactored for public headers and started documentationStefan Radomski2016-05-191-1/+3
* Make install will work againStefan Radomski2016-05-131-0/+177
* 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
* 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 better...Stefan Radomski2014-10-201-25/+40
* Major work on PROMELA datamodelStefan Radomski2014-10-121-2/+2
* API changes with receiveEventStefan Radomski2014-08-261-0/+1
* 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
* 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
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-242-2/+2