tue-mdse / mcrl2-performance Public

Notifications You must be signed in to change notification settings
Fork 1
Star 0

Set of scripts intended to replace the existing performance measurement scripts of mCRL2 (see mcrl2.org/performance)

0 stars 1 fork Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 3 Commits
cases		cases
performance		performance
scripts		scripts
README.md		README.md
__init__.py		__init__.py
pool.py		pool.py
run.py		run.py
tools.py		tools.py

Repository files navigation

mcrl2-performance

Set of scripts intended to replace the existing performance measurement scripts of mCRL2 (see mcrl2.org/performance)

About

Set of scripts intended to replace the existing performance measurement scripts of mCRL2 (see mcrl2.org/performance)

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Languages