Search results

Feature Request: Formal verification and DO-178C certification for safety-critical applications

Status: Open.

#51 In Speykious/cve-rs;

· ntc2 opened on Jun 9, 2025

Blazingly fast type check disable

Status: Open.

#49 In Speykious/cve-rs;

· lrlunin opened on Feb 5, 2025

cve-rs fails to build

Status: Open.

#48 In Speykious/cve-rs;

· ThalliMega opened on Dec 9, 2024

Memory issue

Status: Open.

#40 In Speykious/cve-rs;

· jorbinjubin opened on May 17, 2024

Skill issue

Status: Open.

#39 In Speykious/cve-rs;

· Codestech1 opened on Apr 24, 2024

Port to C#

Status: Open.

#36 In Speykious/cve-rs;

· aragubas opened on Mar 30, 2024

Test that derived code works with <code>std::mem::transmute</code>

Status: Open.

#35 In Speykious/cve-rs;

· turalcar opened on Mar 26, 2024

The ultimate safety

Status: Open.

#30 In Speykious/cve-rs;

· turalcar opened on Feb 28, 2024

Port to Java

JavaD:D:

nope

whywhywhy

Status: Open.

#29 In Speykious/cve-rs;

· Codetoil opened on Feb 28, 2024

Submit it to the year's SIGBOVIK

Status: Open.

#28 In Speykious/cve-rs;

· felix91gr opened on Feb 27, 2024

Rewrite in Rust

Status: Open.

#27 In Speykious/cve-rs;

· enderman0125 opened on Feb 24, 2024

fake repository

Status: Open.

#21 In Speykious/cve-rs;

· ar1ja opened on Feb 22, 2024