Search results

Investigate panic strategies for CHERIoT

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

Status: Open.

#65 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 21, 2025

Missing alloc optimisation on CHERIoT

bugA non-panicking bug in the compiler.A non-panicking bug in the compiler.

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

Status: Open.

#64 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 19, 2025

<code>slice::as_chunks</code> lowered to poison

bugA non-panicking bug in the compiler.A non-panicking bug in the compiler.

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

Status: Open.

#63 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 18, 2025

Adjustments to <code>compiletest</code> for CHERIoT

testing

Status: Open.

#59 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 16, 2025

Explore ways to adapt test suite

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

testing

Status: Open.

#57 In CHERIoT-Platform/cheri-rust;

· seharris opened on Dec 16, 2025

Integrate <code>cargo</code> and/or <code>rustc</code> in the RTOS's build system

enhancementNew feature or request.New feature or request.

Status: Open.

#54 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 9, 2025

Compile <code>std</code> to CHERIoT

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

testing

Status: Open.

#52 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 5, 2025

Add example of soundness issues in Rust caught at runtime by CHERIoT

communicationDemonstrations, blog posts, anything that gives visibility to the project.Demonstrations, blog posts, anything that gives visibility to the project.

Status: Open.

#51 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 5, 2025

Integration of CHERIoT revisions of <code>codegen-llvm</code> and/or <code>assembly-llvm</code> test suite

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

testing

Status: Open.

#50 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 5, 2025

ICE when generating <code>vtable</code> debug info for CHERIoT

enhancementNew feature or request.New feature or request.

ICEThis item concerns an internal compiler error.This item concerns an internal compiler error.

Status: Open.

#48 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Dec 4, 2025

Enhancements to <code>CheckAlignment</code> and <code>CheckNull</code> MIR passes

enhancementNew feature or request.New feature or request.

needs investigationThe solution is not obvious or feasibility must be studied.The solution is not obvious or feasibility must be studied.

Status: Open.

#40 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Nov 19, 2025

The runner does not report the message of panics

cheriot-runnerThis item concerns the CHERIoT test runner.This item concerns the CHERIoT test runner.

Status: Open.

#38 In CHERIoT-Platform/cheri-rust;

· xdoardo opened on Nov 18, 2025