From f6e70a6ee6bea3a7a9779f9252451fdeac301e69 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 13 Nov 2012 15:57:27 +0100
Subject: [PATCH 1/3] Included small DTMC example along with its analysis
 result using PRISM.

---
 examples/dtmc/synchronous_leader/leader4_8.result | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 examples/dtmc/synchronous_leader/leader4_8.result

diff --git a/examples/dtmc/synchronous_leader/leader4_8.result b/examples/dtmc/synchronous_leader/leader4_8.result
new file mode 100644
index 000000000..c613446d3
--- /dev/null
+++ b/examples/dtmc/synchronous_leader/leader4_8.result
@@ -0,0 +1,3 @@
+P=? [ true U (s1=3&s2=3&s3=3&s4=3) ]:
+Result
+1.0

From bdb2d721edcdf97fefafe86ba8ba76c02c5eaa30 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 13 Nov 2012 16:07:52 +0100
Subject: [PATCH 2/3] Included DEFINE_UNIX switch for CMake in order to set
 necessary define for STLSoft (on Mac OS X).

---
 CMakeLists.txt | 10 ++++++++--
 1 file changed, 8 insertions(+), 2 deletions(-)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 10f1833fc..06b47443a 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -5,7 +5,9 @@ project (MRMC-cpp CXX C)
 # The version number.
 set (MRMC_CPP_VERSION_MAJOR 1)
 set (MRMC_CPP_VERSION_MINOR 0)
- 
+
+option(DEFINE_UNIX "Defines the UNIX flag for compilation." OFF)
+
 #Configurations for GCC
 if(CMAKE_COMPILER_IS_GNUCC) 
 	set(MRMC_GCC_NO_DEBUG_SYMBOLS OFF CACHE BOOL "Whether debug symbols should be included in MRMC with GCC, set ON for better performance")
@@ -173,4 +175,8 @@ if (THREADS_FOUND)
 	include_directories(${THREADS_INCLUDE_DIRS})
 	target_link_libraries (MRMC-tests ${CMAKE_THREAD_LIBS_INIT})
 	target_link_libraries (MRMC-cpp ${CMAKE_THREAD_LIBS_INIT})
-endif(THREADS_FOUND)
\ No newline at end of file
+endif(THREADS_FOUND)
+
+if (DEFINE_UNIX)
+	add_definitions(-DUNIX)
+endif(DEFINE_UNIX)
\ No newline at end of file

From f056eee6b283e921c261f79436dbbace4fbe3c48 Mon Sep 17 00:00:00 2001
From: dehnert <dehnert@cs.rwth-aachen.de>
Date: Tue, 13 Nov 2012 19:12:01 +0100
Subject: [PATCH 3/3] Added some more examples. Removed result file for
 example.

---
 examples/dtmc/synchronous_leader/leader4_8.result | 3 ---
 1 file changed, 3 deletions(-)
 delete mode 100644 examples/dtmc/synchronous_leader/leader4_8.result

diff --git a/examples/dtmc/synchronous_leader/leader4_8.result b/examples/dtmc/synchronous_leader/leader4_8.result
deleted file mode 100644
index c613446d3..000000000
--- a/examples/dtmc/synchronous_leader/leader4_8.result
+++ /dev/null
@@ -1,3 +0,0 @@
-P=? [ true U (s1=3&s2=3&s3=3&s4=3) ]:
-Result
-1.0