ssyram comments

Repositories
Issues
Comments

Results 23 comments of


                                            ssyram

Bug: Regions not properly tracked

I just noticed this. This is totally fine for Eurydice so I don't mind it anyway...

Tracking Issue: Address follow-up comments on #3514 (LLBC Backend)

Hi, I appreciate your work very much but am personally curious about what is the intended difference between your work and Charon? I think you are both converting / exporting...

Tracking Issue: Address follow-up comments on #3514 (LLBC Backend)

Thanks for this! From my understanding, the codegen of LLBC is parallel to the GOTO format -- the codegen either generates GOTO to be put into CBMC or LLBC. Am...