Logo
Explore Help
Sign In
aniva/Pantograph
aniva
/
Pantograph
1
1
Fork
You've already forked Pantograph
0
Code Issues 16 Pull Requests 2 Packages Projects Releases Wiki Activity

Labels Milestones

New Pull Request
0 Open 12 Closed
Label
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

Milestone
All milestones No milestones
Open milestones
0.3.2 0.4.0
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.3 0.3.1 0.2.23
Project
All projects No project
Author
All authors
Assignee
All assignees No assignee
paperNeko aniva
Sort
Newest Oldest Recently updated Least recently updated Most commented Least commented Nearest due date Farthest due date
0 Open 12 Closed
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
0.3.2
0.4.0
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.3
0.3.1
0.2.23
Projects
Clear projects
Assignee
Clear assignees
No assignee
paperNeko
aniva
doc: Add design limitations about memory
category
doc
#200 by aniva was merged 2025-05-01 10:40:53 -07:00
dev
doc/rationale
0.3.1
doc: Update rationale
category
doc
#189 by aniva was merged 2025-04-18 01:08:25 -07:00
dev
doc/rationale
0.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
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
Powered by Gitea Version: 1.21.11 Page: 118ms Template: 17ms
English
Bahasa Indonesia Deutsch English Español Français Italiano Latviešu Magyar nyelv Nederlands Polski Português de Portugal Português do Brasil Suomi Svenska Türkçe Čeština Ελληνικά Български Русский Українська فارسی മലയാളം 日本語 简体中文 繁體中文(台灣) 繁體中文(香港) 한국어
Licenses API