summaryrefslogtreecommitdiffstats
path: root/src/uscxml/plugins/datamodel/promela
Commit message (Collapse)AuthorAgeFilesLines
* Reenabled V8, Debugger tests and smaller fixesStefan Radomski2017-08-017-1571/+1429
|
* Beautified codeStefan Radomski2017-07-191-2/+2
|
* DOM with Lua DataModel and dropped V8Stefan Radomski2017-07-191-4/+5
|
* Various bug fixesStefan Radomski2017-05-141-5/+5
|
* Passes more tests againStefan Radomski2017-05-141-0/+4
|
* Fixed issue 114Stefan Radomski2017-05-102-9/+13
|
* Fixed issue 117Stefan Radomski2017-05-032-2/+5
|
* Reduced dependencies on XercesCStefan Radomski2017-04-121-5/+17
|
* Included UriParser in contrib directoryStefan Radomski2017-04-041-0/+6
|
* 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
| | | | Some fixes for Xincludes
* 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
| | | | | | - Used IWYU to reorganize headers - Dropped PHP support - Updated tests
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-243-2273/+2306
| | | | | - Bugfixes for stress test - Beautified code
* 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
| | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie
* More work on promela DMStefan Radomski2014-04-116-38/+112
| | | | changed const of Data subscript operator and introduced at(key) and item(index)
* More work on promela DMStefan Radomski2014-04-109-853/+1255
|
* Started with promela datamodelStefan Radomski2014-04-099-0/+5672
generated by cgit v0.12 at 2024-09-16 09:36:35 (GMT)