Lucas C. Cordeiro

icon indicating a website link https://ssvlab.github.io/lucasccordeiro/ icon indicating an email [email protected]

icon company The University of Manchester, UK icon location Manchester icon location Lucas C. Cordeiro is a Full Professor in the Department of Computer Science at the University of Manchester/UK and an Associate Professor at UFAM/Brazil.

Results 215 comments of Lucas C. Cordeiro

Domain paritioning v2

@MatildeMark: there are two files in conflict: ``` src/esbmc/esbmc_parseoptions.cpp src/goto-programs/CMakeLists.txt ``` Could you please fix them?

Caching Infrastructure

Our baseline (master): ``` Statistics: 15455 Files correct: 6723 correct true: 3114 correct false: 3609 incorrect: 242 incorrect true: 6 incorrect false: 236 unknown: 8490 Score: 5869 (max: 25033) ```...

Smtlib printing needs tweaking

@fbrausse: could you please check if one of your PRs already solves this issue?

Smtlib printing needs tweaking

@jmorse created this issue, but I don't think he reads our messages on GitHub anymore :-) I've his WhatsApp number. Let us wait a couple of days; if he doesn't...

Add an attribute to not cut a variable during slicing

It seems a good idea!

LLVM simplifications issue resolver

I have just started the CI for this PR. @mikhailramalho: Can I ask you to review this PR?

LLVM simplifications issue resolver

@fbrausse, @mikhailramalho and @rafaelsamenezes: do you still have comments for this PR? @rafaelsamenezes: could you please run this PR over the SV-COMP benchmarks?

LLVM simplifications issue resolver

@rafaelsamenezes: could you please run this PR over the SV-COMP benchmarks?

__VERIFIER_assert() considered as FUNCTION_CALL in GOTO

@rafaelsamenezes: could you please make a PR?

Override user-defined pthread types

Rafael has a MacOS in the lab. Can you speak with Rafael to reproduce this error? Em sex., 9 de set. de 2022 às 13:44, Franz Brauße ***@***.***> escreveu: >...