Search results

SVA Multi-clocked property leads to parser error

rejects-valid syntaxIf the parser wrongly rejects syntactically valid code (according to SV-2017).If the parser wrongly rejects syntactically valid code (according to SV-2017).

Status: Open.

#2431 In chipsalliance/verible;

· ajeethakv opened on Jun 19, 2025

Doc: broken links

style-linterVerilog style-linter issuesVerilog style-linter issues

Status: Open.

#2430 In chipsalliance/verible;

· franky920920 opened on Jun 16, 2025

Non ANSI-C style input,output port declaration Verilog code linter issue

style-linterVerilog style-linter issuesVerilog style-linter issues

Status: Open.

#2429 In chipsalliance/verible;

· sscarfi opened on Jun 11, 2025

SVA sequence fails to parse

rejects-valid syntaxIf the parser wrongly rejects syntactically valid code (according to SV-2017).If the parser wrongly rejects syntactically valid code (according to SV-2017).

Status: Open.

#2427 In chipsalliance/verible;

· svenka3 opened on Jun 4, 2025

Formatted output is lexically different from the input (inside comment).

formatterVerilog code formatter issuesVerilog code formatter issues

Status: Open.

#2424 In chipsalliance/verible;

· daniel-s-larsen opened on Jun 2, 2025

LSP crashes on rename (symbol-table.cc:1188:20)

fuzzing

language-serverLanguage server related issuesLanguage server related issues

Status: Open.

#2421 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025

LSP crashes on rename (symbol-table.cc:162:5)

fuzzing

language-serverLanguage server related issuesLanguage server related issues

project-toolIssues related to the project tool/symbol tableIssues related to the project tool/symbol table

Status: Open.

#2420 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025

LSP crashes on range formatting (token-partition-tree.cc:466:3)

fuzzing

language-serverLanguage server related issuesLanguage server related issues

Status: Open.

#2418 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025

LSP crashes when opening a file (CST/expression.cc)

fuzzing

language-serverLanguage server related issuesLanguage server related issues

style-linterVerilog style-linter issuesVerilog style-linter issues

Status: Open.

#2417 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025

LSP crashes when opening a file (text-structure.cc:60:3)

fuzzing

language-serverLanguage server related issuesLanguage server related issues

Status: Open.

#2416 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025

LSP crashes at formatting/align.cc:332:5 on formatting

formatterVerilog code formatter issuesVerilog code formatter issues

fuzzing

language-serverLanguage server related issuesLanguage server related issues

Status: Open.

#2415 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025

LSP crashes at flex-lexer-adapter.h:148:5 when opening a file

fuzzing

language-serverLanguage server related issuesLanguage server related issues

Status: Open.

#2414 In chipsalliance/verible;

· henryhchchc opened on May 26, 2025