Search results

Data Incompleteness

Status: Open.

#59 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Sep 30, 2024

Remove Label Hashmaps by generating the length of the label enum and using const size arrays

Status: Open.

#57 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Jun 12, 2024

Exeperiment with builder API for scope additions

Status: Open.

#56 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Jun 12, 2024

Debug Termination

Status: Open.

#45 In metaborg/rust-scopegraphs;

· jdonszelmann opened on May 22, 2024

query_regex should be able to accept paths, not just identifiers.

Status: Open.

#39 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 24, 2024

Visualize EdgeClosedError and Delay in graphviz

Status: Open.

#37 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 24, 2024

Update the documentation on Scopegraph<.., FutureCompleteness> to use futures

Status: Open.

#36 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 24, 2024

adding edges to closed scope

bugSomething isn't workingSomething isn't working

Status: Open.

#34 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 20, 2024

Query compilation

enhancementNew feature or requestNew feature or request

Status: Open.

#31 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 19, 2024

Full Path Orders

enhancementNew feature or requestNew feature or request

Status: Open.

#30 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 19, 2024

Precise Implicit Close

enhancementNew feature or requestNew feature or request

Status: Open.

#29 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 19, 2024

Getting free variables in data equivalence

ArthurRequired for Arthur's master thesis projectRequired for Arthur's master thesis project

enhancementNew feature or requestNew feature or request

Status: Open.

#28 In metaborg/rust-scopegraphs;

· jdonszelmann opened on Apr 19, 2024