aniva/Pantograph

v0.3.4

New issue

feat(frontend): Allow cancellation tokens in frontend.process.
feat(frontend): Tomograph, a tool for displaying the compilation structure of a Lean file.
feat(frontend): Compilation unit category information
refactor: Properly display Lean messages. Not as strings.
chore(toolchain): Update Lean to v4.21.0
fix(repl): Harden REPL against stray outputs in stdio

2025-07-15

100% Completed

doc: Remove stale documentation

#236 by aniva was merged 2025-07-11 20:17:54 -07:00

fix(frontend): Tomograph compilation

#235 by aniva was merged 2025-07-11 19:44:25 -07:00

refactor: Use consistent error handling

#233 by aniva was merged 2025-07-11 15:01:44 -07:00

feat: Display Message metadata

#232 by aniva was merged 2025-07-10 11:45:45 -07:00

feat(repl): Replace StdIO when executing IO-based monads

#231 by aniva was merged 2025-07-08 14:30:51 -07:00

Isolate std I/O streams during tactic execution

#230 by aniva was closed 2025-07-08 14:30:51 -07:00

feat(frontend): Command-level frontend.process

#229 by aniva was merged 2025-07-11 16:05:57 -07:00

fix(tactic): Erase finished calc goal

#228 by aniva was merged 2025-07-07 14:49:11 -07:00

test(repl): MVar name mismatch fix

#227 by aniva was merged 2025-07-02 15:03:10 -07:00

chore: Update version to v0.3.4

#226 by aniva was merged 2025-07-02 14:59:21 -07:00

chore: Update Lean to v4.21.0

#223 by aniva was merged 2025-07-02 14:59:31 -07:00