sp
/
tempest
1
0
Fork 0
Code Issues Pull Requests Projects Releases Wiki Activity

Commit Graph

  • 6f970f27fe Added atomic propositions/labels PBerger 2012-09-06 02:43:06 +0200
  • decb6b8006 Fixed CMakeLists.txt for Google Test to work with VS2012 Fixed STLSoft to compile under VS2012 Fixed Pantheios to work with VS2012 Fixed CMakeLists.txt for MRMC, removed duplicate code (Thomas?), converted keywords to lowercase PBerger 2012-09-05 20:21:41 +0200
  • a21a338a26 Included external 3rd Party content for Google Test Framework Included external 3rd Party content for STLSoft Header Library Included external 3rd Party content for Pantheios Logging Framework PBerger 2012-09-04 22:54:50 +0200
  • d37b23a5c5 - Additional "wrong header" testcase for the tra parser - Methods of the sparse matrix now throw objects (instead of pointers) - Initializations of the pointer attributes of the sparse matrix with NULL (otherwise strange things may happen...) Thomas Heinemann 2012-08-21 17:55:04 +0200
  • 395d2822b5 CMakeLists.txt: Enable debug symbols only on GCC (as e.g. Visual Studio creates a debug version automatically...) Thomas Heinemann 2012-08-21 13:32:55 +0200
  • b846680445 Updated CMakeLists.txt to new location of MRMCConfig.h.in Thomas Heinemann 2012-08-21 11:26:11 +0200
  • 5c7c23f4d6 Some minor changes (especially limiting the range of variables if possible) Thomas Heinemann 2012-08-20 14:18:34 +0200
  • 40de04a1fe Added missing files (exceptions) Thomas Heinemann 2012-08-19 21:16:29 +0200
  • ebc0db4750 Formatting Thomas Heinemann 2012-08-19 16:20:56 +0200
  • a908faf1a1 Worked on TODO's (minor stuff) Thomas Heinemann 2012-08-19 16:18:57 +0200
  • 2c44c80bdb - Parser - some changes in CMakeLists.txt and the former code to make it compatible to Linux systems... Thomas Heinemann 2012-08-19 16:02:59 +0200
  • 60abde4968 Added dependency on thread in CMakeLists.txt Thomas Heinemann 2012-07-30 11:02:07 +0200
  • 3dac4e4a6a Fixed BUILD hints PBerger 2012-07-28 05:03:38 +0200
  • 31d2c70acc Added temporary Find* files for CMake Added custom exceptions Added Sparse Matrix Added Guidelines for Doxygen Added BUILD hints PBerger 2012-07-28 04:53:55 +0200
  • 4cd75789ac Updated styleguides Added Test Suite Updated CMake configuration PBerger 2012-06-22 02:12:08 +0200
  • 9da2eaf3d1 Initial Import into Git Lacks Doxygen files/integration PBerger 2012-06-11 23:39:51 +0200