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.

Sign up for GitHub

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

Jump to bottom

Revise initialization of hybrid-system analysis #573

Merged

schillic merged 2 commits into master from schillic/initial_states

Mar 22, 2019

Member

schillic commented Mar 22, 2019

Do not take the intersection with the source invariant if not needed.
Do not convert HalfSpace invariants to HPolyhedron.

schillic added 2 commits

March 22, 2019 21:25


          only take intersection with invariant if needed

f287b96


          remove conversion relict

61f1db1

schillic requested a review from mforets

March 22, 2019 20:33

mforets approved these changes

View reviewed changes

schillic merged commit 1592862 into master

schillic deleted the schillic/initial_states branch

March 22, 2019 21:33

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet