Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add QPC-C target #12

Merged
merged 144 commits into from
Mar 5, 2023
Merged

Add QPC-C target #12

merged 144 commits into from
Mar 5, 2023

Conversation

thomas-bc
Copy link
Member

This is a target that I added a while back and for some reason never got around to merging it. We have people interested in using it, so I'm throwing the PR now. Most of the content is isolated and related to this new target, but there is some refactoring to pre-exisiting functions. All tests still pass successfully.

This target is very similar to QPC-QM (and actually re-uses some of it), just add some other generation on top of it.

@thomas-bc thomas-bc requested a review from landolfa March 2, 2023 22:44
Copy link
Contributor

@landolfa landolfa left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Hi Thomas,
I have few comments.
If you have no time I can merge the pull request anyway.

comodo2/src/comodo2/engine/Main.java Outdated Show resolved Hide resolved
comodo2/src/comodo2/queries/QRegion.java Show resolved Hide resolved
comodo2/src/comodo2/queries/QState.java Show resolved Hide resolved
comodo2/src/comodo2/queries/QState.java Show resolved Hide resolved
comodo2/src/comodo2/queries/QStateMachine.java Outdated Show resolved Hide resolved
comodo2/src/comodo2/queries/QTransition.java Outdated Show resolved Hide resolved
@thomas-bc
Copy link
Member Author

Thank you very much for the quick review! I have added your suggestions.

@landolfa landolfa merged commit ebd8c49 into Open-MBEE:main Mar 5, 2023
@landolfa
Copy link
Contributor

landolfa commented Mar 5, 2023

Thanks to you Thomas for the good work.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants