issues
search
metaborg
/
rust-scopegraphs
Scope Graph Implementation in Rust
https://github.com/metaborg/rust-scopegraphs
MIT License
20
stars
0
forks
source link
issues
Newest
Newest
Most commented
Recently updated
Oldest
Least commented
Least recently updated
remove the main sg hashmap for labels
#58
jdonszelmann
closed
3 weeks ago
0
Remove Label Hashmaps by generating the length of the label enum and using const size arrays
#57
jdonszelmann
opened
3 weeks ago
0
Exeperiment with builder API for scope additions
#56
jdonszelmann
opened
3 weeks ago
0
WIP: Close by drop on explicit close
#55
AZWN
closed
3 weeks ago
4
Workspace package management
#54
jdonszelmann
closed
4 weeks ago
0
document edges
#53
jdonszelmann
opened
1 month ago
0
Update
#52
jdonszelmann
closed
1 month ago
0
Graphs in docs
#51
jdonszelmann
closed
1 month ago
0
Test records
#50
jdonszelmann
closed
1 month ago
0
redo of sg visualization code
#49
jdonszelmann
closed
1 month ago
0
Example tests
#48
AZWN
closed
3 weeks ago
0
Enable Examples test in CI
#47
AZWN
closed
1 month ago
0
fix new_closed_scope
#46
jdonszelmann
closed
1 month ago
0
Debug Termination
#45
jdonszelmann
opened
1 month ago
0
Leverage Rusts `Drop` to close scopes automatically and implicitly
#44
AZWN
opened
1 month ago
0
impl debug
#43
jdonszelmann
closed
1 month ago
0
Add function that extracts only element from environment
#42
AZWN
closed
1 month ago
0
records example
#41
jdonszelmann
closed
1 month ago
0
Better API on Env to get the first/only result
#40
jdonszelmann
closed
1 month ago
0
`query_regex` should be able to accept paths, not just identifiers.
#39
jdonszelmann
opened
2 months ago
1
Consider removing the `Resolve` trait
#38
jdonszelmann
opened
2 months ago
0
Visualize EdgeClosedError and Delay in graphviz
#37
jdonszelmann
opened
2 months ago
1
Update the documentation on `Scopegraph<.., FutureCompleteness>` to use futures
#36
jdonszelmann
opened
2 months ago
0
Publish this repository
#35
jdonszelmann
closed
1 month ago
1
adding edges to closed scope
#34
jdonszelmann
opened
2 months ago
1
Explanation of Concepts
#33
jdonszelmann
closed
2 months ago
0
API Docs
#32
jdonszelmann
closed
2 months ago
0
Query compilation
#31
jdonszelmann
opened
2 months ago
0
Full Path Orders
#30
jdonszelmann
opened
2 months ago
0
Precise Implicit Close
#29
jdonszelmann
opened
2 months ago
0
Getting free variables in data equivalence
#28
jdonszelmann
opened
2 months ago
0
Predicate Delaying
#27
jdonszelmann
opened
2 months ago
0
Allocation optimisation
#26
jdonszelmann
opened
2 months ago
0
Benchmark Scopegraphs
#25
jdonszelmann
opened
2 months ago
0
Parallel Name Resolution
#24
jdonszelmann
opened
2 months ago
0
Documentation
#23
jdonszelmann
opened
2 months ago
1
Building Scopegraphs up from Scratch
#22
jdonszelmann
opened
2 months ago
0
Context
#21
jdonszelmann
opened
2 months ago
0
Tutorial: How to build a simple typechecker with scopegraphs
#20
jdonszelmann
opened
2 months ago
1
Explanations
#19
jdonszelmann
opened
2 months ago
0
Examples
#18
jdonszelmann
closed
2 months ago
8
Standard Usage Patterns
#17
jdonszelmann
opened
2 months ago
3
API Docs
#16
jdonszelmann
closed
2 months ago
0
render to graphviz dot
#15
jdonszelmann
closed
3 months ago
0
Future env container
#14
jdonszelmann
closed
2 months ago
0
remove 'sg 'sg double lifetimes
#13
jdonszelmann
closed
3 months ago
0
add 'lbl lifetime
#12
jdonszelmann
closed
7 months ago
3
reduce trait bounds
#11
jdonszelmann
closed
7 months ago
6
ref iter
#10
jdonszelmann
closed
7 months ago
0
Name resolution
#9
jdonszelmann
closed
3 months ago
1
Next