Python frontend : Documentation

[haru-02]

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.

[lucasccordeiro]

@brcfarias: could you please give some directions to address this issue (lack of documentation for our python frontend)?

[brcfarias]

Hi @haru-02, I've just sent you a message on our Slack to discuss how we could organize the documentation and address your questions. Thanks.

[haru-02]

Thank you @brcfarias @lucasccordeiro