Version bump

7198eef1 · Philipp Meyer · 7b966440 · 7198eef1
Commit 7198eef1 authored Feb 16, 2015 by Philipp Meyer
--- a/slapnet.cabal
+++ b/slapnet.cabal
 name:                slapnet
-version:             0.1.0.0
+version:             0.8.0.0
 synopsis:            Safety and Liveness Analysis of Petri Nets with SMT solvers
 description:
    SLAPnet is a tool to check safety and liveness properties of Petri nets