Hello World Boogie Program for a Custom Programming Language #542
-
|
I see in the docs these are "frontend" to boogie: However, the docs are all currently blank. How would one go about making a new frontend to boogie for a new programming language? I have a programming language in mind, and would like for it to do what dafny does (or boogie), but that's as far as my knowledge goes currently. Not sure where to really begin in connecting a language to boogie, and what the I/O would be to/from the boogie process. |
Beta Was this translation helpful? Give feedback.
Answered by
shazqadeer
Aug 16, 2023
Replies: 1 comment
-
|
See Forro, a toy language designed to illustrate how to build a verifier using Boogie. |
Beta Was this translation helpful? Give feedback.
0 replies
Answer selected by
shazqadeer
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
See Forro, a toy language designed to illustrate how to build a verifier using Boogie.