Logo
Explore Help
Sign in
aniva/Pantograph
aniva/Pantograph
1
1
Fork
You've already forked Pantograph
0
Code Issues 18 Pull requests 4 Projects Releases Packages Wiki Activity
Labels Milestones
New pull request
4 Open 200 Closed 204 All
Label
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
4 Open 200 Closed 204 All
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
chore: Delete unused code
category
chore
#295 opened 2025-08-30 16:57:32 -07:00 by aniva
dev
v0.3.8
feat(goal): Subsumption
category
feature
part/Goal
3
#287 opened 2025-08-20 20:44:21 -07:00 by aniva
dev
v0.3.8 7 / 7
feat(tomograph): Add options to tomograph
category
feature
#280 opened 2025-08-15 00:57:51 -07:00 by aniva
dev
v0.4.0
test(repl): Long-running tests of REPL
category
bug
priority
pending-measurement
1
#211 opened 2025-06-17 11:35:54 -07:00 by aniva
dev
v0.4.0 2 / 3
Powered by Forgejo Version: 12.0.1 Page: 77ms Template: 20ms
English
Bahasa Indonesia Dansk Deutsch English Español Esperanto Filipino Français Italiano Latviešu Magyar nyelv Nederlands Plattdüütsch Polski Português de Portugal Português do Brasil Slovenščina Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API