Skip to content

Updates#103

Merged
odow merged 1 commit intood/moi9from
bl/moiv0.9
Aug 13, 2019
Merged

Updates#103
odow merged 1 commit intood/moi9from
bl/moiv0.9

Conversation

@blegat
Copy link
Copy Markdown
Member

@blegat blegat commented Jul 12, 2019

This PR contains:

@blegat blegat requested a review from odow July 12, 2019 17:53
@odow odow merged commit 125f8ea into od/moi9 Aug 13, 2019
@odow odow deleted the bl/moiv0.9 branch August 13, 2019 14:52
@odow
Copy link
Copy Markdown
Member

odow commented Aug 13, 2019

Merged this in, and will address any issues on the od/moi9 branch.

odow added a commit that referenced this pull request Aug 13, 2019
* Re-write the MOI wrapper

* Add Manifest for Travis

* Improve status reporting and fix bug in infeasibility certificate

* Add documentation

* Disable preemptive_check

* Implement RelativeGap

* Remove benchmarking in favour of MOI.Benchmarks

* Update to latest MOI master

* Address mlubin's comments

* Remove unneeded resetting of params

* Updates (#103)

* Slight fixes

* Add some extra name tests

* Remove Manifest.toml

* Remove Manifest.toml Part-II

* Bump Project.toml version

* Fix handling of objective bound

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

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants