luke
/
sv2v
mirror of https://github.com/zachjs/sv2v.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

tweak changelog message

This commit is contained in:
Zachary Snow 2024-09-02 12:24:42 -04:00
parent 68fc7455d5
commit 0a01aecaac
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
CHANGELOG.md
View File

@ -3,8 +3,8 @@
### New Features
* Added conversion of severity system tasks and elaboration system tasks (e.g.,
`$info`) into `$display` tasks including source file and scope information;
set `-E SeverityTask` to disable this new conversion
`$info`) into `$display` tasks that include source file and scope information;
pass `-E SeverityTask` to disable this new conversion
* Added parsing support for `not`, `strong`, `weak`, `nexttime`, and
`s_nexttime` in assertion property expressions
* Added `--bugpoint` utility for minimizing test cases for issue submission