Mikhail R. Gadelha

Wazapp usually freezes when lots of messages are arriving (e.g. leaving it offline for a day or two). Maybe we can have some buffer system, where we don't have vibration...

How to handle conflicting types in different TUs?

4

Previously #1210. It was closed but esbmc was never able to verify it. After the latest PR that merges AST, we now get the following warning with a release build...

Investigate dropping SSA gen during symex

4

What if instead of generating SSA, symex could generate SMT directly instead? In practice, that would be done by replacing the code in `symex_target_equationt::*` with calls to smt_conv. PROS: *...

[libc][NFC] Adjust use of off_t internally

2

This patch includes changes related to the use of off_t in libc, targeted at 32-bit systems: in several places, the offset is used either as a long or an off_t...

Investigate html report performance

2

Program: ``` $ cat main.c _Bool a = 1; _Bool b = 0; int main() { goto c; d: __ESBMC_assert(b, ""); c: b = a; a = 0; goto d;...

Fix html report

2

This patch addresses the comment to improve the code that generates html reports: * Fixed unordered includes * Removed regex include in the middle of file html.cpp * Removed the...