summaryrefslogtreecommitdiffstats
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
| * Merge branch 'master' of https://github.com/tklab-tud/uscxml into FixDataWith...Matthias Gabriel2016-12-162-11/+12
| |\
| * | Add constructor for DOMNode'sMatthias Gabriel2016-12-161-0/+1
* | | First implementation of Python wrappersStefan Radomski2016-12-245-6/+226
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-12-152-1/+2
|\ \ | |/
| * Add missing mutex includesMatthias Gabriel2016-12-152-1/+2
* | Prevented overflow with size_t::max for durationsStefan Radomski2016-12-152-11/+12
|/
* Reduced header dependenciesStefan Radomski2016-12-124-22/+21
* DebugSession implements new Logger ABCStefan Radomski2016-12-124-26/+76
* Custom logging for interpretersStefan Radomski2016-12-1222-96/+122
* Fixed the MSVC buildStefan Radomski2016-12-121-2/+2
* Added test / example for pausable eventqueueStefan Radomski2016-12-1236-1854/+1865
* Reduced foreign header dependenciesStefan Radomski2016-12-1124-344/+410
* Fixed issue 97Stefan Radomski2016-12-101-1/+1
* Fixed unresolved getcwd with MSVCStefan Radomski2016-12-091-0/+2
* Oh how I despise MSVCStefan Radomski2016-12-0917-107/+99
* Removed easylogging due to JNI segfaultsStefan Radomski2016-12-0929-44/+381
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-12-062-1400/+1605
|\
| * Merge branch 'master' of github.com:tklab-tud/uscxmljuehv2016-12-064-29/+44
| |\
| * | add condition solver sceletonjuehv2016-12-062-1400/+1605
* | | Use existing ActionLanguage to create new instances in invoked interpretersStefan Radomski2016-12-0617-9/+75
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-12-021-10/+18
|\ \ | |/
| * fix spontaneous transition problem when state chart has no eventsjuehv2016-12-011-10/+18
* | Fixed Lua wchar problem for old swig intallationsStefan Radomski2016-12-024-29/+44
|/
* Refactored Java into bindings and generatedStefan Radomski2016-11-284-6/+60
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-244-236/+465
|\
| * Merge branch 'master' of github.com:tklab-tud/uscxmljuehv2016-11-232-8/+22
| |\
| * | beatify code againjuehv2016-11-234-1609/+1609
| * | remove some unused codejuehv2016-11-232-76/+1
| * | change event handling from special type to std_logic_vector for better simula...juehv2016-11-232-1318/+1563
| * | add a integer to binary string functionjuehv2016-11-232-134/+168
| * | rename filter function accourding to coding stylejuehv2016-11-232-5/+5
| * | add support for non event state machinesjuehv2016-11-231-105/+130
* | | Added java transformation targetStefan Radomski2016-11-243-1/+97
| |/ |/|
* | Fixed space normalization in content elementStefan Radomski2016-11-231-3/+5
* | Passing all Lua tests againStefan Radomski2016-11-231-5/+17
|/
* set return statement of tb compatible to ctestJens Heuschkel2016-11-231-1/+2
* butify code againJens Heuschkel2016-11-239-4020/+4027
* update testbench for better automatic testingJens Heuschkel2016-11-221-11/+45
* improved excapeMacro to produce vhdl supported namesJens Heuschkel2016-11-222-17/+12
* Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-212-402/+685
|\
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-214-122/+83
| |\
| * | Reduced state space for PROMELA transformationStefan Radomski2016-11-212-402/+685
* | | implement some small todoJens Heuschkel2016-11-212-168/+194
* | | made escape function more vhdl friendlyJens Heuschkel2016-11-211-2/+2
| |/ |/|
* | ups sorry :(Jens Heuschkel2016-11-211-10/+10
* | change function name according to convention; fix && problemJens Heuschkel2016-11-212-3/+4
* | Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-171-4/+20
|\ \ | |/
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-172-188/+161
| |\
| * | Drastically reduced the number of atomic steps for verificationStefan Radomski2016-11-171-4/+20
* | | fix some todos in vhdlJens Heuschkel2016-11-172-122/+54