Verification of realistic regex matching

GitHub

Proposal

proposal

Progress presentation

script

Meeting notes

• 2025_09_24
• 2025_10_01
• 2025_10_08
• 2025_10_15
• 2025_10_22
• 2025_10_29
• 2025_11_05
• 2025_11_12
• 2025_11_19
• 2025_11_26
• 2025_12_03
• 2025_12_10
• 2025_12_17
• 2026_01_14
• 2026_01_21
• 2026_03_05
• 2026_03_12
• 2026_03_19
• 2026_03_26

Report

• draft
• final