Sebastian N. Fernandez issues

Results 7 issues of


                                            Sebastian N. Fernandez

Windows LLVM build (was 'Windows C codegen')

Hi, I'm hacking on mrustc to make it build the Windows version of rustc. I got it pretty far to the point I compiled all the libraries and rustc is...

prevent symbolic_value from saturating integers

This tackles a miss-optimization from Solidity that generates code like this: ``` 0xa50x31: va5V31 = MLOAD va3V31(0x40) 0xa60x31: va6V31(0x1f) = CONST 0xa80x31: va8V31(0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffe0) = NOT va6V31(0x1f) 0xa90x31: va9V31 = ADD...

Flow analysis + memory modeling

Hi, first I'd like to thank you for making gigahorse open source. It's an amazing research project and tool. This is not a concrete issue but more of a brain...

Bigdecimal conversion in Postgres is limited to u128

What the title says. The lib doesn't currently support the variable numeric type: https://www.postgresql.org/docs/9.1/datatype-numeric.html which says `up to 131072 digits before the decimal point; up to 16383 digits after the...

`chifra scrape` doesn't work?

Updated my code pulling from develop and noticed that `chifra scrape run` doesn't work anymore? I did some digging and it seems that this is because the `scrapeBlock` command is...

adding force user/group

Hey, I'm not sure if this is interesting to you at all. I needed the force user/group and your image seems to be the best available in DockerHub so modified...

add emacs lsp-mode snippet to doc

- [ ] Because this PR includes a **bug fix**, relevant tests have been included. - [ ] Because this PR includes a **new feature**, the change was previously discussed...