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

OER: remove nom usage, improve errors #384

Merged
merged 2 commits into from
Nov 28, 2024

Conversation

Nicceboy
Copy link
Contributor

@Nicceboy Nicceboy commented Nov 28, 2024

OER decoding has simplified a bit and we can actually just remove nom usage completely.
This improves error messages slightly as well at the same time, and move some historical constants.

@Nicceboy Nicceboy force-pushed the oer-remove-nom branch 3 times, most recently from 92c68d3 to d9e9158 Compare November 28, 2024 12:05
@XAMPPRocky
Copy link
Collaborator

Thank you for your PR!

@XAMPPRocky XAMPPRocky merged commit 37a93d3 into librasn:main Nov 28, 2024
65 checks passed
@github-actions github-actions bot mentioned this pull request Nov 28, 2024
@Nicceboy Nicceboy deleted the oer-remove-nom branch November 28, 2024 14:29
@github-actions github-actions bot mentioned this pull request Jan 8, 2025
This was referenced Jan 25, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants