Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | add a integer to binary string function | juehv | 2016-11-23 | 2 | -134/+168 |
| | |||||
* | remove unnessesary vcd generation | juehv | 2016-11-23 | 1 | -2/+2 |
| | |||||
* | add test for testing vhdl spontanious transition aber event transitions | juehv | 2016-11-23 | 1 | -0/+29 |
| | |||||
* | rename filter function accourding to coding style | juehv | 2016-11-23 | 2 | -5/+5 |
| | |||||
* | add support for non event state machines | juehv | 2016-11-23 | 1 | -105/+130 |
| | |||||
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-23 | 1 | -1/+2 |
|\ | |||||
| * | set return statement of tb compatible to ctest | Jens Heuschkel | 2016-11-23 | 1 | -1/+2 |
| | | |||||
* | | Fixed CMakeLists.txt for tests | Stefan Radomski | 2016-11-23 | 4 | -126/+145 |
|\ \ | |/ | |||||
| * | merge | Jens Heuschkel | 2016-11-23 | 1 | -272/+272 |
| |\ | |||||
| * | | update manual test scripft to vhdl08 | Jens Heuschkel | 2016-11-23 | 1 | -5/+14 |
| | | | |||||
| * | | butify code again | Jens Heuschkel | 2016-11-23 | 9 | -4020/+4027 |
| | | | |||||
| * | | fix cmake problem | Jens Heuschkel | 2016-11-23 | 1 | -283/+286 |
| | | | |||||
| * | | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-23 | 1 | -0/+4 |
| |\ \ | |||||
| * | | | fix ghdl command bug in ctest | Jens Heuschkel | 2016-11-23 | 1 | -1/+1 |
| | | | | |||||
* | | | | Fixed CMakeLists.txt for testing | Stefan Radomski | 2016-11-23 | 1 | -26/+26 |
| |_|/ |/| | | |||||
* | | | Fixed build if no GHDL was found | Stefan Radomski | 2016-11-23 | 1 | -0/+1 |
| | | | |||||
* | | | Fixed build if no ghdl was found | Stefan Radomski | 2016-11-23 | 1 | -1/+1 |
| | | | |||||
* | | | Beautified Code again | Stefan Radomski | 2016-11-23 | 9 | -4020/+4019 |
| |/ |/| | |||||
* | | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-23 | 1 | -94/+120 |
|\ \ | |/ | |||||
| * | update ctest for ghdl | Jens Heuschkel | 2016-11-23 | 1 | -94/+120 |
| | | |||||
* | | Conditionalize VHDL tests on GHDL version | Stefan Radomski | 2016-11-23 | 1 | -0/+4 |
|/ | |||||
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-23 | 5 | -197/+252 |
|\ | |||||
| * | update testbench for better automatic testing | Jens Heuschkel | 2016-11-22 | 1 | -11/+45 |
| | | |||||
| * | improved excapeMacro to produce vhdl supported names | Jens Heuschkel | 2016-11-22 | 2 | -17/+12 |
| | | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-21 | 2 | -402/+685 |
| |\ | |||||
| * | | implement some small todo | Jens Heuschkel | 2016-11-21 | 3 | -169/+195 |
| | | | |||||
| * | | made escape function more vhdl friendly | Jens Heuschkel | 2016-11-21 | 1 | -2/+2 |
| | | | |||||
* | | | Checking for GHDL version | Stefan Radomski | 2016-11-23 | 1 | -0/+13 |
| |/ |/| | |||||
* | | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-21 | 9 | -123/+91 |
|\ \ | |/ | |||||
| * | ups sorry :( | Jens Heuschkel | 2016-11-21 | 1 | -10/+10 |
| | | |||||
| * | change function name according to convention; fix && problem | Jens Heuschkel | 2016-11-21 | 2 | -3/+4 |
| | | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-17 | 1 | -4/+20 |
| |\ | |||||
| * | | fix some todos in vhdl | Jens Heuschkel | 2016-11-17 | 7 | -123/+62 |
| | | | |||||
| * | | fix silly error -.- | Jens Heuschkel | 2016-11-17 | 1 | -7/+7 |
| | | | |||||
| * | | Add convenient macro escape function | Jens Heuschkel | 2016-11-17 | 2 | -0/+28 |
| | | | |||||
* | | | Reduced state space for PROMELA transformation | Stefan Radomski | 2016-11-21 | 2 | -402/+685 |
| |/ |/| | |||||
* | | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-17 | 4 | -189/+163 |
|\ \ | |/ | |||||
| * | prittyprinter | Jens Heuschkel | 2016-11-16 | 1 | -1/+1 |
| | | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-16 | 10 | -1548/+1995 |
| |\ | |||||
| * | | towards a running VHDL state machine (test144 works yey) | Jens Heuschkel | 2016-11-16 | 3 | -189/+162 |
| | | | |||||
| * | | add gitignore for manual_test results | Jens Heuschkel | 2016-11-16 | 1 | -0/+1 |
| | | | |||||
* | | | Drastically reduced the number of atomic steps for verification | Stefan Radomski | 2016-11-17 | 1 | -4/+20 |
| |/ |/| | |||||
* | | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-16 | 4 | -1380/+1471 |
|\ \ | |/ | |||||
| * | add manual test script for vhdl code (based on ghdl) | juehv | 2016-11-15 | 2 | -0/+62 |
| | | |||||
| * | quick fix vhdl code to compile (but not work) again | juehv | 2016-11-15 | 1 | -1380/+1407 |
| | | |||||
| * | fix cmake file | juehv | 2016-11-15 | 1 | -0/+2 |
| | | |||||
| * | merge | juehv | 2016-11-15 | 293 | -2318/+21116 |
| |\ | |||||
| * | | towards working vhdl again | juehv | 2016-11-15 | 1 | -1/+1 |
| | | | |||||
* | | | Impreoved PROMELA transformation | Stefan Radomski | 2016-11-16 | 10 | -1548/+1995 |
| |/ |/| | |||||
* | | Still trying to fix that darned travis | Stefan Radomski | 2016-10-26 | 1 | -3/+3 |
| | |