Ryan Stortz 8263147956 Saving work adding OS X support. ...

I think the llvm+clang download has rtti off but this project requires
it to be on. We might need to build llvm and clang each time. :(

2015-11-28 20:26:37 -05:00

..

bootstrap_linux.sh

Split the auto-generation of semantics into two steps: one that does instructions only and optimizes them, and another that does the block function (no optimization), then the two are linked. Auto generate semantics files for some x86 features. These features can be enabled at translation time, e.g. --with_x86_avx or --with_x86_avx512

2015-11-27 14:44:50 -05:00

bootstrap_osx.sh

Saving work adding OS X support.

2015-11-28 20:26:37 -05:00

bootstrap.sh

Saving work adding OS X support.

2015-11-28 20:26:37 -05:00

compile_semantics.sh

Split the auto-generation of semantics into two steps: one that does instructions only and optimizes them, and another that does the block function (no optimization), then the two are linked. Auto generate semantics files for some x86 features. These features can be enabled at translation time, e.g. --with_x86_avx or --with_x86_avx512

2015-11-27 14:44:50 -05:00

ida_get_cfg.py

IDA script generally finds all functions now. Now lifted bitcode files can optimize without the optimizer figuring out that unreachable blocks are unoptimizable. Currently optimized bitcode looks a bit strange due to the absence of implementations for some key things.

2015-11-09 00:26:32 -05:00

ida_get_cfg.sh

IDA script generally finds all functions now. Now lifted bitcode files can optimize without the optimizer figuring out that unreachable blocks are unoptimizable. Currently optimized bitcode looks a bit strange due to the absence of implementations for some key things.

2015-11-09 00:26:32 -05:00