0.4.0

New Issue

• feat: Branch unification

2025-12-31

0% Completed

5 Open 0 Closed

Label

Show archived labels

Use alt + click/enter 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

aniva

Sort

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

Documentation about safety

category

doc

part/Frontend

#196 opened 2025-04-23 05:50:17 -07:00 by aniva

Code generation of recursors

category

feature

part/Elab

part/Goal

1

#191 opened 2025-04-14 16:23:38 -07:00 by aniva

Unshielded Tactic

category

feature

part/Goal

#188 opened 2025-04-12 00:16:37 -07:00 by aniva

Allow generation of recursive functions

category

feature

part/Goal

priority

low

#170 opened 2025-02-25 17:07:56 -08:00 by aniva

Branch unification

category

feature

part/Goal

part/Serial

priority

low

2

#132 opened 2024-12-05 15:34:19 -08:00 by aniva