Please enable JavaScript in your browser!
Home
Explore
Help
Sign In
projects
/
muMLE
Watch
1
Star
0
Fork
0
Files
Issues
0
Pull Requests
0
Wiki
Tree:
9883e09ac2
Branches
Tags
development
master
mde2425
optimize-matcher
muMLE
/
examples
/
semantics
/
operational
Joeri Exelmans
9883e09ac2
merging (meta-)models works (but it's dirty!)
1 year ago
..
port
9883e09ac2
merging (meta-)models works (but it's dirty!)
1 year ago
simulator.py
6ac8e30747
fix bug in simulator: termination condition was not checked when disabling conformance checking
1 year ago