Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | 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 | |
* | | | Added java transformation target | Stefan Radomski | 2016-11-24 | 6 | -3/+3061 | |
| |/ |/| | ||||||
* | | Fixed space normalization in content element | Stefan Radomski | 2016-11-23 | 1 | -3/+5 | |
* | | Passing all Lua tests again | Stefan Radomski | 2016-11-23 | 1 | -5/+17 | |
* | | Refined test matrix output | Stefan Radomski | 2016-11-23 | 2 | -1538/+2032 | |
* | | Improved overview on test table | Stefan Radomski | 2016-11-23 | 1 | -43/+98 | |
|/ | ||||||
* | 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 | |