Mikhail R. Gadelha

@Constellation the last version should do what you asked plus what I mentioned yesterday: we only generate the EncodedJSValue from two registers if the identifier is a cell, otherwise, we...

ping @Constellation

Hey @Constellation, I think I've addressed your comments, could you take another look?

I'll start to work on it again. Em seg., 31 de out. de 2022 às 06:18, Lucas Cordeiro < ***@***.***> escreveu: > @mikhailramalho : Can I ask you for >...

Em qua., 6 de jul. de 2022 às 05:48, Franz Brauße ***@***.***> escreveu: > > 1. First there are still a bunch of checks that esbmc does that are >...

Em seg., 11 de abr. de 2022 às 05:49, Franz Brauße ***@***.***> escreveu: > Ow, didn't know that INI was a standard of sorts. > > Of sorts, yeah. But...

I see, can we make ESBMC generate the header instead then? Will Kotlin use the same header as the C one? Em ter., 12 de jul. de 2022 às 15:13,...

Em sáb., 6 de ago. de 2022 às 03:04, Franz Brauße ***@***.***> escreveu: > But we only pad the type when we are parsing its definition, my suggestion > would...

> > > @mikhailramalho Do we have any > documentation about how the frontends should work? > No, but the design is clear: 1. Convert clang nodes to esbmc expr....

> Why? > > What do you mean by why? It will simply increase the complexity of the codebase unnecessarily. Why don't spend the time and effort implementing the new...