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

Clean ups, dead code removal #1405

Merged
merged 6 commits into from Aug 5, 2018
Merged

Clean ups, dead code removal #1405

merged 6 commits into from Aug 5, 2018

Conversation

IainNZ
Copy link
Collaborator

@IainNZ IainNZ commented Aug 5, 2018

No description provided.

I'm pretty sure that this is related to, e.g., JuMPeR.Uncertain.
There were some odd methods defined with a reference to Julia 0.4,
and sure enough deleting them changed nothing (test-wise).
JuMPScalars was unused entirely. JuMPTypes was used only in
operators.jl, so I moved it there.
@codecov
Copy link

codecov bot commented Aug 5, 2018

Codecov Report

Merging #1405 into master will increase coverage by 0.07%.
The diff coverage is 100%.

Impacted file tree graph

@@            Coverage Diff            @@
##           master   #1405      +/-   ##
=========================================
+ Coverage   89.33%   89.4%   +0.07%     
=========================================
  Files          25      25              
  Lines        3562    3559       -3     
=========================================
  Hits         3182    3182              
+ Misses        380     377       -3
Impacted Files Coverage Δ
src/operators.jl 96.69% <ø> (ø) ⬆️
src/JuMP.jl 79.68% <100%> (+1.82%) ⬆️

Continue to review full report at Codecov.

Legend - Click here to learn more
Δ = absolute <relative> (impact), ø = not affected, ? = missing data
Powered by Codecov. Last update d5d4fba...08def45. Read the comment docs.

@IainNZ IainNZ requested a review from mlubin August 5, 2018 22:12
@IainNZ IainNZ changed the title WIP: Clean ups, dead code removal Clean ups, dead code removal Aug 5, 2018
@IainNZ IainNZ merged commit 3663f30 into master Aug 5, 2018
@IainNZ IainNZ deleted the id/refactor branch August 5, 2018 22:23
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.

None yet

2 participants