| Age | Commit message (Collapse) | Author | Lines |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Fixes #304
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Except for error.rs, the result there looks rather ugly
|
|
|
|
for now
|
|
|
|
Turns out that tracking write locks by their lifetime is not precise enough,
but for now, we don't have an alternative. Also, we need to force_allocate
what we acquire or else the memory will not be in the right state.
|
|
|
|
|
|
instead of interleaving them as before.
The next step is to also separate out static memory into its own
address space.
|
|
independent shared borrows of the same mutable reference.
|
|
Update MIR validation and test it
|
|
|
|
now passes :)
|
|
|
|
validation commands
|
|
fullmir, if optimizations are disabled!
|
|
Produce backtraces for miri internals
|
|
|
|
|
|
the test suite
|
|
|
|
|
|
|
|
|
|
|
|
|