Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-17 | 1 | -4/+20 |
|\ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-17 | 2 | -188/+161 |
| |\ | |||||
| * | | Drastically reduced the number of atomic steps for verification | Stefan Radomski | 2016-11-17 | 1 | -4/+20 |
* | | | fix some todos in vhdl | Jens Heuschkel | 2016-11-17 | 2 | -122/+54 |
* | | | fix silly error -.- | Jens Heuschkel | 2016-11-17 | 1 | -7/+7 |
* | | | Add convenient macro escape function | Jens Heuschkel | 2016-11-17 | 2 | -0/+28 |
| |/ |/| | |||||
* | | prittyprinter | Jens Heuschkel | 2016-11-16 | 1 | -1/+1 |
* | | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-16 | 5 | -1459/+1804 |
|\ \ | |/ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-16 | 1 | -1380/+1407 |
| |\ | |||||
| * | | Impreoved PROMELA transformation | Stefan Radomski | 2016-11-16 | 5 | -1459/+1804 |
* | | | towards a running VHDL state machine (test144 works yey) | Jens Heuschkel | 2016-11-16 | 2 | -188/+161 |
| |/ |/| | |||||
* | | quick fix vhdl code to compile (but not work) again | juehv | 2016-11-15 | 1 | -1380/+1407 |
|/ | |||||
* | Trying to fix the build on all platforms | Stefan Radomski | 2016-10-25 | 1 | -1/+2 |
* | Fixing build errors | Stefan Radomski | 2016-10-25 | 1 | -2/+2 |
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 71 | -2150/+12971 |
* | Restored support for cmake 2.8.12 | Stefan Radomski | 2016-08-26 | 2 | -4/+4 |
* | Support for LUA language bindings | Stefan Radomski | 2016-08-23 | 3 | -0/+194 |
* | Progress on the apache-commons wrapper | Stefan Radomski | 2016-08-22 | 16 | -13835/+100 |
* | Changed Monitor signature to take Interpreter facade | Stefan Radomski | 2016-08-04 | 10 | -137/+160 |
* | Fixed issue 88 | Stefan Radomski | 2016-08-04 | 1 | -19/+26 |
* | Fixed parts of issue 88 | Stefan Radomski | 2016-08-03 | 4 | -3/+61 |
* | Allow custom EventQueue implementations via ActionLanguage | Stefan Radomski | 2016-08-03 | 2 | -0/+7 |
* | Fixed some MSVC errors | Stefan Radomski | 2016-08-02 | 1 | -1/+1 |
* | Deactivated ANSI C datamodel - we will go for picoc | Stefan Radomski | 2016-08-02 | 1 | -1/+1 |
* | 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 | 1 | -16/+6 |
|\ | |||||
| * | restore vhdl transformation | juehv | 2016-06-27 | 1 | -16/+6 |
* | | Reactivated REST bridge for debugger | Stefan Radomski | 2016-07-11 | 7 | -30/+63 |
* | | More work on ANSI C datamodel | Stefan Radomski | 2016-07-11 | 10 | -3/+13832 |
|/ | |||||
* | First signs of a C89 datamodel | Stefan Radomski | 2016-06-23 | 4 | -0/+208 |
* | Smaller bug-fixes and refactorings | Stefan Radomski | 2016-06-23 | 9 | -212/+50 |
* | Started to port Debugger and issue 87 | Stefan Radomski | 2016-06-18 | 23 | -148/+1861 |
* | Addendum | Stefan Radomski | 2016-06-16 | 1 | -1/+1 |
* | Fixed issue86 and some more bug fixes | Stefan Radomski | 2016-06-16 | 15 | -21/+94 |
* | Fixed issue 84 | Stefan Radomski | 2016-06-14 | 1 | -4/+5 |
* | addendum to issue84 fix for swig | Stefan Radomski | 2016-06-13 | 3 | -3/+8 |
* | Fixed issue84 | Stefan Radomski | 2016-06-13 | 4 | -5/+8 |
* | Resolved issue 83 | Stefan Radomski | 2016-06-13 | 1 | -7/+14 |
* | Reactivated VHDL transformation | Stefan Radomski | 2016-06-13 | 2 | -1319/+1309 |
* | Fixed dozens of memory leaks | Stefan Radomski | 2016-06-13 | 25 | -219/+1084 |
* | Minor polishing for Java bindings and first draft of JEXL datamodel | Stefan Radomski | 2016-05-26 | 56 | -102/+5816 |
* | Passing all Lua tests again - might have broken external builds | Stefan Radomski | 2016-05-20 | 3 | -9/+18 |
* | Fixed issue77 with URL resolved from CWD on windows | Stefan Radomski | 2016-05-20 | 1 | -2/+6 |
* | Dire bug in uscxml-browser, smaller fixes and documentation | Stefan Radomski | 2016-05-19 | 4 | -9/+28 |
* | Refactored for public headers and started documentation | Stefan Radomski | 2016-05-19 | 65 | -936/+2031 |
* | Make install will work again | Stefan Radomski | 2016-05-13 | 2 | -6/+4 |
* | Builds cleanly for VS2015 | Stefan Radomski | 2016-05-13 | 1 | -1/+1 |
* | Conditionalized V8 on version and used C++11 list initializers | Stefan Radomski | 2016-05-12 | 4 | -57/+41 |
* | Builds and links and tests ok on linux now | Stefan Radomski | 2016-05-12 | 3 | -5/+17 |
* | Compile all dependencies with position independent code | Stefan Radomski | 2016-05-12 | 1 | -0/+1 |