tempest

gereon 4df73785ca Modified cudd's libobj Makefile to work for me. First: added CXXFLAGS line for g++ Second: added all necessary object files to libobj.a		12 years ago
doc	Renaming MRMC to STORM, see #42	13 years ago
examples/dtmc	Adding new simple example pm file.	12 years ago
resources	Modified cudd's libobj Makefile to work for me.	12 years ago
src	Fixed wrong includes of cuddObj.hh in expression classes. Added missing files of cudd.	12 years ago
test	Added a test to verify the RowSum Function in the Sparse Matrix.	12 years ago
.gitignore	Added cudd to gitignore so the changes to cudd (e.g. compiling) will not be committed to repo.	12 years ago
CMakeLists.txt	Merge with master.	12 years ago
LICENSE	Initial Import into Git	13 years ago
LICENSE-STORM.txt	removed obsolete cmake files, renamed license file	12 years ago
anothertest.input	Added dummy test to check for valid push to new repo.	12 years ago
cpplint.py	integrated cpplint	12 years ago
storm-config.h.in	Renaming MRMC to STORM, see #42	13 years ago