Commit message (Expand) | Author | Age | Files | Lines | ||
---|---|---|---|---|---|---|
... | ||||||
| * | | Reduced state space for PROMELA transformation | Stefan Radomski | 2016-11-21 | 2 | -402/+685 | |
* | | | implement some small todo | Jens Heuschkel | 2016-11-21 | 2 | -168/+194 | |
* | | | made escape function more vhdl friendly | Jens Heuschkel | 2016-11-21 | 1 | -2/+2 | |
| |/ |/| | ||||||
* | | 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 | |
|\ \ | |/ | ||||||
| * | 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 | 60 | -1901/+12719 | |
* | Restored support for cmake 2.8.12 | Stefan Radomski | 2016-08-26 | 1 | -2/+2 | |
* | Progress on the apache-commons wrapper | Stefan Radomski | 2016-08-22 | 11 | -13834/+14 | |
* | Changed Monitor signature to take Interpreter facade | Stefan Radomski | 2016-08-04 | 8 | -112/+126 | |
* | 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 | 21 | -123/+1827 | |
* | 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 | 23 | -215/+989 | |
* | Minor polishing for Java bindings and first draft of JEXL datamodel | Stefan Radomski | 2016-05-26 | 31 | -102/+122 | |
* | 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 | |