This website requires JavaScript.
Explore
Help
Sign in
aniva
/
Pantograph
Watch
1
Star
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
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
4 Open
200 Closed
204 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
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