summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela
Commit message (Expand)AuthorAgeFilesLines
* Unified DOM traversal and removed iostreamsStefan Radomski2017-01-301-7/+7
* Reactivated BUILD_AS_PLUGINSStefan Radomski2017-01-274-8/+7
* Worked on passing even more IRP testsStefan Radomski2017-01-183-58/+86
* Custom logging for interpretersStefan Radomski2016-12-121-1/+1
* Oh how I despise MSVCStefan Radomski2016-12-091-1/+1
* Removed easylogging due to JNI segfaultsStefan Radomski2016-12-091-1/+1
* Beautified Code againStefan Radomski2016-11-231-1/+1
* Trying to fix the build on all platformsStefan Radomski2016-10-251-1/+2
* Fixing build errorsStefan Radomski2016-10-251-2/+2
* Worked on PROMELA transformationStefan Radomski2016-10-259-0/+7017
* Major Refactoring v2.0Stefan Radomski2016-05-129-7118/+0
* Fixed issue 64 and beautified code againStefan Radomski2016-04-282-2/+2
* Some more refactoring and VHDL transformationStefan Radomski2016-02-242-3/+3
* Some refactoring for improved compile timesStefan Radomski2016-02-232-3/+5
* Working on C transformationStefan Radomski2016-01-151-1/+1
* Beautified codeStefan Radomski2016-01-105-2440/+2488
* Prepared ChartToC transformationStefan Radomski2016-01-062-2/+2
* All changes up to my dissertationStefan Radomski2015-12-041-3/+3
* Plenty of smaller fixes and adaptationsStefan Radomski2015-01-192-1/+12
* Plenty of smaller bug-fixes for uscxml-transform and PROMELA datamodelStefan Radomski2014-12-264-106/+166
* Renamed URI to URLStefan Radomski2014-12-142-37/+32
* More complete xinclude implementation and testsStefan Radomski2014-12-072-3/+18
* Nested invokers and delayed events for PROMELA model checkingStefan Radomski2014-12-017-233/+507
* More work on PROMELA transformationStefan Radomski2014-11-124-2520/+2408
* Major work on PROMELA datamodelStefan Radomski2014-10-129-587/+1069
* Got rid of more dynamic_castsStefan Radomski2014-08-032-3/+3
* Introduced isLocation for datamodels to check for valid namelist entriesStefan Radomski2014-07-032-0/+5
* More polishing for bindings C# and JavaStefan Radomski2014-07-012-25/+18
* Major header movementStefan Radomski2014-06-271-0/+2
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-243-2273/+2306
* Changed getNames signature from set to listStefan Radomski2014-06-061-3/+3
* Builds with MSVC againStefan Radomski2014-05-227-2379/+2498
* Beautified CodeStefan Radomski2014-04-222-2/+2
* Major refactoringStefan Radomski2014-04-227-2505/+2548
* More work on promela DMStefan Radomski2014-04-116-38/+112
* More work on promela DMStefan Radomski2014-04-109-853/+1255
* Started with promela datamodelStefan Radomski2014-04-099-0/+5672