Code

Change Verific log callback API#4015

Code

Merged

mmicko merged 2 commits intomasterYosysHQ/yosys:masterfrom log_verificYosysHQ/yosys:log_verificCopy head branch name to clipboardNov 6, 2023

+7-5

Commits

Commits on Nov 1, 2023

• change verific log callback api

  mmicko

  committed
  4eb18e1

  Copy full SHA for 4eb18e1

Commits on Nov 3, 2023

• Handling non-existing location in verific logs

  mmicko

  committed
  f06d56d

  Copy full SHA for f06d56d