lorchrob: proyectos de código abierto

A solver model containing an integer beyond OCaml's int range crashes with int_of_string then an assertion failure Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 45/100

lorchrob/Goblin#45 · Abierto el 19/9/2026

Two call sites of the same nonterminal in one rule are forced to agree on inherited-attribute arguments Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 72/100

lorchrob/Goblin#44 · Abierto el 19/9/2026

check_syntax_semantics skips a unit-production node entirely, so its own constraints are never checked Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 76/100

lorchrob/Goblin#43 · Abierto el 18/9/2026

il_int_to_bv loses sign bits at width >= 64, so int_to_bv of a negative integer rejects valid terms Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 72/100

lorchrob/Goblin#42 · Abierto el 18/9/2026

A derived field on a repeated nonterminal is only checked at occurrence 0 Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 58/100

lorchrob/Goblin#41 · 1 comentario · Abierto el 18/9/2026

Serialize writes a StringSet to std_formatter instead of the supplied formatter Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 92/100

lorchrob/Goblin#40 · Abierto el 18/9/2026

check_start_symbol crashes on a grammar whose first element is a type annotation Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 82/100

lorchrob/Goblin#39 · Abierto el 18/9/2026

Evaluator integer arithmetic wraps silently; SMT Int is unbounded Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 52/100

lorchrob/Goblin#38 · Abierto el 18/9/2026

length() counts generated attribute nodes, which are never serialized, so length-derived fields are wrong Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

lorchrob/Goblin#37 · Abierto el 18/9/2026

Evaluator div/mod use OCaml truncating semantics; SMT-LIB is Euclidean, so the checker rejects the engine's own output Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 84/100

lorchrob/Goblin#36 · Abierto el 18/9/2026

A solver (error ...) reply is parsed as a model, reported as a syntax error in the user's grammar Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 76/100

lorchrob/Goblin#34 · Abierto el 18/9/2026

re.++ is emitted to the solver as 're.concat', which cvc5 rejects Abierto

Dificultad 1/5 Menos de una hora Aptitud para principiantes 88/100

lorchrob/Goblin#33 · Abierto el 18/9/2026

Division or modulo by zero makes the solver model unparseable Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 52/100

lorchrob/Goblin#32 · Abierto el 18/9/2026

Dangling nonterminal reference crashes with Not_found; expect-failure tests cannot distinguish crashes from graceful errors Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 70/100

lorchrob/Goblin#30 · Abierto el 17/9/2026

Derived field passed as an inherited-attribute argument crashes with "couldn't find" Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

lorchrob/Goblin#29 · Abierto el 17/9/2026

Derived field in a later production rule option is computed from the wrong child Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

lorchrob/Goblin#28 · Abierto el 17/9/2026

--multiple-solutions produces too many, malformed solutions (blocking clauses are never asserted) Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

lorchrob/Goblin#27 · Abierto el 17/9/2026

Duplicate production-rule declarations for a nonterminal are silently ignored Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

lorchrob/Goblin#24 · Abierto el 17/9/2026

Derived fields using inherited attributes are rejected with a misleading message Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 58/100

lorchrob/Goblin#23 · Abierto el 17/9/2026

Constraints mentioning only inherited attributes are rejected ("SMT constraint must include some nonterminal") Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 68/100

lorchrob/Goblin#22 · Abierto el 17/9/2026

Nonterminal names containing '.' break parsing of solver output Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 55/100

lorchrob/Goblin#21 · Abierto el 17/9/2026

dpll_dac engine crashes on trivial input and rejects all inherited-attribute grammars Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 64/100

lorchrob/Goblin#19 · 1 comentario · Abierto el 17/9/2026

--dump-clp fails an assertion on grammars with inherited attributes Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 68/100

lorchrob/Goblin#20 · Abierto el 17/9/2026

Names differing only in case are merged (nonterminals and attributes) Abierto

Dificultad 4/5 3-5 días Aptitud para principiantes 65/100

lorchrob/Goblin#18 · Abierto el 17/9/2026

Hex output includes values of generated attribute nonterminals Abierto

Dificultad 2/5 1-3 horas Aptitud para principiantes 85/100

lorchrob/Goblin#17 · Abierto el 17/9/2026

Same nonterminal called twice with different inherited-attribute arguments is reported infeasible Abierto

Dificultad 3/5 1-2 días Aptitud para principiantes 76/100

lorchrob/Goblin#16 · Abierto el 17/9/2026

lorchrob

Recibe los nuevos issues en tu correo