aniva/Pantograph
aniva/Pantograph
1
1
Fork 0
Code Issues 18 Pull requests 4 Projects Releases Packages Wiki Activity
Labels Milestones
New pull request
0 Open 16 Closed 16 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
doc: Add contributing
category
doc
#256 by aniva was merged 2025-07-30 21:54:58 -07:00
dev
v0.3.6
doc: Remove stale repl documentation
category
doc
part/REPL
#245 by aniva was merged 2025-07-18 15:12:31 -07:00
dev
v0.3.5
doc: Remove stale documentation
category
doc
#236 by aniva was merged 2025-07-11 20:17:54 -07:00
dev
v0.3.4
doc: Remove constraint on pick_goal
category
doc
part/Goal
#224 by aniva was merged 2025-07-01 15:41:56 -07:00
dev
v0.3.3
doc: Add design limitations about memory
category
doc
#200 by aniva was merged 2025-05-01 10:40:53 -07:00
dev
v0.3.1
doc: Update rationale
category
doc
#189 by aniva was merged 2025-04-18 01:08:25 -07:00
dev
v0.3.1
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
v0.2.25
doc: Add limitations
category
doc
#145 by aniva was merged 2024-12-11 16:51:24 -08:00
dev
v0.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
v0.3
doc: Design Rationale Document
category
doc
part/Goal
#123 by aniva was merged 2024-12-05 17:24:20 -08:00
dev
v0.3
doc: Change license to Apache2
category
doc
priority
medium
#116 by aniva was merged 2024-10-21 10:14:40 -07:00
dev
v0.2.20
doc: Add GPL License
category
doc
priority
medium
#96 by aniva was merged 2024-09-07 14:12:34 -07:00
dev
v0.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
doc: README.md fix
category
doc
#73 by aniva was merged 2024-05-17 20:33:19 -07:00
dev
v0.3
Error category consolidation
category
doc
#7 by aniva was merged 2023-08-24 23:15:41 -07:00
dev
v0.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
v0.2.6