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.

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

Lazy discrete post operator #272

Closed
schillic opened this issue Oct 5, 2018 · 0 comments
Closed

Lazy discrete post operator #272

schillic opened this issue Oct 5, 2018 · 0 comments
Assignees
@schillic
Labels
feature

Comments

@schillic
Copy link
Member

schillic commented Oct 5, 2018

No description provided.

@schillic schillic self-assigned this Oct 5, 2018
@schillic schillic mentioned this issue Oct 5, 2018
Merged
2 tasks
@schillic schillic changed the title Discrete post operator for lazy intersection Lazy discrete post operator Oct 5, 2018
@schillic schillic mentioned this issue Oct 8, 2018
Closed
schillic added a commit that referenced this issue Oct 9, 2018
@schillic
Merge pull request #274 from JuliaReach/schillic/272
e6c0e5b 
#272 - Lazy discrete post operator
@schillic schillic mentioned this issue Oct 12, 2018
Open
4 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@schillic schillic

Labels
feature
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@schillic