Casper
408cf58024
Fix Rust UB problems ( #6393 )
...
* Fix miri problems by assuming alignment is 1 in rust
* Removed is_aligned fn from rust verifier.
* Add back is_aligned, but make it w.r.t. buffer[0]
* touch unused variable
* touch unused variable
* +nightly
* Move Rust miri testing into its own docker
* fix bash
* missing one endian conversion
* fix endianness2
* format stuff
Co-authored-by: Casper Neo <cneo@google.com >
2021-01-11 15:24:52 -05:00
..
2021-01-07 11:24:59 -08:00
2021-01-11 15:24:52 -05:00
2020-10-12 12:24:18 -07:00
2019-02-21 23:36:55 +01:00
2021-01-02 11:46:46 +03:00
2021-01-02 11:46:46 +03:00
2020-10-30 13:18:59 -07:00
2021-01-07 11:24:59 -08:00
2021-01-08 11:09:41 -08:00
2021-01-11 15:24:52 -05:00
2021-01-07 11:24:59 -08:00
2021-01-11 15:24:52 -05:00
2020-12-10 16:50:30 -08:00
2020-01-06 10:00:59 -08:00
2021-01-11 15:24:52 -05:00
2020-12-07 11:19:36 -08:00
2020-12-07 11:19:36 -08:00
2020-09-11 14:20:32 -07:00
2019-08-23 10:46:47 -07:00
2019-08-23 10:46:47 -07:00
2020-11-19 16:17:03 -08:00
2020-10-22 13:36:02 -07:00
2021-01-07 14:51:52 -08:00
2020-12-10 16:50:30 -08:00
2020-12-10 16:50:30 -08:00
2021-01-07 11:54:00 -08:00
2020-05-07 14:11:26 -07:00
2021-01-07 11:54:00 -08:00
2020-09-10 12:36:37 -07:00
2020-07-27 09:57:50 -07:00
2020-09-17 12:19:07 -07:00
2020-04-09 09:53:16 -07:00
2019-02-21 19:50:13 +01:00
2019-10-17 15:16:40 -07:00
2020-10-26 17:46:50 -07:00
2020-10-26 17:46:50 -07:00
2020-10-22 13:36:02 -07:00
2020-06-22 17:08:35 -07:00
2020-10-22 13:36:02 -07:00
2018-07-05 15:55:57 -07:00
2019-11-14 15:46:46 -08:00
2019-08-01 10:28:54 -07:00
2020-12-07 11:19:36 -08:00
2020-01-23 14:53:58 -08:00
2020-01-23 14:53:58 -08:00
2021-01-07 11:24:59 -08:00
2021-01-07 11:24:59 -08:00
2021-01-07 11:24:59 -08:00
2021-01-07 11:24:59 -08:00
2021-01-11 15:24:52 -05:00
2021-01-07 11:24:59 -08:00
2020-10-07 09:56:30 -07:00
2020-10-07 09:56:30 -07:00
2018-09-21 09:42:43 -07:00
2018-10-22 15:41:12 -07:00
2021-01-07 14:51:52 -08:00
2021-01-07 11:24:59 -08:00
2021-01-07 11:24:59 -08:00
2018-11-29 10:33:17 -08:00
2018-11-29 10:33:17 -08:00
2021-01-07 11:24:59 -08:00
2019-07-08 11:22:56 -07:00
2021-01-07 11:54:00 -08:00
2019-07-26 11:06:25 -07:00
2019-07-26 09:13:11 -07:00
2021-01-07 11:24:59 -08:00
2021-01-07 11:24:59 -08:00
2020-12-07 11:19:36 -08:00
2019-11-07 12:22:54 -08:00
2019-11-07 12:22:54 -08:00
2019-08-01 14:31:48 -07:00
2020-12-07 11:19:36 -08:00
2020-10-28 09:45:23 -07:00
2020-10-22 13:36:02 -07:00
2021-01-04 14:11:59 -08:00
2020-10-28 09:45:23 -07:00
2020-10-22 13:36:02 -07:00
2018-10-15 16:55:59 -07:00
2017-08-11 09:24:36 -07:00
2017-08-11 09:24:36 -07:00
2020-05-07 14:26:33 -07:00
2021-01-04 12:18:19 -08:00
2020-05-07 14:26:33 -07:00
2020-05-07 14:11:26 -07:00
2021-01-11 15:24:52 -05:00
2020-03-02 10:15:23 -08:00
2019-12-13 10:14:14 -08:00
2020-03-02 10:15:23 -08:00
2019-12-23 12:13:48 -08:00
2021-01-07 11:24:59 -08:00
2020-09-11 14:20:32 -07:00
2020-09-17 12:21:14 -07:00
2019-10-10 15:25:39 -07:00