Sebastian N. Fernandez

Just noticed that there is a lot of progress in the `development` branch. The codegen there is using `#define` which will rename the rest of the functions using this name....

I got past the libs. The problem is with the more complicated C files generated by rustc. Check my first message in the issue for reference of the bugs you...

For building LLVM: ``` cmake -v -A x64 -Thost=x64 -DCMAKE_BUILD_TYPE=Release -DLLVM_TARGETS_TO_BUILD="X86" -DLLVM_INCLUDE_EXAMPLES=OFF ^ -DLLVM_ENABLE_ASSERTIONS=OFF -DLLVM_INCLUDE_TESTS=OFF -DLLVM_INCLUDE_DOCS=OFF -DLLVM_ENABLE_ZLIB=OFF ^ -DWITH_POLLY=OFF -DLLVM_ENABLE_TERMINFO=OFF -DLLVM_ENABLE_LIBEDIT=OFF -DLLVM_USE_CRT_DEBUG=MT ^ -DLLVM_USE_CRT_RELEASE=MT -DLLVM_USE_CRT_RELWITHDEBINFO=MT ^ -DLLVM_DEFAULT_TARGET_TRIPLE=x86_64-windows-msvc ^ -DCMAKE_INSTALL_PREFIX=F:\projects\mrustc\rustc-1.19.0-src\src\llvm\build\installed ^...

A new tool would also open the doors to other platforms whereas `reprotest` is Linux oriented. Even if we contribute support for other platforms to it, non-nix platforms like Windows...

Hi @kiritoD, thanks for your comment. I haven't looked at it for a few years now and I'm out of date with anything but PyTorch these days. Please send a...

This is how that library makes the conversion but unfortunately it doesn't support base 10_000 as needed by quaint https://github.com/rust-num/num-bigint/blob/master/src/biguint/convert.rs#L646 . Could potentially copy and optimize that function in.

Thanks for having a look, I'm on leave but I'll get a testcase as my current one is too big to use as such.

Thank you Yannis! One of the simplest examples I can think of is the one to detect when a call uses a static function signature: ``` CallToConstant(call):- Variable_Value(base, _), Variable_NumericValue(shift,...

Thank you Sifis, I ended up hacking together something similar to what's used in ethainter's `InfoFlows` but added logic to track the flow through the memory (`ArrayLoad/ArrayStore`) in addition to...

Did you analyze using an embeddable database like http://rocksdb.org/ ? I know it can be a little too early to start worrying about these details, but I read future-proof in...