Issues

• ci: ip-test job consistently fails because Isabelle fails to download

  awslabs/AutoCorrode#263 · Filter by author ike-mulder-aws opened on Jul 31, 2026

• I/P: Remote Isabelle/ML instance tends to crash on long-running sledgehammer calls

  bug
  awslabs/AutoCorrode#232 · Filter by author hanno-becker opened on May 18, 2026

• ir: segment init from inside a proof does not register the thm at qed

  awslabs/AutoCorrode#230 · Filter by author ike-mulder-aws opened on May 14, 2026

• ir testsuite stress_tests seems to sometimes spuriously fail

  awslabs/AutoCorrode#206 · Filter by author ike-mulder-aws opened on Apr 13, 2026
  3

• Spurious build failure related to MicroC (?)

  bugCI
  awslabs/AutoCorrode#177 · Filter by author hanno-becker opened on Mar 15, 2026
  1

  

• jEdit unresponsive when running Assistant command from the context menu

  awslabs/AutoCorrode#172 · Filter by author kappelmann opened on Mar 11, 2026
  4

• Generalize match translation: recursive matcher for complex patterns

  awslabs/AutoCorrode#68 · Filter by author DominicPM opened on Jan 30, 2026

• I/Q: Reduce the verbosity of the output of get_command_info

  awslabs/AutoCorrode#59 · Filter by author hanno-becker opened on Dec 8, 2025

• Notation mechanism does not work for constructors with parameters

  bug
  Bug

  awslabs/AutoCorrode#48 · Filter by author dominic-mulligan-aws opened on Sep 29, 2025

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

  enhancementI/Q
  awslabs/AutoCorrode#41 · Filter by author hanno-becker opened on Sep 8, 2025

• I/Q: Allow searching multiple files at once

  enhancementI/Q
  awslabs/AutoCorrode#38 · Filter by author hanno-becker opened on Sep 8, 2025

• Unify syntax translations for shallow embedding of callables

  awslabs/AutoCorrode#29 · Filter by author ike-mulder-aws opened on Jul 1, 2025

• Add more Micro Rust standard library functions

  enhancementgood first issuehelp wanted
  Feature

  awslabs/AutoCorrode#17 · Filter by author dominic-mulligan-aws opened on Apr 25, 2025

• Create more syntax frontends for AutoCorrode

  enhancementgood first issuehelp wanted
  Feature

  awslabs/AutoCorrode#12 · Filter by author dominic-mulligan-aws opened on Apr 24, 2025

• Create more examples of Micro Rust and its verification

  enhancementgood first issuehelp wanted
  Feature

  awslabs/AutoCorrode#6 · Filter by author dominic-mulligan-aws opened on Apr 24, 2025