b-naber 705d818bd5 implement valtrees as the type-system representation for constant values

2022-06-14 16:07:11 +02:00

..

allowed_slices.rs

Rename slice_from_ptr_range_const -> const_slice_from_ptr_range

2022-05-30 15:44:56 +04:00

forbidden_slices.32bit.stderr

interpret: unify offset_from check with offset check

2022-06-09 20:47:06 -04:00

forbidden_slices.64bit.stderr

interpret: unify offset_from check with offset check

2022-06-09 20:47:06 -04:00

forbidden_slices.rs

normalize harder

2022-05-31 03:46:04 +04:00

out_of_bounds_read.rs

stabilize const_ptr_offset

2022-02-13 15:26:14 +08:00

out_of_bounds_read.stderr

implement valtrees as the type-system representation for constant values

2022-06-14 16:07:11 +02:00