1 file changed
+1
-1
lines changed- .gitignore+2
- Cargo.lock+38
- Cargo.toml+2
- README.md+8
- ffi_tests/Cargo.lock+16
- ffi_tests/Cargo.toml+9
- ffi_tests/build.rs+7
- ffi_tests/src/libtestlib.so
- ffi_tests/src/main.rs+48
- ffi_tests/src/test.c+34
- rust-version+1-1
- src/bin/miri.rs+13
- src/eval.rs+5
- src/machine.rs+30-4
- src/shims/ffi_support.rs+381
- src/shims/foreign_items.rs+14-3
- src/shims/mod.rs+1
- tests/compiletest.rs+20-1
- tests/extern-so/libcode.version+9
- tests/extern-so/test.c+27
- tests/fail/extern-so/function_not_in_SO.rs+13
- tests/fail/extern-so/function_not_in_SO.stderr+14
- tests/fail/issue-miri-2432.rs+19
- tests/fail/issue-miri-2432.stderr+15
- tests/pass/extern-so/call_extern_c_fcts.rs+48
- tests/pass/extern-so/call_extern_c_fcts.stdout+2
0 commit comments