Rafael Sá Menezes

> @rafaelsamenezes can we just update the script in `master` branch? Yes, it will work. Also, you can update the prepare_enviroment.sh to download from another location if you want.

Hi, @feliperodri nice to see you trying ESBMC again. > wouldn't be easier to support releases on brew? I actually gave it a shot a couple of years ago. If...

> This is mainly for frontends that can't add the definitions in the preprocessor, right? Actually is to define a standard for users and for documentation purposes. If we ever...

> @rafaelsamenezes: how do you want to proceed with this PR? IMO we can merge it already. It should be easy enough to add it back if anything

> Does this trace in xml help our VS code plugin? Joss needs to parse the ESBMC trace to graphically visualise it in VS code. I am not sure if...

> This is also probably required to integrate esbmc with eclipse/vscode plugin I am not sure if it is required, a regex will be fine (and probably easier) for parsing...

Is there a way to make static builds of camada and release them? This would simplify a lot of the build process of ESBMC.

> Do you mean a static library that contains symbols and code from all the other libraries? Currently, while you can build camada statically, you'll still need all the other...

> It would help me considerably if we could merge at least the first commit of this series to master. This compile issue is not apt-specific. @fbrausse I just pushed...

Hi @DestyNova , > Might be a failed assertion? `CONVERSION ERROR` means that ESBMC wasn't able to parse the file correctly. > If it's helpful, I can supply the Makefile...