Peter Goodman 1688d1edfe Build script and test cases working on Linux.

2016-01-16 23:45:41 -05:00

..

bootstrap.sh

Build script and test cases working on Linux.

2016-01-16 23:45:41 -05:00

build.py

Build script and test cases working on Linux.

2016-01-16 23:45:41 -05:00

check.sh

Added scripts/check.sh to run the clang static analyzer on the code (I think). Added an untested implementation of SHR.

2015-12-28 18:39:58 -05:00

compile_semantics.sh

Build script and test cases working on Linux.

2016-01-16 23:45:41 -05:00

ida_get_cfg.py

Made the lifter ignore NOPs. Fixed handling of passing vector registers by value; I used the wrong XED API function to determine the register class of a particular register. Modified the implementation of LEA to use the A accessor, which is the canonical way of finding the address of a memory operand. Fixed a minor bug in the IDA script by disabling an assertion.

2016-01-13 11:49:48 -05:00

ida_get_cfg.sh

Implemented inline deferral optimization. Enabled the optimization on the test case builds. Modified cmake to explicitly include LLVM; hopefully that works on macs.

2015-12-17 19:11:02 -05:00

optimize_bitcode.sh

Made it so that the test cases exercise the instruction with the flags zeroed and with the flags set.

2015-12-20 17:47:16 -05:00

print_x86_save_state_asm.sh

Massive changes to start supporting test cases.

2015-12-11 23:41:04 -05:00

run_tests_x86.sh

Implemented inline deferral optimization. Enabled the optimization on the test case builds. Modified cmake to explicitly include LLVM; hopefully that works on macs.

2015-12-17 19:11:02 -05:00