runtimeverification/stable-mir-json

[MAIN] Graph Improvements

Open

#106 aberto em 23 de nov. de 2025

Ver no GitHub
 (1 comment) (1 reaction) (0 assignees)Rust (5 forks)auto 404
good first issue

Métricas do repositório

Stars
 (10 stars)
Métricas de merge de PR
 (Métricas PR pendentes)

Description

This issue is a top level issue for graph improvements. Sub issues will be attached to this issue for each individual task. They should be clearly outlined so that beginners can approach them. Since the graph is not used as input for KMIR, there cannot be any correctness problems introduced from working with the graph so it is a good playground to start with. Also there is good graphical feedback for additions made so it is probably nice for beginners in that regard too.

Guia do colaborador

Direção de pesquisa
Explore a implementação do gráfico existente e identifique um subproblema específico para trabalhar, como adicionar uma visualização ou melhorar a travessia do gráfico.
Pilha de tecnologia
rust
Domain
backend
Tipo Issue
Funcionalidade
DifficultyDificuldade de implementação estimada para um novo contribuidor, de 1 para alterações muito pequenas a 5 para trabalho de nível especializado.
1
Tempo estimadoUm intervalo de tempo aproximado para um colaborador experiente investigar, implementar, testar e preparar um pull request.
1-3 horas
Status da atividadeQuão disponível o issue aparece agora: novo, ativo, obsoleto, bloqueado ou aguardando entrada do mantenedor.
Ativo
ClarityCom que clareza o issue explica a mudança esperada, os critérios de aceitação e a próxima etapa.
Principalmente claro
Prerequisites
GitRust
Simpatia para novatosUma pontuação de 1 a 100 que estima o quão acessível este issue é para colaboradores iniciantes.
85