niluxv

Results 10 issues of niluxv

I didn't have time to add tests to it yet, but this should implement `Index` and `IndexMut` where `I: SliceIndex`. Fixes #190

For code which is generic over the `Index` or `IndexMut` traits, it would be helpful if `ArrayVec` would implement the `Index` and `IndexMut` traits (in `core::ops`). I understand and like...

Fix tempfile leak in integration test, fix tests failing on windows due to open tempfile handles locking those files and document the YAML DeSer UB in the README and the...

Miri detects Undefined Behaviour when executing `integration_tests::mem_yaml`: (this used to ICE due to a bug in miri) Miri log ``` error: Undefined Behavior: type validation failed: encountered uninitialized bytes at...

bug
good first issue

When I try to compile/verify a small project (without any prusti annotations yet) using cargo-prusti it panics with the following error: ``` thread 'rustc' panicked at 'no entry found for...

bug
error-reporting

Hi, I' trying to sidefuzz the sha3 implementation of RustCrypto, but it gives the following error: ```Error: wasm error: Function: Module doesn't have export input_is_str``` Here is the code: ```rust...

I'm using a custom test harness using `libtest-mimic` (version 0.6.0), but when one of those tests fails, `cargo nextest run` still reports it as passed.

question

The [`rustix` crate](https://github.com/bytecodealliance/rustix) includes an extensive (private) module for using syscalls on Linux. It includes: * syscalls working on stable using `asm!` for all it's targets (the [inline module](https://github.com/bytecodealliance/rustix/tree/main/src/backend/linux_raw/arch/inline)) *...

`proc_self_status` again... It fails when called multiple times concurrently. On versions `0.18.14` and less it works fine, so I suppose this is not expected behaviour. If it *is*, then that...

While looking up your email address on key servers I couldn't find the PGP key you use for signing linsk releases (`keys/AlexSSD7.key`), but I did find a different key associated...