0.3.1

New Issue

Accomodate adversarial inputs

feat(goal): Add unsafe and computability detection
doc: Update rationale about cooperative concurrency and cancellation
feat(repl): Flush stdout
fix(frontend): Prevent parsing of ambiguous statements

2025-05-02

100% Completed

feat(goal): Detect unsafe and sorry

#201 by aniva was merged 2025-05-01 10:38:00 -07:00

goal/detect-unsafe-sorry

doc: Add design limitations about memory

#200 by aniva was merged 2025-05-01 10:40:53 -07:00

Add documentation about what we cannot implement

#198 by aniva was closed 2025-05-01 10:41:11 -07:00

chore: Update version

#195 by aniva was merged 2025-05-01 10:41:48 -07:00

feat(repl): Flush stdout

#194 by aniva was merged 2025-04-20 09:29:03 -07:00

fix(goal): Prevent duplication in idempotent tactics

#193 by aniva was merged 2025-05-01 08:59:37 -07:00

bug/resume-goal-duplication

Goal duplication

#192 by aniva was closed 2025-05-01 08:59:37 -07:00

doc: Update rationale

#189 by aniva was merged 2025-04-18 01:08:25 -07:00

fix(repl): Elaborate with errToSorry as false by default

#187 by aniva was merged 2025-05-01 09:00:04 -07:00

repl/elab-option

Add unsafe detection in goal.print

#151 by aniva was closed 2025-05-01 10:41:34 -07:00