summaryrefslogtreecommitdiffstats
Commit message (Expand)AuthorAgeFilesLines
...
* | Improved overview on test tableStefan Radomski2016-11-231-43/+98
|/
* 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
* | Still trying to fic travis CI ...Stefan Radomski2016-10-261-3/+3
* | Still trying to fix travis ...Stefan Radomski2016-10-261-2/+5
* | Trying to force clang 3.5 with travis CIStefan Radomski2016-10-261-1/+1
* | Still trying to fix travis CIStefan Radomski2016-10-262-3/+2