| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | More performant Monitors | Stefan Radomski | 2017-07-05 | 1 | -11/+11 |
| | | | | | Breaks InterpreterMonitor API, Interpreter argument is substituted by sessionId. Use Intererpreter::fromSessionId to retrieve actual session when required. | ||||
| * | Fixed issue with ANSI-C transformation | Stefan Radomski | 2017-06-21 | 1 | -10/+19 |
| | | |||||
| * | Fixed issue 136 | Stefan Radomski | 2017-05-22 | 1 | -1/+1 |
| | | |||||
| * | Optimized ANSI-C transformation | Stefan Radomski | 2017-04-30 | 3 | -32/+76 |
| | | |||||
| * | Reduced dependencies on XercesC | Stefan Radomski | 2017-04-12 | 1 | -1/+2 |
| | | |||||
| * | Missing pthread dependency on linux | Stefan Radomski | 2017-02-08 | 1 | -1/+1 |
| | | |||||
| * | Reduced dependencies to compile test-gen-c to smaller executable | Stefan Radomski | 2017-02-03 | 1 | -1/+3 |
| | | |||||
| * | Introduced constants for XML names | Stefan Radomski | 2017-01-30 | 4 | -439/+439 |
| | | |||||
| * | Unified DOM traversal and removed iostreams | Stefan Radomski | 2017-01-30 | 7 | -11/+10 |
| | | |||||
| * | Reactivated BUILD_AS_PLUGINS | Stefan Radomski | 2017-01-27 | 7 | -35/+46 |
| | | |||||
| * | Custom logging for interpreters | Stefan Radomski | 2016-12-12 | 1 | -1/+1 |
| | | |||||
| * | Added test / example for pausable eventqueue | Stefan Radomski | 2016-12-12 | 3 | -1632/+1632 |
| | | |||||
| * | Oh how I despise MSVC | Stefan Radomski | 2016-12-09 | 1 | -1/+1 |
| | | |||||
| * | Removed easylogging due to JNI segfaults | Stefan Radomski | 2016-12-09 | 4 | -7/+8 |
| | | |||||
| * | add condition solver sceleton | juehv | 2016-12-06 | 2 | -1400/+1605 |
| | | |||||
| * | fix spontaneous transition problem when state chart has no events | juehv | 2016-12-01 | 1 | -10/+18 |
| | | |||||
| * | 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 ↵ | juehv | 2016-11-23 | 2 | -1318/+1563 |
| | | | | | | | | | simulation | ||||
| | * | 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 |
| | | |||||
 |
index : uscxml.git | |
| SCXML interpreter and transformer/compiler written in C/C++ with bindings to Java, C#, Python and Lua |
| summaryrefslogtreecommitdiffstats |