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

Use numeric / vector / matrix conventions #973

Closed
mforets opened this issue Jan 6, 2019 · 0 comments
Closed

Use numeric / vector / matrix conventions #973

mforets opened this issue Jan 6, 2019 · 0 comments
Assignees
@schillic
Labels
documentation 📖 Documentation and manual refactoring 🔧 Internal code changes, typically no impact on API

Comments

@mforets
Copy link
Member

mforets commented Jan 6, 2019

See this comment.
@mforets mforets added the documentation 📖 Documentation and manual label Jan 6, 2019
@mforets mforets mentioned this issue Jan 6, 2019
Merged
@schillic schillic added the refactoring 🔧 Internal code changes, typically no impact on API label Jan 6, 2019
@schillic schillic self-assigned this Jan 8, 2019
@schillic schillic mentioned this issue Jan 8, 2019
Merged
schillic added a commit that referenced this issue Jan 10, 2019
@schillic
Merge pull request #977 from JuliaReach/schillic/973
82fb151 
#973 - Use numeric / vector / matrix conventions
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@schillic schillic

Labels
documentation 📖 Documentation and manual refactoring 🔧 Internal code changes, typically no impact on API
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@schillic @mforets