Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Add convenient macro escape function | Jens Heuschkel | 2016-11-17 | 2 | -0/+28 |
| | |||||
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 5 | -122/+122 |
| | |||||
* | More work on ANSI C datamodel | Stefan Radomski | 2016-07-11 | 1 | -2/+2 |
| | |||||
* | Smaller bug-fixes and refactorings | Stefan Radomski | 2016-06-23 | 1 | -1/+0 |
| | |||||
* | Started to port Debugger and issue 87 | Stefan Radomski | 2016-06-18 | 2 | -3/+114 |
| | |||||
* | Fixed issue86 and some more bug fixes | Stefan Radomski | 2016-06-16 | 3 | -9/+23 |
| | |||||
* | Fixed dozens of memory leaks | Stefan Radomski | 2016-06-13 | 5 | -70/+149 |
| | |||||
* | Minor polishing for Java bindings and first draft of JEXL datamodel | Stefan Radomski | 2016-05-26 | 4 | -6/+6 |
| | |||||
* | Fixed issue77 with URL resolved from CWD on windows | Stefan Radomski | 2016-05-20 | 1 | -2/+6 |
| | |||||
* | Refactored for public headers and started documentation | Stefan Radomski | 2016-05-19 | 8 | -80/+84 |
| | |||||
* | Conditionalized V8 on version and used C++11 list initializers | Stefan Radomski | 2016-05-12 | 2 | -20/+9 |
| | |||||
* | Builds and links and tests ok on linux now | Stefan Radomski | 2016-05-12 | 1 | -3/+3 |
| | |||||
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 12 | -237/+2630 |
| | |||||
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 4 | -6/+6 |
| | |||||
* | Some refactoring for improved compile times | Stefan Radomski | 2016-02-23 | 2 | -0/+210 |
| | |||||
* | 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 |
| | | | | | - Bugfixes for stress test - Beautified code | ||||
* | 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 |
| | | | | | | - Moved tests - Changes to promela datamodel - Implemented Trie | ||||
* | 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 |