v0.2.23

New issue

• feat(repl): Print goals in a goal state in goal.print
• doc: Limitations section

2024-12-30

100% Completed

0 Open 3 Closed 3 All

Label

Show archived labels

Use Alt + Click to exclude labels

All labels No label

category

bug

category

chore

category

doc

category

feature

category

optimization

category

organization

part/Delation

part/Elab

part/Environment

part/FFI

part/Frontend

part/Goal

part/REPL

part/Serial

priority

high

priority

irrelevant

priority

low

priority

medium

priority

pending-measurement

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

paperNeko aniva

Sort

Relevance Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date

chore: Update version

category

organization

#146 by aniva was merged 2024-12-11 16:47:54 -08:00

dev

doc: Add limitations

category

doc

#145 by aniva was merged 2024-12-11 16:51:24 -08:00

dev

feat: Print value of arbitrary mvar and goals in goal state

category

feature

part/Goal

part/REPL

part/Serial

#141 by aniva was merged 2024-12-11 16:52:20 -08:00

dev