Labels Milestones

New Pull Request

0 Open 4 Closed

Label

Show archived labels

Use alt + click/enter to exclude labels

All labels No label

category

bug

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

Milestone

All milestones No milestones

Open milestones

0.2.21 0.3

Closed milestones

0.2.4 0.2.6 0.2.7 0.2.8 0.2.9 0.2.10 0.2.12 0.2.19 TACAS '25 0.2.20

Project

All projects No project

Author

All authors

Assignee

All assignees No assignee

aniva

Sort

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

0 Open 4 Closed

Open

Label

Clear labels

category

bug

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

Milestone

No milestone

Open milestones

0.2.21

0.3

Open milestones

0.2.4

0.2.6

0.2.7

0.2.8

0.2.9

0.2.10

0.2.12

0.2.19

TACAS '25

0.2.20

Projects

Clear projects

Assignee

Clear assignees

No assignee

aniva

perf: Lazy run print monads

category

optimization

part/Serial

#63 by aniva was merged 2024-04-08 10:37:28 -07:00

dev

serial/expr

0.3

feat: Change the main interaction monad

category

optimization

#40 by aniva was merged 2023-12-14 05:46:40 -08:00

dev

core/loop

0.2.10

Remove the obsolete name field from proof tree structure

category

optimization

#11 by aniva was merged 2023-08-26 18:50:41 -07:00

dev

misc/cleanup

0.2.4

Simplify goal bookkeeping mechanism

category

optimization

part/Goal

1

#10 by aniva was merged 2023-08-30 19:18:37 -07:00

dev

tactic/book

0.2.4