PR #869 refactor(analysis/convex): make instance local

refactor(analysis/convex): make instance local #869

digama0 merged 1 commit into master from convex

abentkamp assigned

digama0 6 years ago

abentkamp changed the title ~~Convex~~ refactor(analysis/convex): make instance local 6 years ago

refactor(analysis/convex): make instance local

e49f6bfe

abentkamp force pushed from d6ac1c09 to e49f6bfe 6 years ago

jcommelin approved these changes on 2019-04-01

digama0 merged a1fe39b1 into master 6 years ago

digama0 deleted the convex branch 6 years ago

abentkamp restored the head branch 6 years ago

abentkamp deleted the convex branch 6 years ago

Reviewers

jcommelin

Assignees

digama0

Labels

None yet

Milestone

No milestone