Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 |
|\ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-16 | 4 | -1380/+1471 |
| |\ | |||||
| * | | Impreoved PROMELA transformation | Stefan Radomski | 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 |
| |/ |/| | |||||
* | | 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 |
|\ \ | |/ | |||||
| * | Still trying to fix that darned travis | Stefan Radomski | 2016-10-26 | 1 | -3/+3 |
| * | Still trying to fic travis CI ... | Stefan Radomski | 2016-10-26 | 1 | -3/+3 |
| * | Still trying to fix travis ... | Stefan Radomski | 2016-10-26 | 1 | -2/+5 |
| * | Trying to force clang 3.5 with travis CI | Stefan Radomski | 2016-10-26 | 1 | -1/+1 |
| * | Still trying to fix travis CI | Stefan Radomski | 2016-10-26 | 2 | -3/+2 |
| * | Finally fixing travis CI? | Stefan Radomski | 2016-10-26 | 1 | -0/+2 |
| * | Still trying to fix travis ci | Stefan Radomski | 2016-10-26 | 1 | -4/+5 |
| * | Fix gcc4.8 support in travis ci | Stefan Radomski | 2016-10-26 | 1 | -3/+2 |
| * | Still trying to fix build issues | Stefan Radomski | 2016-10-25 | 1 | -1/+1 |
| * | Trying to fix the build on all platforms | Stefan Radomski | 2016-10-25 | 2 | -3/+7 |
| * | Fixing build errors | Stefan Radomski | 2016-10-25 | 1 | -2/+2 |
| * | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 292 | -2314/+21104 |
* | | towards working vhdl again | juehv | 2016-11-15 | 1 | -1/+1 |
|/ | |||||
* | Restored support for cmake 2.8.12 | Stefan Radomski | 2016-08-26 | 3 | -6/+6 |
* | Support for LUA language bindings | Stefan Radomski | 2016-08-23 | 4 | -0/+195 |
* | Progress on the apache-commons wrapper | Stefan Radomski | 2016-08-22 | 30 | -13836/+502 |
* | Changed Monitor signature to take Interpreter facade | Stefan Radomski | 2016-08-04 | 13 | -157/+180 |
* | Fixed issue 88 | Stefan Radomski | 2016-08-04 | 2 | -20/+27 |
* | Fixed parts of issue 88 | Stefan Radomski | 2016-08-03 | 5 | -3/+89 |
* | Allow custom EventQueue implementations via ActionLanguage | Stefan Radomski | 2016-08-03 | 2 | -0/+7 |
* | Trying to get travis to build for MacOSX | Stefan Radomski | 2016-08-03 | 1 | -2/+0 |
* | Have travis build for MacOSX as well | Stefan Radomski | 2016-08-03 | 1 | -2/+11 |
* | Properly fix uriparser builds on 64bit MSVC | Stefan Radomski | 2016-08-02 | 1 | -1/+1 |
* | Fixed 64bit MSVC builds | Stefan Radomski | 2016-08-02 | 1 | -2/+5 |
* | Fixed some MSVC errors | Stefan Radomski | 2016-08-02 | 4 | -3/+4 |
* | Deactivated ANSI C datamodel - we will go for picoc | Stefan Radomski | 2016-08-02 | 1 | -1/+1 |
* | Added to appveyor | Stefan Radomski | 2016-08-01 | 7 | -11/+44 |
* | forgot to include malloc header | Stefan Radomski | 2016-07-11 | 1 | -0/+1 |
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-07-11 | 2 | -27/+17 |
|\ | |||||
| * | restore vhdl transformation | juehv | 2016-06-27 | 2 | -27/+17 |
* | | Reactivated REST bridge for debugger | Stefan Radomski | 2016-07-11 | 10 | -31/+2539 |
* | | More work on ANSI C datamodel | Stefan Radomski | 2016-07-11 | 250 | -8/+22035 |
* | | Updated xerces-c dependency | Stefan Radomski | 2016-07-11 | 1 | -4/+4 |
|/ | |||||
* | Added C89 tests | Stefan Radomski | 2016-06-23 | 1 | -0/+1 |
* | First signs of a C89 datamodel | Stefan Radomski | 2016-06-23 | 8 | -0/+965 |
* | Smaller bug-fixes and refactorings | Stefan Radomski | 2016-06-23 | 14 | -227/+355 |
* | Started to port Debugger and issue 87 | Stefan Radomski | 2016-06-18 | 31 | -179/+4917 |
* | Forgot to reset a file | Stefan Radomski | 2016-06-16 | 1 | -3/+3 |
* | Addendum | Stefan Radomski | 2016-06-16 | 1 | -1/+1 |
* | Fixed issue86 and some more bug fixes | Stefan Radomski | 2016-06-16 | 21 | -47/+178 |