Labels Milestones

New issue

2 Open 19 Closed 21 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

Milestone

All milestones No milestones

Open milestones

v0.3.8 v0.4.0

Closed milestones

v0.2.4 v0.2.6 v0.2.7 v0.2.8 v0.2.9 v0.2.10 v0.2.12 v0.2.19 TACAS '25 v0.2.20 v0.2.21 v0.2.22 v0.2.23 v0.2.24 v0.2.25 v0.3 v0.3.1 v0.3.2 v0.3.3 v0.3.4 v0.3.5 v0.3.6 v0.3.7

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

2 Open 19 Closed 21 All

Close

Label

Clear labels

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

Milestone

No milestone

Open milestones

v0.3.8

v0.4.0

Closed milestones

v0.2.4

v0.2.6

v0.2.7

v0.2.8

v0.2.9

v0.2.10

v0.2.12

v0.2.19

TACAS '25

v0.2.20

v0.2.21

v0.2.22

v0.2.23

v0.2.24

v0.2.25

v0.3

v0.3.1

v0.3.2

v0.3.3

v0.3.4

v0.3.5

v0.3.6

v0.3.7

Projects

Clear projects

Assignee

Clear assignees

No assignee

paperNeko

aniva

Draft tactic captures value of have

category

bug

part/Goal

#291 opened 2025-08-23 22:07:45 -07:00 by aniva

Fallback when delaboration fails

category

bug

part/Frontend

priority

pending-measurement

#249 opened 2025-07-23 15:12:54 -07:00 by aniva