You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
I am working on ESBMC under the supervision of professor @lucasccordeiro . I would like to record this issue of missing documentation on the python frontend for esbmc. I want to write the documentation for this part, so any pointers on how to approach this issue would be appreciated. so far, I have installed esbmc locally and also went through some related papers. Are there any more resources primarily related to the python frontend code ? Just to understand a bit more about it.
Thank you.
The text was updated successfully, but these errors were encountered:
Hello,
I am working on ESBMC under the supervision of professor @lucasccordeiro . I would like to record this issue of missing documentation on the python frontend for esbmc. I want to write the documentation for this part, so any pointers on how to approach this issue would be appreciated. so far, I have installed esbmc locally and also went through some related papers. Are there any more resources primarily related to the python frontend code ? Just to understand a bit more about it.
Thank you.
The text was updated successfully, but these errors were encountered: