This website requires JavaScript.
Explore
Help
Sign In
aniva
/
Pantograph
Watch
1
Star
1
Fork
You've already forked Pantograph
0
Code
Issues
10
Pull Requests
2
Packages
Projects
Releases
Wiki
Activity
Labels
Milestones
New Pull Request
0 Open
10 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
Milestone
All milestones
No milestones
Open milestones
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
0.2.21
0.2.22
0.2.24
0.2.25
0.2.23
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
10 Closed
Open
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
Milestone
No milestone
Open milestones
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
0.2.21
0.2.22
0.2.24
0.2.25
0.2.23
Projects
Clear projects
Assignee
Clear assignees
No assignee
aniva
doc: Manual about
env.{describe,module_read}
category
doc
part/Environment
part/REPL
#165
by
aniva
was merged
2025-01-26 22:04:29 -08:00
dev
env/module
0.2.25
doc: Add limitations
category
doc
#145
by
aniva
was merged
2024-12-11 16:51:24 -08:00
dev
doc/rationale
0.2.23
doc: Documentation cleanup and update
category
doc
part/REPL
#133
by
aniva
was merged
2024-12-05 17:23:25 -08:00
dev
chore/cleanup
0.3
doc: Design Rationale Document
category
doc
part/Goal
#123
by
aniva
was merged
2024-12-05 17:24:20 -08:00
dev
doc/rationale
0.3
doc: Change license to Apache2
category
doc
priority
medium
#116
by
aniva
was merged
2024-10-21 10:14:40 -07:00
dev
misc/license
0.2.20
doc: Add GPL License
category
doc
priority
medium
#96
by
aniva
was merged
2024-09-07 14:12:34 -07:00
dev
misc/license
0.3
test: Use
lake test
. Retired
Makefile
category
doc
priority
low
#87
by
aniva
was merged
2024-08-18 12:24:56 -07:00
dev
misc/test-driver
doc: README.md fix
category
doc
#73
by
aniva
was merged
2024-05-17 20:33:19 -07:00
dev
doc/readme
0.3
Error category consolidation
category
doc
#7
by
aniva
was merged
2023-08-24 23:15:41 -07:00
dev
doc
0.2.4
Remove dead code and consolidate error types
category
doc
#5
by
aniva
was merged
2023-08-23 13:22:18 -07:00
dev
misc/cleanup
0.2.6