summaryrefslogtreecommitdiffstats
path: root/test/src/test-stress.cpp
Commit message (Expand)AuthorAgeFilesLines
* Removed easylogging due to JNI segfaultsStefan Radomski2016-12-091-2/+2
* Worked on PROMELA transformationStefan Radomski2016-10-251-22/+22
* Changed Monitor signature to take Interpreter facadeStefan Radomski2016-08-041-1/+1
* Fixed some MSVC errorsStefan Radomski2016-08-021-0/+1
* Started to port Debugger and issue 87Stefan Radomski2016-06-181-2/+2
* Fixed issue86 and some more bug fixesStefan Radomski2016-06-161-4/+3
* Fixed dozens of memory leaksStefan Radomski2016-06-131-0/+109
* Major Refactoring v2.0Stefan Radomski2016-05-121-196/+0
* Some more refactoring and VHDL transformationStefan Radomski2016-02-241-1/+1
* All changes up to my dissertationStefan Radomski2015-12-041-10/+10
* Renamed URI to URLStefan Radomski2014-12-141-1/+1
* Major header movementStefan Radomski2014-06-271-0/+3
* - Prolog DM compiles with recent SWI release againStefan Radomski2014-06-241-1/+2
* Builds as plugins againStefan Radomski2014-05-231-1/+1
* Builds with MSVC againStefan Radomski2014-05-221-1/+1
* Fixed some bugs with java bindingsStefan Radomski2014-05-141-0/+8
* Minor header file reorganizationStefan Radomski2013-10-241-0/+1
* Got rid of some warnings with gccStefan Radomski2013-10-071-1/+1
* Some Windows specific bug-fixesStefan Radomski2013-08-251-3/+3
* Started Java datamodel and fixed memory leaksStefan Radomski2013-08-131-0/+183