Add miri to CI
bluss opened this issue · comments
See here for more good research on running miri from @jturner314:
some options need to be updated since miri has changed defaults since then.
ndarray: an N-dimensional array with array views, multidimensional slicing, and efficient operations
bluss opened this issue · comments
See here for more good research on running miri from @jturner314:
some options need to be updated since miri has changed defaults since then.