Skip to content

Conversation

@michel2323
Copy link
Member

@michel2323 michel2323 commented Sep 18, 2019

This PR addressed:

  • IR for multiple RHS in Ma57
  • A few integer overflows when reporting the global number of variables. I also enabled the compiler flag -ftrapv to catch all overflows. I could not find any for now. I'll still have to check on Theta on a big case.

The commit by Kibaek somehow sneaked in due to committing to the master branch in the GO repository, but should be resolved by Barry's work.

@michel2323 michel2323 requested a review from cnpetra September 18, 2019 19:49
@michel2323
Copy link
Member Author

Travis bitches because they removed encrypted environment variables so I cannot pull the third-party libraries. I'll look into that.

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