Minres/CoreDSL

Issues

• Add support for arrays of constants

  #114 opened 8 months ago by eyck
  5

• Cannot declare parameters as arrays

  #113 opened 8 months ago by eyck
  7

• Expression type information during elaboration

  #111 opened a year ago by AtomCrafty
  2

• Undefined order of always block execution

  #110 opened a year ago by PhilippvK
  0

• Validator checks disabled instructions

  #105 opened a year ago by eyck
  3

• Relax assignment rules for constant RHS

  #75 opened 2 years ago by jopperm
  2

• CoreDSL does not evaluate verilog style literals correctly if they are signed

  #104 opened a year ago by EAlexJ
  0

• Clarify handling of out-of-bounds memory access

  #107 opened a year ago by PhilippvK
  6

• Clarify `always` block arch state update visibility

  #103 opened a year ago by wysiwyng
  0

• Inconsistency in Validation Framework

  #97 opened 2 years ago by EAlexJ
  1

• Improve Handling of X0 register

  #95 opened 2 years ago by PhilippvK
  15

• Allow specifying constraints on encoding fields/operands

  #96 opened 2 years ago by PhilippvK
  8

• Improve Handling of RV32E

  #94 opened 2 years ago by PhilippvK
  2

• Xtend Test Coverage

  #86 opened 2 years ago by AtomCrafty
  2

• Attribute [[expected_encoding_width]]

  #68 opened 2 years ago by AtomCrafty
  6

• Add a sizeof(encoding) operator

  #56 opened 2 years ago by wysiwyng
  7

• Add Mnemonic field to CoreDSL Syntax

  #80 opened 2 years ago by PhilippvK
  11

• Minor specification fixes

  #88 opened 2 years ago by jopperm
  3

• Unspecified behavior with encoding fields

  #67 opened 2 years ago by AtomCrafty
  4

• PC increment

  #54 opened 2 years ago by wysiwyng
  5

• Grammar update for encoding fields

  #66 opened 2 years ago by AtomCrafty
  1

• Make bit range operator more versatile

  #57 opened 2 years ago by jopperm
  3

• Add a ranged index operator for address spaces

  #52 opened 2 years ago by jopperm
  9

• Implement support for `always` section

  #72 opened 2 years ago by jopperm
  2

• Type-check behavior

  #73 opened 2 years ago by jopperm
  1

• alias declaration flagged as invalid

  #79 opened 2 years ago by eyck
  3

• Write specification for new `always` construct, and update docs for `spawn`

  #71 opened 2 years ago by jopperm
  1

• Unary minus operator's type rule is wrong

  #74 opened 2 years ago by jopperm
  1

• Type of constant expressions

  #29 opened 2 years ago by AtomCrafty
  5

• Type validation of instruction sets

  #36 opened 2 years ago by AtomCrafty
  2

• Summary of the recent language feature redesigns

  #70 opened 2 years ago by AtomCrafty
  0

• Explicit instruction operands

  #69 opened 2 years ago by AtomCrafty
  5

• Intrinsic load / store functions

  #65 opened 2 years ago by AtomCrafty
  5

• Intrinsic sign_extend / zero_extend / truncate functions

  #64 opened 2 years ago by AtomCrafty
  7

• Add a try ... catch construct

  #55 opened 2 years ago by wysiwyng
  0

• Bit vector type

  #62 opened 2 years ago by AtomCrafty
  10

• Elaboration

  #46 opened 2 years ago by AtomCrafty
  28

• Flesh out semantics for spawns with atomic updates

  #53 opened 2 years ago by jopperm
  8

• Clarify sign-extension

  #58 opened 2 years ago by wysiwyng
  5

• Specify handling of duplicate type declarations during elaboration

  #47 opened 3 years ago by jopperm
  1

• 2.0.3 grammar does requires body for extern functions

  #50 opened 3 years ago by eyck
  1

• CoreDslOutlineTreeProvider can't handle cyclic dependencies

  #45 opened 3 years ago by AtomCrafty
  2

• Lift JVM version requirements in Maven build

  #33 opened 3 years ago by jopperm
  1

• Missing Constraint: Import-Package: javax.xml.stream

  #48 opened 3 years ago by AtomCrafty
  6

• More Grammar Updates [4]

  #39 opened 3 years ago by AtomCrafty
  7

• Inconsistencies in Programmer's Manual

  #31 opened 3 years ago by wysiwyng
  5

• More Grammar Updates [3]

  #38 opened 3 years ago by AtomCrafty
  13

• More Grammar Updates [1]

  #34 opened 3 years ago by AtomCrafty
  14

• More Grammar Updates [2]

  #37 opened 3 years ago by AtomCrafty
  4

• Decide strategy for grammar design

  #40 opened 3 years ago by jopperm
  3