Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Major work on PROMELA datamodel | Stefan Radomski | 2014-10-12 | 2 | -5/+15 |
* | - Prolog DM compiles with recent SWI release again | Stefan Radomski | 2014-06-24 | 3 | -74/+73 |
* | Changed getNames signature from set to list | Stefan Radomski | 2014-06-06 | 1 | -2/+3 |
* | Major refactoring | Stefan Radomski | 2014-04-22 | 2 | -0/+226 |
* | Performance and bugfix for WebSockets | Stefan Radomski | 2013-12-20 | 3 | -8/+12 |
* | Builds on windows again | Stefan Radomski | 2013-11-16 | 3 | -75/+102 |
* | Have crypto available from C with C++ bindings via header only | Stefan Radomski | 2013-11-16 | 10 | -183/+875 |
* | Added license information and bug fixes | Stefan Radomski | 2013-10-16 | 2 | -4/+6 |
* | Base64 and MD5 for Blobs | Stefan Radomski | 2013-10-10 | 4 | -0/+651 |