All pull requests

Pull requests

• PRELIMINARY / DO NOT MERGE: adapt to Isabelle_25-Jul-2026 (Isabelle2026 pre-release)

  #272·lawrencecpaulson opened Aug 24, 2026·

  ·

• Micro_Rust_Std_Lib: add verified slice and vector operations

  #267·nagyors opened Aug 8, 2026·

  ·

• I/R: support native Windows

  #261·DanielMidgley opened Jul 23, 2026·

  ·

• Implementation of std::result functions

  enhancement
  #250·jonasmittun opened Jul 6, 2026·

  ·

• Iterative fibonacci example proof

  #245·nagyors opened Jun 17, 2026·

  ·
  7

• cross-platform I/Q Makefile

  bug
  #233·edoput opened May 21, 2026·

  ·
  15

• RFC: ir: splice recorded post-proof state to fix mid-proof segment init

  #231·ike-mulder-aws opened May 15, 2026Collaborator·

  ·
  1

• I/R: Add Ir.init_with_header for keyword-aware theory init

  #228·ike-mulder-aws opened May 14, 2026Collaborator·

  ·

• [feat] examples: Add reference-backed finite set

  #214·ethan-kharitonov opened Apr 28, 2026·

  ·
  2

• [feat] examples: Add linked-list backed stack

  #213·ethan-kharitonov opened Apr 28, 2026·

  ·
  6

• Add number-theory related uRust examples

  #212·ethan-kharitonov opened Apr 28, 2026·

  ·
  5

• Fixed various IQ/IR issues

  bug
  #208·dominic-mulligan-aws opened Apr 17, 2026Collaborator·

  ·
  

• Make Rust-vs-Micro-Rust testing a coverage-auditable CI gate

  CIenhancement
  #108·DominicPM opened Feb 17, 2026Contributor·

  ·
  

• Unify match and match_switch into single match syntax

  enhancement
  #75·DominicPM opened Feb 1, 2026Contributor·

  ·

• Code assertions: mechanism to support maintenance of big abstract excutable developments

  #60·fhaftmann opened Dec 23, 2025·

  ·
  15