summaryrefslogtreecommitdiffstats
Commit message (Collapse)AuthorAgeFilesLines
* add a integer to binary string functionjuehv2016-11-232-134/+168
|
* remove unnessesary vcd generationjuehv2016-11-231-2/+2
|
* add test for testing vhdl spontanious transition aber event transitionsjuehv2016-11-231-0/+29
|
* rename filter function accourding to coding stylejuehv2016-11-232-5/+5
|
* add support for non event state machinesjuehv2016-11-231-105/+130
|
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-231-1/+2
|\
| * set return statement of tb compatible to ctestJens Heuschkel2016-11-231-1/+2
| |
* | Fixed CMakeLists.txt for testsStefan Radomski2016-11-234-126/+145
|\ \ | |/
| * mergeJens Heuschkel2016-11-231-272/+272
| |\
| * | update manual test scripft to vhdl08Jens Heuschkel2016-11-231-5/+14
| | |
| * | butify code againJens Heuschkel2016-11-239-4020/+4027
| | |
| * | fix cmake problemJens Heuschkel2016-11-231-283/+286
| | |
| * | Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-231-0/+4
| |\ \
| * | | fix ghdl command bug in ctestJens Heuschkel2016-11-231-1/+1
| | | |
* | | | Fixed CMakeLists.txt for testingStefan Radomski2016-11-231-26/+26
| |_|/ |/| |
* | | Fixed build if no GHDL was foundStefan Radomski2016-11-231-0/+1
| | |
* | | Fixed build if no ghdl was foundStefan Radomski2016-11-231-1/+1
| | |
* | | Beautified Code againStefan Radomski2016-11-239-4020/+4019
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-231-94/+120
|\ \ | |/
| * update ctest for ghdlJens Heuschkel2016-11-231-94/+120
| |
* | Conditionalize VHDL tests on GHDL versionStefan Radomski2016-11-231-0/+4
|/
* Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-235-197/+252
|\
| * 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
| |\
| * | implement some small todoJens Heuschkel2016-11-213-169/+195
| | |
| * | made escape function more vhdl friendlyJens Heuschkel2016-11-211-2/+2
| | |
* | | Checking for GHDL versionStefan Radomski2016-11-231-0/+13
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-219-123/+91
|\ \ | |/
| * 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
| |\
| * | fix some todos in vhdlJens Heuschkel2016-11-177-123/+62
| | |
| * | fix silly error -.-Jens Heuschkel2016-11-171-7/+7
| | |
| * | Add convenient macro escape functionJens Heuschkel2016-11-172-0/+28
| | |
* | | Reduced state space for PROMELA transformationStefan Radomski2016-11-212-402/+685
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-174-189/+163
|\ \ | |/
| * prittyprinterJens Heuschkel2016-11-161-1/+1
| |
| * Merge branch 'master' of github.com:tklab-tud/uscxmlJens Heuschkel2016-11-1610-1548/+1995
| |\
| * | towards a running VHDL state machine (test144 works yey)Jens Heuschkel2016-11-163-189/+162
| | |
| * | add gitignore for manual_test resultsJens Heuschkel2016-11-161-0/+1
| | |
* | | Drastically reduced the number of atomic steps for verificationStefan Radomski2016-11-171-4/+20
| |/ |/|
* | Merge branch 'master' of github.com:tklab-tud/uscxmlStefan Radomski2016-11-164-1380/+1471
|\ \ | |/
| * add manual test script for vhdl code (based on ghdl)juehv2016-11-152-0/+62
| |
| * quick fix vhdl code to compile (but not work) againjuehv2016-11-151-1380/+1407
| |
| * fix cmake filejuehv2016-11-151-0/+2
| |
| * mergejuehv2016-11-15293-2318/+21116
| |\
| * | towards working vhdl againjuehv2016-11-151-1/+1
| | |
* | | Impreoved PROMELA transformationStefan Radomski2016-11-1610-1548/+1995
| |/ |/|
* | Still trying to fix that darned travisStefan Radomski2016-10-261-3/+3
| |