Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 2 | -666/+0 |
| | |||||
* | - Prolog DM compiles with recent SWI release again | Stefan Radomski | 2014-06-24 | 1 | -22/+22 |
| | | | | | - Bugfixes for stress test - Beautified code | ||||
* | Changed getNames signature from set to list | Stefan Radomski | 2014-06-06 | 1 | -4/+4 |
| | |||||
* | Major refactoring | Stefan Radomski | 2014-04-22 | 2 | -182/+182 |
| | | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie | ||||
* | Modified InterpreterMonitor for uscxml-debugger | Stefan Radomski | 2014-03-07 | 2 | -60/+61 |
| | |||||
* | IMAP Invoker functional | Stefan Radomski | 2014-01-23 | 2 | -271/+492 |
| | |||||
* | Ported IM Invoker for pre 3.0 and beautified code | Stefan Radomski | 2014-01-22 | 2 | -31/+32 |
| | |||||
* | Email Attachments and Prolog Version Fixes | Stefan Radomski | 2014-01-22 | 2 | -0/+443 |