Issues

• Stroscot Component Architecture (Tracking issue)

  Mathnerd314/stroscot#40 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 5.4 Standard Library

  Mathnerd314/stroscot#39 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 5.3 Compiler Feature Flags & Diagnostic System

  Mathnerd314/stroscot#38 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 5.2 Test Suite

  Mathnerd314/stroscot#37 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 5.1 Interactive Execution & Debugger

  Mathnerd314/stroscot#36 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 4.4 Self-Hosting & Cross-Compilation

  Mathnerd314/stroscot#34 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• Layer 4 – Bootstrapping

  enhancement
  Mathnerd314/stroscot#33 · Filter by author Mathnerd314 opened on Jul 9, 2026

• 3.4.1 Incremental/Parallel Build Engine

  Mathnerd314/stroscot#32 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.4 Tier Controller

  Mathnerd314/stroscot#31 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.3.4 Tracing & Loop Analysis

  Mathnerd314/stroscot#30 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.3.3. Unison-Style Global Code Generator (Compiler Core)

  Mathnerd314/stroscot#29 · Filter by author Mathnerd314 opened on Jul 9, 2026
  3

• 3.3.2 Tunable Optimization Objective Engine

  Mathnerd314/stroscot#28 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.3.1 IR Normalization & Cleanup Passes

  Mathnerd314/stroscot#27 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.3 Optimizing Compiler

  Mathnerd314/stroscot#26 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.2.4 Invariant Checker & Adapter Layer

  Mathnerd314/stroscot#25 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.2.3 Verification Meta-techniques & Portfolios

  Mathnerd314/stroscot#24 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.2.2 SMT/SAT & Logic Engine for Verification

  Mathnerd314/stroscot#23 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.2.1 CEGAR & Predicate Abstraction

  Mathnerd314/stroscot#22 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.2 Verification & Logic Engine

  Mathnerd314/stroscot#21 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.1.2 Meta-Programming and AOP

  Mathnerd314/stroscot#20 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.1.1 Binding-Time Analysis (BTA)

  Mathnerd314/stroscot#19 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 3.1 Abstract Interpreter

  Mathnerd314/stroscot#18 · Filter by author Mathnerd314 opened on Jul 9, 2026
  2

• Layer 2 – Host↔Target Protocol

  Mathnerd314/stroscot#17 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 1.3 Runtime Profiling, Instrumentation, & Baseline Behavior Estimator

  Mathnerd314/stroscot#16 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1

• 1.2 Stitching Logic & Guards/Deoptimization

  Mathnerd314/stroscot#15 · Filter by author Mathnerd314 opened on Jul 9, 2026
  1