Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Refactored Java into bindings and generated | Stefan Radomski | 2016-11-28 | 3 | -4/+57 |
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-24 | 2 | -223/+418 |
|\ | |||||
| * | beatify code again | juehv | 2016-11-23 | 2 | -1453/+1453 |
| * | remove some unused code | juehv | 2016-11-23 | 2 | -76/+1 |
| * | change event handling from special type to std_logic_vector for better simula... | juehv | 2016-11-23 | 2 | -1318/+1563 |
| * | 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 | 3 | -1/+97 |
|/ | |||||
* | set return statement of tb compatible to ctest | Jens Heuschkel | 2016-11-23 | 1 | -1/+2 |
* | butify code again | Jens Heuschkel | 2016-11-23 | 7 | -4006/+4014 |
* | update testbench for better automatic testing | Jens Heuschkel | 2016-11-22 | 1 | -11/+45 |
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Jens Heuschkel | 2016-11-21 | 2 | -402/+685 |
|\ | |||||
| * | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-11-21 | 2 | -122/+54 |
| |\ | |||||
| * | | 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 |
| |/ |/| | |||||
* | | ups sorry :( | Jens Heuschkel | 2016-11-21 | 1 | -10/+10 |
* | | 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 |
| |/ |/| | |||||
* | | 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 |
|/ | |||||
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 10 | -1296/+5075 |
* | restore vhdl transformation | juehv | 2016-06-27 | 1 | -16/+6 |
* | Addendum | Stefan Radomski | 2016-06-16 | 1 | -1/+1 |
* | Fixed issue86 and some more bug fixes | Stefan Radomski | 2016-06-16 | 1 | -1/+1 |
* | addendum to issue84 fix for swig | Stefan Radomski | 2016-06-13 | 1 | -1/+1 |
* | Reactivated VHDL transformation | Stefan Radomski | 2016-06-13 | 2 | -1319/+1309 |
* | Refactored for public headers and started documentation | Stefan Radomski | 2016-05-19 | 4 | -32/+33 |
* | 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 | 1 | -26/+19 |
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 22 | -10134/+637 |
* | Fixed issue 64 and beautified code again | Stefan Radomski | 2016-04-28 | 4 | -1419/+1419 |
* | Merge branch 'master' of github.com:tklab-tud/uscxml | Stefan Radomski | 2016-04-22 | 1 | -80/+377 |
|\ | |||||
| * | add 2 tmp vhdl write scripts | juehv | 2016-04-05 | 1 | -2/+1 |
| * | merge | juehv | 2016-04-05 | 1 | -0/+2 |
| |\ | |||||
| | * | fix some S* | juehv | 2016-03-31 | 1 | -15/+33 |
| * | | update | juehv | 2016-04-05 | 1 | -22/+52 |
| |/ | |||||
| * | add todos | juehv | 2016-03-31 | 1 | -4/+5 |
| * | fix event reset bug | juehv | 2016-03-17 | 1 | -6/+30 |
| * | more vhdl -- passing test 144 :) | juehv | 2016-03-16 | 1 | -62/+303 |
* | | Minor bug-fixes and issue62 prepared | Stefan Radomski | 2016-04-22 | 1 | -4/+6 |
|/ | |||||
* | More work on VHDL Executable Content | Stefan Radomski | 2016-03-08 | 2 | -37/+78 |
* | add not working code | juehv | 2016-03-08 | 1 | -11/+51 |
* | fix interface lines | juehv | 2016-03-07 | 1 | -21/+22 |
* | start event generator implementation | juehv | 2016-03-07 | 2 | -36/+141 |