Search results

Generalize match translation: recursive matcher for complex patterns

Status: Open.

#68 In awslabs/AutoCorrode;

· DominicPM opened on Jan 30, 2026

Add support for match guards (pat if cond) in Micro Rust

Status: Open.

#67 In awslabs/AutoCorrode;

· DominicPM opened on Jan 30, 2026

Extend pattern forms toward Rust: literals, tuple patterns, or-patterns, @ bindings, ref/mut, ranges, slices

Status: Open.

#66 In awslabs/AutoCorrode;

· DominicPM opened on Jan 30, 2026

Add nested pattern support in Micro Rust patterns

Status: Open.

#65 In awslabs/AutoCorrode;

· DominicPM opened on Jan 30, 2026

Create C frontend based on Isabelle/C

Status: Open.

#63 In awslabs/AutoCorrode;

· hanno-becker opened on Jan 28, 2026

I/Q: Reduce the verbosity of the output of <code>get_command_info</code>

Status: Open.

#59 In awslabs/AutoCorrode;

· hanno-becker opened on Dec 8, 2025

Physical Memory Layout

Status: Open.

#58 In awslabs/AutoCorrode;

· wokring opened on Dec 4, 2025

Semicolon at the end any scope

Status: Open.

#57 In awslabs/AutoCorrode;

· wokring opened on Nov 24, 2025

Inclusive ranges up to <code>INT_MAX</code> are not encoded right

Status: Open.

#53 In awslabs/AutoCorrode;

· ike-mulder-aws opened on Nov 19, 2025

Notation mechanism does not work for constructors with parameters

bugSomething isn't workingSomething isn't working

Status: Open.

Bug

#48 In awslabs/AutoCorrode;

· dominic-mulligan-aws opened on Sep 29, 2025

I/Q: Give names to error codes and align with semantics from JSON RPC spec

enhancementNew feature or requestNew feature or request

I/Q

Status: Open.

#41 In awslabs/AutoCorrode;

· hanno-becker opened on Sep 8, 2025

I/Q: Allow searching multiple files at once

enhancementNew feature or requestNew feature or request

I/Q

Status: Open.

#38 In awslabs/AutoCorrode;

· hanno-becker opened on Sep 8, 2025