summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform
Commit message (Expand)AuthorAgeFilesLines
* Fixed issue 136Stefan Radomski2017-05-221-1/+1
* Optimized ANSI-C transformationStefan Radomski2017-04-303-32/+76
* Reduced dependencies on XercesCStefan Radomski2017-04-121-1/+2
* Missing pthread dependency on linuxStefan Radomski2017-02-081-1/+1
* Reduced dependencies to compile test-gen-c to smaller executableStefan Radomski2017-02-031-1/+3
* Introduced constants for XML namesStefan Radomski2017-01-304-439/+439
* Unified DOM traversal and removed iostreamsStefan Radomski2017-01-307-11/+10
* Reactivated BUILD_AS_PLUGINSStefan Radomski2017-01-277-35/+46
* Custom logging for interpretersStefan Radomski2016-12-121-1/+1
* Added test / example for pausable eventqueueStefan Radomski2016-12-123-1632/+1632
* Oh how I despise MSVCStefan Radomski2016-12-091-1/+1
* Removed easylogging due to JNI segfaultsStefan Radomski2016-12-094-7/+8
* add condition solver sceletonjuehv2016-12-062-1400/+1605
* fix spontaneous transition problem when state chart has no eventsjuehv2016-12-011-10/+18
* Refactored Java into bindings and generatedStefan Radomski2016-11-283-4/+57
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-242-223/+418
|\
| * beatify code againjuehv2016-11-232-1453/+1453
| * 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
| * 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
|/
* set return statement of tb compatible to ctestJens Heuschkel2016-11-231-1/+2
* butify code againJens Heuschkel2016-11-237-4006/+4014
* update testbench for better automatic testingJens Heuschkel2016-11-221-11/+45
* 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-212-122/+54
| |\
| * | Reduced state space for PROMELA transformationStefan Radomski2016-11-212-402/+685
* | | implement some small todoJens Heuschkel2016-11-212-168/+194
| |/ |/|
* | ups sorry :(Jens Heuschkel2016-11-211-10/+10
* | 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
| |/ |/|
* | prittyprinterJens Heuschkel2016-11-161-1/+1
* | Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-165-1459/+1804
|\ \ | |/
| * Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-161-1380/+1407
| |\
| * | Impreoved PROMELA transformationStefan Radomski2016-11-165-1459/+1804
* | | towards a running VHDL state machine (test144 works yey)Jens Heuschkel2016-11-162-188/+161
| |/ |/|
* | quick fix vhdl code to compile (but not work) againjuehv2016-11-151-1380/+1407
|/
* Worked on PROMELA transformationStefan Radomski2016-10-2510-1296/+5075
* restore vhdl transformationjuehv2016-06-271-16/+6
* AddendumStefan Radomski2016-06-161-1/+1
* Fixed issue86 and some more bug fixesStefan Radomski2016-06-161-1/+1
* addendum to issue84 fix for swigStefan Radomski2016-06-131-1/+1
* Reactivated VHDL transformationStefan Radomski2016-06-132-1319/+1309
* Refactored for public headers and started documentationStefan Radomski2016-05-194-32/+33
* Builds cleanly for VS2015Stefan Radomski2016-05-131-1/+1
* Conditionalized V8 on version and used C++11 list initializersStefan Radomski2016-05-121-26/+19
* Major Refactoring v2.0Stefan Radomski2016-05-1222-10134/+637