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

Implement apply #35

Merged
merged 12 commits into from
Aug 14, 2020
Merged

Implement apply #35

merged 12 commits into from
Aug 14, 2020

Conversation

AnnaBlume99
Copy link
Collaborator

No description provided.

@AnnaBlume99 AnnaBlume99 requested a review from SSoelvsten August 14, 2020 11:26
@SSoelvsten
Copy link
Owner

Looks very good!

@SSoelvsten SSoelvsten merged commit 01637ce into master Aug 14, 2020
@SSoelvsten SSoelvsten added the ✨ feature New operation or other feature label Aug 14, 2020
@SSoelvsten SSoelvsten added this to the COOM v1 milestone Aug 14, 2020
@SSoelvsten SSoelvsten deleted the coom/apply branch August 14, 2020 12:20
@SSoelvsten SSoelvsten added the 📁 bdd Binary Decision Diagrams label Jan 12, 2022
@SSoelvsten SSoelvsten mentioned this pull request May 20, 2023
8 tasks
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants