Skip to content

Conversation

@thorulf4
Copy link
Contributor

@thorulf4 thorulf4 commented Feb 24, 2023

Reverts #39

@thorulf4 thorulf4 marked this pull request as ready for review April 3, 2023 07:09
@thorulf4 thorulf4 requested a review from mikucionisaau April 3, 2023 07:09
@mikucionisaau mikucionisaau merged commit d87774f into UPPAALModelChecker:main Apr 28, 2023
@thorulf4 thorulf4 deleted the revert_learning_query branch May 1, 2023 07:18
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.

2 participants