Viewing all changes in revision 261.
- Committer: Andreas Klostergaard
- Date: 2018-04-02 10:15:44 UTC
- Revision ID: aklost11@student.aau.dk-20180402101544-53c0qvjfj874rg7a
Bug fix for fireability queries.
- files modified:
- PetriEngine/Colored/ColoredReducer.cpp
expand all
collapse all
added
removed
