-
Notifications
You must be signed in to change notification settings - Fork 0
Issues: ssm-lang/Scoria
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
Author
Label
Projects
Milestones
Assignee
Sort
Issues list
Integer overflow in interpreter might be UB
not-urgent
Use this labels for issues that are not urgent.
#84
opened Sep 1, 2021 by
j-hui
Don't assume long == 64-bit
good first issue
Good for newcomers
not-urgent
Use this labels for issues that are not urgent.
#79
opened Aug 12, 2021 by
j-hui
Make core syntax more fine grained
discussion
enhancement
New feature or request
good first issue
Good for newcomers
PLDI(?) paper
proposal
#72
opened Aug 9, 2021 by
Rewbert
Propagate parse errors from trace parsers to testing framework
not-urgent
Use this labels for issues that are not urgent.
#70
opened Aug 6, 2021 by
Rewbert
Connect standard streams to global references
enhancement
New feature or request
frontend
good first issue
Good for newcomers
help wanted
Extra attention is needed
PLDI(?) paper
proposal
#62
opened Aug 3, 2021 by
Rewbert
Refactor interpreter
good first issue
Good for newcomers
not-urgent
Use this labels for issues that are not urgent.
performance
#61
opened Aug 3, 2021 by
Rewbert
Ask Zephyr people about 64bit timers
PLDI(?) paper
question
Further information is requested
#60
opened Aug 3, 2021 by
Rewbert
Even better shrinker!
good first issue
Good for newcomers
not-urgent
Use this labels for issues that are not urgent.
#47
opened Jul 20, 2021 by
j-hui
Change test framework to use exit codes rather than inspecting stderr
enhancement
New feature or request
good first issue
Good for newcomers
help wanted
Extra attention is needed
not-urgent
Use this labels for issues that are not urgent.
#43
opened Jul 9, 2021 by
Rewbert
Type checker
enhancement
New feature or request
good first issue
Good for newcomers
#37
opened Jul 6, 2021 by
Rewbert
Real-time code hot-loading
enhancement
New feature or request
not-urgent
Use this labels for issues that are not urgent.
#27
opened Jun 21, 2021 by
j-hui
Monomorphisation
enhancement
New feature or request
PLDI(?) paper
proposal
question
Further information is requested
#25
opened Jun 20, 2021 by
Rewbert
Efficiency of function pointers
proposal
question
Further information is requested
#22
opened Jun 18, 2021 by
Rewbert
Derived combinators to sell EDSLs in the paper
discussion
PLDI(?) paper
#19
opened Jun 17, 2021 by
Rewbert
Efficiency of the code generator
not-urgent
Use this labels for issues that are not urgent.
performance
#18
opened Jun 17, 2021 by
Rewbert
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.