From 818c1f1b232c995e85326751284d3e4ee28dac21 Mon Sep 17 00:00:00 2001 From: Alexandre Hamez Date: Fri, 9 May 2014 23:19:29 +0200 Subject: [PATCH 1/3] Update INSTALL --- INSTALL | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/INSTALL b/INSTALL index 6e50f22..0eed416 100644 --- a/INSTALL +++ b/INSTALL @@ -2,7 +2,7 @@ PNMC INSTALLATION # Requirements - * C++ compiler + * C++11 compiler - clang >= 3.3 - gcc >= 4.8 - Other compilers might work, as long as they implement the C++11 standard @@ -10,10 +10,10 @@ PNMC INSTALLATION * Libraries - libsdd (https://github.com/ahamez/libsdd) - Boost >= 1.55 - - cereal >= 0.9.1 (http://uscilab.github.io/cereal) + - cereal >= 1.0.0 (http://uscilab.github.io/cereal) * Tools - - cmake >= 2.8.10 + - cmake >= 2.8.9 # Compilation From 0d45b224f51e2cbce1df33c946837b64b61ca83a Mon Sep 17 00:00:00 2001 From: Alexandre Hamez Date: Sat, 10 May 2014 20:32:22 +0200 Subject: [PATCH 2/3] Create README. --- README | 14 ++++++++++++++ 1 file changed, 14 insertions(+) create mode 100644 README diff --git a/README b/README new file mode 100644 index 0000000..b97aa4b --- /dev/null +++ b/README @@ -0,0 +1,14 @@ +pnmc +==== + +Pnmc is a small prototype of a symbolic model checker for Petri nets written in C++. It uses the libsdd library +(https://github.com/ahamez/libsdd) which implements Hierarchical Set Decision Diagrams. + +The goal of pnmc is mainly to assess the performances of the libsdd, both in term of algorithms and efficient memory +usage. As such, it mainly focus on state space generation and can only computes the dead states of a Petri nets. +Reachabilty properties are planned in the future + +Installation +============ + +Instructions to compile and install pnmc are given in the INSTALL file. From 7215eba5ecf46ce7013b52d2629f03b79c1b024e Mon Sep 17 00:00:00 2001 From: Alexandre Hamez Date: Sat, 10 May 2014 20:38:07 +0200 Subject: [PATCH 3/3] Update INSTALL --- INSTALL | 8 +++----- 1 file changed, 3 insertions(+), 5 deletions(-) diff --git a/INSTALL b/INSTALL index 0eed416..c497b93 100644 --- a/INSTALL +++ b/INSTALL @@ -4,12 +4,12 @@ PNMC INSTALLATION * C++11 compiler - clang >= 3.3 - - gcc >= 4.8 + - gcc >= 4.9 - Other compilers might work, as long as they implement the C++11 standard * Libraries - libsdd (https://github.com/ahamez/libsdd) - - Boost >= 1.55 + - Boost >= 1.55 (http://www.boost.org) - cereal >= 1.0.0 (http://uscilab.github.io/cereal) * Tools @@ -26,6 +26,4 @@ PNMC INSTALLATION * Available cmake variables to configure paths - CMAKE_INSTALL_PREFIX=/path/to/install - BOOST_ROOT=/path/to/boost - - * Setting the compiler - - CXX=/path/to/bin/compiler cmake ... + - CMAKE_CXX_COMPILER=/path/to/bin/compiler