Bernhard Scholz

Basically, you would need eps-environments for checking equivalences, e.g., `a == b |a-b| < eps` where eps is a constant depending on your needs. In the case of recursive procedures,...

We are working on the bytecode level not at source code level. This should work as long as your compiler produces eligible bytecode.

Can you show us the example (i.e. Bytecode, CFG, and translation)?

Can you provide the disassembly output - otherwise we cannot see the block 0x389?

Thanks for the detailed analysis! We must understand the extra work the compiler does with the new extension (compiling strata separately). Perhaps you can perform diffs before and after so...

This is most likely related to Brie data-structure issues. Are you using 32bit or 64Bit as a word size?

Brie uses bitwise comparison and not floating point comparison. There have been several issues related to this bug. However, it is the same bug. E.g., #2311 Alternatively, there could be...

Can you prepare a pull-request for this?

Thanks for the contribution! Please, can you update the documentation as well?

I am happy to guide you in designing such a transformer. Let me know (email: [email protected]).