search

esa / asn1scc

ASN1SCC: An open source ASN.1 compiler for embedded systems
https://www.thanassis.space/asn1.html
Other
272 stars 58 forks source link

Verified Scala backend #295

Closed fschramka closed 8 months ago

fschramka commented 8 months ago

ASN1SCC Scala Backend with a lot more work done.

usr3-1415 commented 8 months ago

Hi. The PR cannot be automatically merged due to several conflicts in DAstACN.fs. Can you rebase your branch against the latest master branch, resolve the conflicts, and submitting a new PR?

fschramka commented 8 months ago

Due to the revert of the last PR, not appliable. Doing a new one :)