Skip to content

Issues: metaborg/rust-scopegraphs

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

22 Open 8 Closed
22 Open 8 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Data Incompleteness
#59 opened Sep 30, 2024 by jdonszelmann
Remove Label Hashmaps by generating the length of the label enum and using const size arrays
#57 opened Jun 12, 2024 by jdonszelmann
Exeperiment with builder API for scope additions
#56 opened Jun 12, 2024 by jdonszelmann
Debug Termination
#45 opened May 22, 2024 by jdonszelmann
query_regex should be able to accept paths, not just identifiers.
#39 opened Apr 24, 2024 by jdonszelmann
1
Visualize EdgeClosedError and Delay in graphviz
#37 opened Apr 24, 2024 by jdonszelmann
1
Update the documentation on Scopegraph<.., FutureCompleteness> to use futures
#36 opened Apr 24, 2024 by jdonszelmann
adding edges to closed scope bug Something isn't working
#34 opened Apr 20, 2024 by jdonszelmann
1
Query compilation enhancement New feature or request
#31 opened Apr 19, 2024 by jdonszelmann
3 tasks
Full Path Orders enhancement New feature or request
#30 opened Apr 19, 2024 by jdonszelmann
Precise Implicit Close enhancement New feature or request
#29 opened Apr 19, 2024 by jdonszelmann
Getting free variables in data equivalence Arthur Required for Arthur's master thesis project enhancement New feature or request
#28 opened Apr 19, 2024 by jdonszelmann
Predicate Delaying Arthur Required for Arthur's master thesis project enhancement New feature or request
#27 opened Apr 19, 2024 by jdonszelmann
Allocation optimisation enhancement New feature or request
#26 opened Apr 19, 2024 by jdonszelmann
2 tasks
Benchmark Scopegraphs documentation Improvements or additions to documentation enhancement New feature or request
#25 opened Apr 19, 2024 by jdonszelmann
3 tasks
Parallel Name Resolution enhancement New feature or request
#24 opened Apr 19, 2024 by jdonszelmann
4 tasks
Documentation documentation Improvements or additions to documentation
#23 opened Apr 19, 2024 by jdonszelmann
2 of 8 tasks
1
Building Scopegraphs up from Scratch documentation Improvements or additions to documentation
#22 opened Apr 19, 2024 by jdonszelmann
Context documentation Improvements or additions to documentation
#21 opened Apr 19, 2024 by jdonszelmann
3 tasks
Tutorial: How to build a simple typechecker with scopegraphs documentation Improvements or additions to documentation
#20 opened Apr 19, 2024 by jdonszelmann
1
Explanations documentation Improvements or additions to documentation
#19 opened Apr 19, 2024 by jdonszelmann
Standard Usage Patterns documentation Improvements or additions to documentation
#17 opened Apr 19, 2024 by jdonszelmann
1 task
3
ProTip! Type g p on any issue or pull request to go back to the pull request listing page.