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

Switch to SV-COMP'24 for CI benchmark runs

I fully support to switch to this new tag.

Rework ESBMC's options to generically support target architectures != x86_64

@fbrausse: can I ask you the current status of this issue?

ESBMC terminates after throwing an instance of 'std::length_error'

@fbrausse: Can I ask you whether you had a chance to look at this issue? ESBMC master fails with: ``` esbmc: /home/lucas/ESBMC_Project/esbmc/src/solvers/smt/smt_bitcast.cpp:210: const smt_ast* smt_convt::convert_bitcast(const expr2tc&): Assertion `!is_multi_dimensional_array(to_type) && "Bitcasting...

Support to check floating-point arithmetic

@map2check: you need to be careful about this issue. I'm unsure whether this extension is useful. Try to talk with Cristian Cadar to see if it is worth investing effort...

Investigating std::shared_ptr overhead

@fbrausse: Thanks for submitting this PR and starting this discussion. Our main goal is to parallelize ESBMC. So, I'm entirely in favor of this initiative to make ESBMC thread-safe. The...

Prevented out-of-bounds access for domain

@rafaelsamenezes: shall we review this PR?

[Coverage] Support Condition Coverage

@ChenfengWei0: Can I ask you whether you had a chance to address Franz's comments?

[Coverage] Support Condition Coverage

Many thanks for submitting this PR, @ChenfengWei0! That's a great piece of work added to the ESBMC project! Many congratulations!

Slicer support for Arrays/Structs

@Anthonysdu: can you please evaluate this PR over the RMM project?

Slicer support for Arrays/Structs

@rafaelsamenezes: we could also move forward with this PR: https://github.com/esbmc/esbmc/pull/1398. @Anthonysdu started working on it, but there was not much progress for some reason.