Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-28 | 1 | -9/+13 |
|\ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | juehv | 2016-11-28 | 2 | -0/+2944 |
| |\ | |||||
| * | | fix directory parameter | juehv | 2016-11-28 | 1 | -9/+13 |
* | | | Refactored Java into bindings and generated | Stefan Radomski | 2016-11-28 | 24 | -900/+248 |
| |/ |/| | |||||
* | | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-24 | 2 | -2/+31 |
|\ \ | |/ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | juehv | 2016-11-23 | 2 | -1565/+2114 |
| |\ | |||||
| * | | 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 |
* | | | Added java transformation target | Stefan Radomski | 2016-11-24 | 2 | -0/+2944 |
| |/ |/| | |||||
* | | 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 |
|/ | |||||
* | Fixed CMakeLists.txt for tests | Stefan Radomski | 2016-11-23 | 3 | -125/+136 |
|\ | |||||
| * | merge | Jens Heuschkel | 2016-11-23 | 1 | -272/+272 |
| |\ | |||||
| * | | update manual test scripft to vhdl08 | Jens Heuschkel | 2016-11-23 | 1 | -5/+14 |
| * | | 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 |
| |/ |/| | |||||
* | | 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 | 1 | -1/+1 |
|\ | |||||
| * | implement some small todo | Jens Heuschkel | 2016-11-21 | 1 | -1/+1 |
* | | Checking for GHDL version | Stefan Radomski | 2016-11-23 | 1 | -0/+13 |
|/ | |||||
* | fix some todos in vhdl | Jens Heuschkel | 2016-11-17 | 5 | -1/+8 |
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-16 | 4 | -58/+159 |
|\ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-16 | 2 | -0/+62 |
| |\ | |||||
| * | | Impreoved PROMELA transformation | Stefan Radomski | 2016-11-16 | 4 | -58/+159 |
* | | | towards a running VHDL state machine (test144 works yey) | Jens Heuschkel | 2016-11-16 | 1 | -1/+1 |
* | | | add gitignore for manual_test results | Jens Heuschkel | 2016-11-16 | 1 | -0/+1 |
| |/ |/| | |||||
* | | add manual test script for vhdl code (based on ghdl) | juehv | 2016-11-15 | 2 | -0/+62 |
|/ | |||||
* | Trying to fix the build on all platforms | Stefan Radomski | 2016-10-25 | 1 | -2/+5 |
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 216 | -150/+7639 |
* | Progress on the apache-commons wrapper | Stefan Radomski | 2016-08-22 | 10 | -1/+184 |
* | Changed Monitor signature to take Interpreter facade | Stefan Radomski | 2016-08-04 | 3 | -20/+20 |
* | Fixed issue 88 | Stefan Radomski | 2016-08-04 | 1 | -1/+1 |
* | Fixed parts of issue 88 | Stefan Radomski | 2016-08-03 | 1 | -0/+28 |
* | Fixed some MSVC errors | Stefan Radomski | 2016-08-02 | 2 | -1/+2 |
* | Added to appveyor | Stefan Radomski | 2016-08-01 | 4 | -8/+10 |
* | Reactivated REST bridge for debugger | Stefan Radomski | 2016-07-11 | 2 | -0/+2475 |
* | More work on ANSI C datamodel | Stefan Radomski | 2016-07-11 | 240 | -5/+8203 |
* | Added C89 tests | Stefan Radomski | 2016-06-23 | 1 | -0/+1 |
* | First signs of a C89 datamodel | Stefan Radomski | 2016-06-23 | 2 | -0/+754 |
* | Started to port Debugger and issue 87 | Stefan Radomski | 2016-06-18 | 6 | -30/+219 |
* | Forgot to reset a file | Stefan Radomski | 2016-06-16 | 1 | -3/+3 |
* | Fixed issue86 and some more bug fixes | Stefan Radomski | 2016-06-16 | 5 | -23/+81 |
* | Fixed issue 84 | Stefan Radomski | 2016-06-14 | 1 | -0/+22 |
* | Resolved issue 83 | Stefan Radomski | 2016-06-13 | 1 | -0/+14 |