Proprietário
esbmc
1 repositório indexado · Ver no GitHub
-
esbmc
The efficient SMT-based context-bounded model checker (ESBMC)
C++ · 523 estrelas
Issues em que talvez alguém já esteja trabalhando aparecem no fim. Ordenar tudo por data
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 56/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 52/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 42/100
Mantenedores costumam responder em até 1 dia
-
nn-tanh_5_unsafe takes 11x longer under --boolector since #9780, failing DebugOpt on every PRAberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 1-2 dias Facilidade para iniciantes 55/100
Mantenedores costumam responder em até 1 dia
-
bug python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
Mantenedores costumam responder em até 1 dia
-
[goto-programs] --ir --z3 run of a nested list comprehension program is far slower with #9783Abertabug python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
bug python
Dificuldade 3/5 1-2 dias Facilidade para iniciantes 68/100
esbmc/esbmc#9909 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
esbmc/esbmc#9829 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 22/100
Mantenedores costumam responder em até 1 dia
-
python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 28/100
Mantenedores costumam responder em até 1 dia
-
[svcomp] A Python FALSE is dropped when the --ir re-run stops at another assertionTalvez livre de novo Um pull request para esta issue foi fechado sem ser mesclado. Abertapython SV-COMP
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
Mantenedores costumam responder em até 1 dia
-
python
Dificuldade 4/5 1-2 dias Facilidade para iniciantes 18/100
Mantenedores costumam responder em até 1 dia
-
[python] Decorator factories and decorators on methods, classes or nested functions are refusedAbertapython
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 22/100
Mantenedores costumam responder em até 1 dia
-
python SV-COMP
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
correctness: false negative python
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 22/100
Mantenedores costumam responder em até 1 dia
-
performance solver SV-COMP
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 18/100
Mantenedores costumam responder em até 1 dia
-
k-induction SV-COMP
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 12/100
Mantenedores costumam responder em até 1 dia
-
[k-induction] The function-pointer guard disables the inductive step at a call with no targetAbertak-induction SV-COMP
Dificuldade 3/5 1-3 horas Facilidade para iniciantes 25/100
Mantenedores costumam responder em até 1 dia
-
concurrency performance SV-COMP
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 15/100
Mantenedores costumam responder em até 1 dia
-
bmc concurrency performance SV-COMP
Dificuldade 5/5 Mais de uma semana Facilidade para iniciantes 18/100
Mantenedores costumam responder em até 1 dia
-
bug SV-COMP witness
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 30/100
Mantenedores costumam responder em até 1 dia
-
bug SV-COMP witness
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 35/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 25/100
esbmc/esbmc#9635 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 40/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 46/100
esbmc/esbmc#9518 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
esbmc/esbmc#9516 · 1 comentário ·
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 52/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 52/100
Mantenedores costumam responder em até 1 dia
-
[python] dir() is reported as a failed assertion with "Unsupported function 'dir' is reached"Aberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 48/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 57/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 44/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 56/100
Mantenedores costumam responder em até 1 dia
-
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 45/100
Mantenedores costumam responder em até 1 dia
-
[python] zip() or enumerate() of a call, and sorted(map(...)), report a refusal as a failureTalvez já em andamento Um pull request vinculado a esta issue está aberto ou já foi mesclado. Aberta
Dificuldade 4/5 3-5 dias Facilidade para iniciantes 55/100
Mantenedores costumam responder em até 1 dia
-
[symex] Building the error trace with Bitwuzla times out on eca and token_ring tasksTalvez já em andamento @mikhailramalho assumiu há 1 dia. Abertagoto-symex performance solver svcomp
esbmc/esbmc#9974 · 1 comentário · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
[concurrency] Forward condition re-explores every schedule of a loop-free programTalvez já em andamento @mikhailramalho assumiu há 1 dia. Abertaconcurrency k-induction performance
esbmc/esbmc#9973 · 1 responsável ·
Mantenedores costumam responder em até 1 dia
-
[svcomp] Wrapper treats a declared pthread_create as a concurrent programTalvez já em andamento @mikhailramalho assumiu há 1 dia. Abertabug svcomp
esbmc/esbmc#9971 · 1 responsável ·
Mantenedores costumam responder em até 1 dia
Mostrando os 100 mais recentes
Esta página lista apenas o que foi indexado mais recentemente. O filtro avançado tem o inventário completo, refinado por linguagem, dificuldade e duração.