summaryrefslogtreecommitdiffstats
path: root/apps
Commit message (Collapse)AuthorAgeFilesLines
* Fixed issue115Stefan Radomski2017-05-011-1/+1
|
* Optimized ANSI-C transformationStefan Radomski2017-04-303-0/+1531
|
* Added explicit newline to most logsStefan Radomski2017-04-272-4/+4
|
* Unified DOM traversal and removed iostreamsStefan Radomski2017-01-301-4/+4
|
* Reactivated BUILD_AS_PLUGINSStefan Radomski2017-01-271-1/+1
|
* Added -Wall for clang and gccStefan Radomski2017-01-231-1/+1
|
* Worked on passing even more IRP testsStefan Radomski2017-01-181-7/+8
|
* Custom logging for interpretersStefan Radomski2016-12-122-4/+4
|
* Oh how I despise MSVCStefan Radomski2016-12-092-4/+4
|
* Removed easylogging due to JNI segfaultsStefan Radomski2016-12-092-3/+3
|
* 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
| | | | 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
generated by cgit v0.12 at 2024-11-17 20:39:25 (GMT)