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

[WIP] Adds some checks to variable elimination to give more meaningful errors #1133

Open
wants to merge 1 commit into
base: dev
Choose a base branch
from
Open

[WIP] Adds some checks to variable elimination to give more meaningful errors #1133

wants to merge 1 commit into from

Conversation

ankurankan
Copy link
Member

…r messages

Your checklist for this pull request

Please review the guidelines for contributing to this repository.

  • Make sure you are requesting to pull a topic/feature/bugfix branch (right side). Don't request your master!
  • Make sure you are making a pull request against the dev branch (left side). Also you should start your branch off our dev.
  • Check the commit's or even all commits' message styles matches our requested structure.
  • Make sure that the __version__ variable has been updated.

Fixes # .

Changes

@ankurankan ankurankan changed the title Adds some checks to variable elimination to give more meaningful errors Adds some checks to variable elimination to give more meaningful errors [WIP] Jun 25, 2019
@ankurankan ankurankan changed the title Adds some checks to variable elimination to give more meaningful errors [WIP] [WIP] Adds some checks to variable elimination to give more meaningful errors Jun 25, 2019
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers
No reviews
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
1 participant
@ankurankan