-
Notifications
You must be signed in to change notification settings - Fork 1
Open
Labels
analyzerRelated to semantic & design analyzersRelated to semantic & design analyzersiterativeIterative task - can't be *just* doneIterative task - can't be *just* done
Description
- Analysis of variable definitions
- Analysis of variable declarations (modules implementation)
- Two side deduction
- Sensitivity updates (auto in rhs) #236
- Presence of instantiated modules
- Evaluating types in expressions (all but nc and builtins)
- allowing auto in cast when arg has specified width #159
- storing deducted width and signedness for nc
- storing deducted width for
zext,sextext - Codegen for expressions (all but casts and module interfaces access)
- codegen for casts #274
- codegen for module interface accesses #272
- Codegen for block statements
- Codegen for variable definitions with and without initializer
- Codegen for if statements
- Semantic analysis of if statements
- Semantic analysis of loops
- Codegen for loops
- Semantic analysis of module instances #161
- Generic assignments analysis
- Assignment semantic analysis improvements #156
- Codegen of assignments
- HIRN codegen of module instances #186
- Codegen for generic modules (without need for instantiation) #289
- Intermidate variables needed to evalualate widths
- instantiate generics before signals in each scope #313
- Semantic analysis and HIRN API invocation for registers #170
- Implement width saving for numeric constants #172
- Generic variables refactor & improvment #282
- Unconditional generic assignments in conditional contexts
- Module/register binding with declarations
- Intermediate signal hinting (see: HIRN signal "generated" hint #215)
- Report uninitialized generics as an error #244
- Forbid multiple assignments of generics #245
- Wrap elab info into miette reports #302
- Report
clock = constassignments as warnings - Builtin function evaluation in the semantic analyzer #326
- Proper unused/conflict/undriven reporting for arrays #325
-
min,maxbuiltins?
Metadata
Metadata
Assignees
Labels
analyzerRelated to semantic & design analyzersRelated to semantic & design analyzersiterativeIterative task - can't be *just* doneIterative task - can't be *just* done