- 08 8月, 2017 11 次提交
-
-
由 Oliver Schneider 提交于
-
由 Oliver Schneider 提交于
-
由 Oliver Schneider 提交于
-
由 Oliver Schneider 提交于
statics are rare and constants are copied anyway. Reading from a constant should then yield a `ByVal` again if possible.
-
由 Oliver Schneider 提交于
instead of interleaving them as before. The next step is to also separate out static memory into its own address space.
-
由 Ralf Jung 提交于
make xargo/build.sh more cross-platform
-
由 Ralf Jung 提交于
-
由 Oliver Schneider 提交于
Re-do memory locking
-
由 Ralf Jung 提交于
Re-do memory locking (again). Now with proper support for multiple independent shared borrows of the same mutable reference.
-
由 Ralf Jung 提交于
Update for Rust nightly
-
由 Oliver Schneider 提交于
-
- 05 8月, 2017 4 次提交
-
-
由 Oliver Schneider 提交于
Backtrace performance
-
由 Ralf Jung 提交于
Update MIR validation and test it
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
- 04 8月, 2017 17 次提交
-
-
由 Oliver Schneider 提交于
Rust reorders fields, but miri uses the order from the source files
-
由 Oliver Schneider 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
make test suite MIR validation aware. run-pass passes with and without fullmir, if optimizations are disabled!
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Oliver Schneider 提交于
Produce backtraces for miri internals
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
fix size_of_val on unsized tuples
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
- 03 8月, 2017 5 次提交
-
-
由 Oliver Schneider 提交于
-
由 Oliver Schneider 提交于
-
由 Ralf Jung 提交于
-
由 Ralf Jung 提交于
-
由 Oliver Schneider 提交于
-
- 02 8月, 2017 3 次提交
-
-
由 Oliver Schneider 提交于
before we built in debug mode for testing, but then installed miri, which builds in release mode. So we built in release mode anyway but tested slowly in debug mode
-
由 Oliver Schneider 提交于
-
由 Eduard-Mihai Burtescu 提交于
Process untagged unions
-