summaryrefslogtreecommitdiffstats
path: root/src/uscxml/transform
Commit message (Expand)AuthorAgeFilesLines
* 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
* Fixed issue 64 and beautified code againStefan Radomski2016-04-284-1419/+1419
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-04-221-80/+377
|\
| * add 2 tmp vhdl write scriptsjuehv2016-04-051-2/+1
| * mergejuehv2016-04-051-0/+2
| |\
| | * fix some S*juehv2016-03-311-15/+33
| * | updatejuehv2016-04-051-22/+52
| |/
| * add todosjuehv2016-03-311-4/+5
| * fix event reset bugjuehv2016-03-171-6/+30
generated by cgit v0.12 at 2024-11-05 07:36:50 (GMT)