Synthesize hints for resolution
Mantenedores costumam responder em até 1 dia
Ninguém assumiu esta issue ainda.
Avaliação
- Dificuldade
- 5/5
- Tempo estimado
- Mais de uma semana
- Facilidade para iniciantes
- 25/100
Direção de pesquisa
The issue does not name files, tests, or an entry point; start by reading the project’s documentation and locating the code that tracks current and unreachable states, object information, and SMT solver use. The feature design is explicitly unplanned, so first establish its scope and expected behavior with maintainers before implementation; done criteria are not yet specified.
Escrita pelo modelo de indexação a partir do texto da issue.
Descrição
Problem
When we know what's the state that we cannot reach, and the current state, we can statically propose on or more options that would make this possible by using both the information we have on the object and the smt solver.
For example in this case, there is only one method that has a to = compressionExplicit so that weould be a good hint. Additionally, we could use the smt to propose an argument that fits there.
The explicit design of this feature still has to be planned over.
- Linguagem predominante
- Java
- Estrelas
- 67
- Forks
- 36
- Merge médio
- 2d 3h
- PRs com merge (30d)
- 29
Preparar o ambiente
- Sem Dockerfile nem arquivo Docker Compose
- Tem um modelo de pull request
- Ler o guia de contribuição
Primeiros passos
- Leia a issue inteira e depois o guia de contribuição do projeto.
- Comente na issue dizendo que vai assumir — evita que duas pessoas façam o mesmo trabalho.
- Faça um fork do repositório e trabalhe em uma branch.
- Abra um pull request que referencie o número da issue.
Mais de liquid-java/liquidjava
-
enhancement
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 65/100
liquid-java/liquidjava#373 ·
Mantenedores costumam responder em até 1 dia
-
bug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 78/100
liquid-java/liquidjava#321 ·
Mantenedores costumam responder em até 1 dia
-
enhancement future latte
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 35/100
liquid-java/liquidjava#380 ·
Mantenedores costumam responder em até 1 dia
-
An external spec cannot refine methods its class inheritsTalvez já em andamento @CatarinaGamboa assumiu há 1 dia. Abertabug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
liquid-java/liquidjava#379 ·
Mantenedores costumam responder em até 1 dia
-
bug
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 55/100
liquid-java/liquidjava#378 ·
Mantenedores costumam responder em até 1 dia
Todas as issues de liquid-java/liquidjava
Issues semelhantes
-
[BUG] 订单：会员凭订单号即可取消其他会员的待付款订单（取消接口不校验订单归属）Talvez já em andamento @dadiyang assumiu hoje. Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 70/100
macrozheng/mall#1016 ·
-
[Bug] The producer summary counts an unreported client version as a second version and warns about a version mixTalvez já em andamento Um pull request vinculado a esta issue está aberto ou já foi mesclado. Aberta
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 74/100
apache/rocketmq-dashboard#6110 ·
Mantenedores costumam responder em até 4 dias
-
Python 3.15 supportTalvez já em andamento @amnesiaof assumiu hoje. AbertaL: python L: python:uv
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
dependabot/dependabot-core#16524 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
`Processing lsp` never exits and leaves orphaned processesTalvez já em andamento @overcast302 assumiu hoje. Abertabug
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
processing/processing4#1578 · 1 comentário ·
-
bug needs triage
Dificuldade 2/5 1-3 horas Facilidade para iniciantes 72/100
PlayersCommittee/gemp-swccg-public#1174 ·
Mantenedores costumam responder em até 2 dias