-
Notifications
You must be signed in to change notification settings - Fork 6
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
C code generator #1286
Labels
generator
Related to generator package (SPARK code generation)
Projects
Comments
jklmnn
added a commit
that referenced
this issue
Jan 17, 2023
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
While the generated SPARK code is already architecture independent there are still platforms that don't have an Ada compiler at all. To increase the portability of RecordFlux a C code generator can be added.
The C code generator would consist of two major parts:
ada.py
package for generating the message parser and generator codeAdditionally the
rflx
executable needs to be adapted to allow the selection of the desired output language. For that I propose the following parameter:The default value for the language would be
spark
. This pattern allows to introduce further languages in the future without needing to add new parameters.The text was updated successfully, but these errors were encountered: