Commit message (Expand) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | Removed easylogging due to JNI segfaults | Stefan Radomski | 2016-12-09 | 1 | -2/+2 |
* | Worked on PROMELA transformation | Stefan Radomski | 2016-10-25 | 1 | -22/+22 |
* | Changed Monitor signature to take Interpreter facade | Stefan Radomski | 2016-08-04 | 1 | -1/+1 |
* | Fixed some MSVC errors | Stefan Radomski | 2016-08-02 | 1 | -0/+1 |
* | Started to port Debugger and issue 87 | Stefan Radomski | 2016-06-18 | 1 | -2/+2 |
* | Fixed issue86 and some more bug fixes | Stefan Radomski | 2016-06-16 | 1 | -4/+3 |
* | Fixed dozens of memory leaks | Stefan Radomski | 2016-06-13 | 1 | -0/+109 |
* | Major Refactoring v2.0 | Stefan Radomski | 2016-05-12 | 1 | -196/+0 |
* | Some more refactoring and VHDL transformation | Stefan Radomski | 2016-02-24 | 1 | -1/+1 |
* | All changes up to my dissertation | Stefan Radomski | 2015-12-04 | 1 | -10/+10 |
* | Renamed URI to URL | Stefan Radomski | 2014-12-14 | 1 | -1/+1 |
* | Major header movement | Stefan Radomski | 2014-06-27 | 1 | -0/+3 |
* | - Prolog DM compiles with recent SWI release again | Stefan Radomski | 2014-06-24 | 1 | -1/+2 |
* | Builds as plugins again | Stefan Radomski | 2014-05-23 | 1 | -1/+1 |
* | Builds with MSVC again | Stefan Radomski | 2014-05-22 | 1 | -1/+1 |
* | Fixed some bugs with java bindings | Stefan Radomski | 2014-05-14 | 1 | -0/+8 |
* | Minor header file reorganization | Stefan Radomski | 2013-10-24 | 1 | -0/+1 |
* | Got rid of some warnings with gcc | Stefan Radomski | 2013-10-07 | 1 | -1/+1 |
* | Some Windows specific bug-fixes | Stefan Radomski | 2013-08-25 | 1 | -3/+3 |
* | Started Java datamodel and fixed memory leaks | Stefan Radomski | 2013-08-13 | 1 | -0/+183 |