Skip to content

Issues: psg-mit/marshall

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

14 Open 1 Closed
14 Open 1 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Inlining of Dedekind cuts not always sound
#15 opened Oct 27, 2019 by bmsherman
Language tutorial enhancement New feature or request
#14 opened May 17, 2019 by bmsherman
Smart splitting of intervals for integration enhancement New feature or request
#13 opened Mar 8, 2019 by bmsherman
Definitions are allowed to have free variables bug Something isn't working
#12 opened Mar 7, 2019 by bmsherman
1
Incorrect comparison of dyadic constants or something like that bug Something isn't working
#10 opened Feb 23, 2019 by bmsherman
1
Issue with printing? bug Something isn't working
#9 opened Feb 23, 2019 by bmsherman
1
Use automatic differentiation instead of symbolic differentiation
#8 opened Feb 12, 2019 by bmsherman
Implement affine arithmetic? enhancement New feature or request
#7 opened Feb 7, 2019 by bmsherman
Optimization to refinement for maximal approximations enhancement New feature or request
#6 opened Feb 6, 2019 by bmsherman
Bug with type polymorphism bug Something isn't working
#5 opened Feb 6, 2019 by bmsherman
Inexact representation of constants
#4 opened Jan 27, 2019 by bmsherman
Use derivatives to speed up integration enhancement New feature or request
#3 opened Jan 27, 2019 by bmsherman
Implicit function theorem enhancement New feature or request
#2 opened Jan 27, 2019 by bmsherman
Detect loops and halt enhancement New feature or request
#1 opened Jan 23, 2019 by bmsherman
ProTip! Type g i on any issue or pull request to go back to the issue listing page.