bors 86911fd8f6 Auto merge of #2368 - RalfJung:debug, r=oli-obk ...

Make "./miri {build,run,test}" use debug assertions but "./miri install" not

This makes `./miri run`/`./miri test` use the full set of debug assertions (including the rather expensive ones that check consistency of the Stacked Borrows cache), but `./miri install` installs a Miri *without* those debug assertions.

That's the same behavior as cargo, and helps catch Miri bugs with the test suite while making installed Miri usable for larger runs.

2022-07-15 15:54:47 +00:00

..

bin

add option for recursive field retagging

2022-06-29 18:22:30 -04:00

concurrency

make some debug assertions in RangeObjectMap be full assertions

2022-07-14 13:23:35 -04:00

helpers

Replace as casts in llvm.x86.addcarry.64 implementation

2022-04-30 10:33:55 -07:00

shims

rustup

2022-07-14 09:54:20 -04:00

stacked_borrows

make cache consistency checks into regular debug assertions

2022-07-14 13:00:35 -04:00

diagnostics.rs

rustup

2022-07-07 20:12:30 -04:00

eval.rs

call_function: make the unit-return-type case more convenient

2022-07-04 13:46:11 -04:00

helpers.rs

rustup

2022-07-15 08:09:43 -04:00

intptrcast.rs

tweak format strings

2022-07-06 09:47:48 -04:00

lib.rs

Rearrange and document the new implementation

2022-07-12 21:03:54 -04:00

machine.rs

Rearrange and document the new implementation

2022-07-12 21:03:54 -04:00

mono_hash_map.rs

some clippy-induced cleanup

2022-06-08 08:06:32 -04:00

operator.rs

rustup

2022-07-06 22:55:12 -04:00

range_map.rs

ensure that RangeMap panics on OOB

2022-07-14 15:09:20 -04:00

sync.rs

Inline _create() calls and add assertions

2022-05-12 21:06:17 +01:00

thread.rs

Store protectors outside Item, pack Tag and Perm

2022-07-12 21:01:33 -04:00

vector_clock.rs

set_at_index sets the default value (0) if index doesn't exist in the other vector

2022-06-06 19:15:20 +01:00