Commits

Breadcrumbs

History for

on0d3423d

User selector

All users

Datepicker

All time

Commit History

Commits on Mar 5, 2023

• Index struct/union members within corresponding wire chunks

  Show description for 0d3423d
  daglem

  committed
  0d3423d

Commits on Feb 19, 2023

• Out of bounds checking for struct/union members

  Show description for 79043cb
  daglem

  committed
  79043cb

Commits on Feb 15, 2023

• Support for data and array queries on struct/union item expressions

  Show description for c1e1287
  daglem

  committed
  c1e1287

• Merge pull request YosysHQ#3661 from daglem/struct-array-range-offset

  Show description for 53bda9d
  jix

  authored
  53bda9d

Commits on Feb 12, 2023

• Resolve package types in interfaces (YosysHQ#3658)

  Show description for 615adc4
  daglem

  authored
  615adc4

Commits on Feb 8, 2023

• For case select values use Sa instead of Sx and Sz

  mmicko

  committed
  109b88c

Commits on Feb 6, 2023

• Add verific import support for OPER_WIDE_CASE_SELECT_BOX

  mmicko

  committed
  e7e37df

Commits on Feb 5, 2023

• Handle range offsets in packed arrays within packed structs

  Show description for 777c589
  daglem

  committed
  777c589

Commits on Jan 29, 2023

• Resolve struct member package types

  

  daglem

  authored and

  zachjs

  committed
  26db5a1

• Handle struct members of union type (YosysHQ#3641)

  daglem

  authored
  db13c6d

Commits on Jan 17, 2023

• Fixes for some of clang scan-build detected issues

  mmicko

  committed
  6574553

Commits on Jan 11, 2023

• print filename in liberty log_header

  nakengelhardt

  committed
  692a0fa

Commits on Dec 19, 2022

• Merge pull request YosysHQ#3467 from jix/fix_cellarray_simplify

  Show description for 3ebc50d
  jix

  authored
  3ebc50d

Commits on Dec 15, 2022

• respect noblackbox attribute in verific

  mmicko

  committed
  b867dee

Commits on Dec 7, 2022

• Merge pull request YosysHQ#3573 from daglem/struct-array-multidimensional

  Show description for 7ad7b55
  jix

  authored
  7ad7b55

• simplify: Do not recursively simplify AST_CELL within AST_CELLARRAY

  Show description for dd8b412
  jix

  committed
  dd8b412

Commits on Dec 5, 2022

• Merge pull request YosysHQ#3568 from YosysHQ/verific_msg

  Show description for 9362fdb
  mmicko

  authored
  9362fdb

• Merge pull request YosysHQ#3569 from YosysHQ/ver_no_rewriters

  Show description for 26aaf76
  mmicko

  authored
  26aaf76

Commits on Dec 4, 2022

• Made make_struct_member_range side-effect-free again

  daglem

  committed
  2209001

Commits on Dec 3, 2022

• Support for packed multidimensional arrays within packed structs

  daglem

  committed
  f94eec9

Commits on Dec 2, 2022

• set VERI-1063 explicitly

  mmicko

  committed
  34a64aa

Commits on Nov 30, 2022

• Merge pull request YosysHQ#3551 from daglem/struct-array-swapped-range

  Show description for 4a2b728
  jix

  authored
  4a2b728

• Added asserts for current limitation of array dimensions in packed structs

  daglem

  committed
  64f88eb

• Check for all cases of currently unsupported array dimensions in packed structs

  daglem

  committed
  15c8e74

• reset elaboration error after rewriter

  mmicko

  committed
  2dd55d7

• Set all verific messages of certain type to other

  mmicko

  committed
  bfd7984

Commits on Nov 25, 2022

• update documentation

  mmicko

  committed
  f764cd1

• Support importing verilog configurations using Verific

  mmicko

  committed
  b0be19c

Commits on Nov 23, 2022

• Support for swapped ranges in second array dimension

  daglem

  committed
  ddb1214

• Merge pull request YosysHQ#3552 from daglem/fix-sv-c-array-dimensions

  Show description for fc2f622
  jix

  authored
  fc2f622

Commits on Nov 21, 2022

• Merge branch 'zachjs-master'

  jix

  committed
  239ecf9

Commits on Nov 13, 2022

• Correct interpretation of SystemVerilog C-style array dimensions

  Show description for a862642
  daglem

  committed
  a862642

Commits on Nov 12, 2022

• Support for arrays with swapped ranges within structs

  Show description for bab8863
  daglem

  committed
  bab8863

Commits on Oct 31, 2022

• Add additional help info

  mmicko

  committed
  59b6ac4

• Enable importing blackbox modules only

  mmicko

  committed
  6fb80bc

Pagination

Previous

Next