Parse Verilog for loops

PSL built-in functions are only allowed where Boolean would be

Issue #1001

Replace redundant copy of libraryName with missing copy of modelName (#1132)

Fix crash with call with too many named arguments. Issue #1091 (#1130)

Bump version to 1.16-devel

Update for 1.15 release

Update OSVVM and UVVM versions

Fix mis-parsed comment inside PSL directive. Fixes #1129

Avoid heap allocation in type_set_push

Spurious error when trying to apply condition conversion operator

Fixes #1124

Correct VHPI type name for nested array element subtype

Fixes #1127

Add support for `'*_name` attributes of generate block label (#1126)

Fixes #1125

Fix crash with invalid range type for aggregate (#1123)

Fix crash with invalid aggregate field name (#1121)

PSL never properties always fail. Fixes #1117

Fix assertion failure after local allocation in property

Issue #1117

Improve tracing of vhpi_register_cb parameters

Issue #1114

Fix crash instantiating a subprogram containing a file type

Fixes #1118

Fix crash with instantiation of unexpected kind (#1120)

Fix crash in overload check of invalid alias declarations (#1119)

Wrong debug output for VHPI callback in vhpiDisable state

Issue #1114

Fix crash when PSL sequence starts with indexed name. Fixes #1115

Correct error location after Verilog macro expansion

Define Verilog preprocessor macros on command line

Based on code from @Blebowski in #1110

Cache external names at use site

Move all external name resolution to runtime

Add intrinsics for unsigned comparison

Fix corner case with trigger update order

Ensure thread-local buffer is reset correctly

Elide driver update in some cases

Disable output port collapsing

Optimised copy and comparison functions in runtime

Optimise conversion function memory usage

Add redzone around runtime static allocations

Fix unused variable warning on release build

Fix 'last_active when port has conversion function

Remove remaining uses of ptr_list_t

Refactor implementation of conversion functions. Fixes #1094

Fix 'driving_value when prefix is a record

Fix crash with type interface in function parameters. Issue #1108 (#1111)

Make usage of signal initial / driving area more explicit

Parse Verilog concatenation

Parse more Verilog datatypes

Parse Verilog `begin_keywords and `end_keywords

Handle external name referencing package body

Handle `undef in Verilog preprocessor

Parse Verilog conditional expression and more binary operators

Fix crash when new instance with generics is created. (#1107)

Fix crash with duplicate aliases in name resolution. (#1106)

Parse Verilog parameter declarations

Fix crash with missing choices in aggregate. (#1104)

Mark onehot,onehot0 PSL built-ins as implemented. (#1105)

Co-authored-by: ondrej.ille <ondrej.ille@tropicsquare.com>

Refactor driving and effective value calculation

Parse Verilog wait statements

Verilog relational operators

Improve error when no overload applicable in context

Warn if VHPI non-object callback has non-NULL obj/value/time fields

Fixes #1097

Set exit code from vhpi_assert (#1060)

JIT support for Windows-on-Arm

Tentatively re-enable wave tests on Windows

Limit object graph traversal in gc_mark_from_root. Issue #1098

Do missing object type check only once at startup

Update README to include the Surfer waveform viewer (and minor fixes) (#1101)

Add PSL 2010 features breakdown to HTML docs. (#1081)

Raise error when entity aspect is missing in configuration specification. (#1092)

Pass Vivado vhdl_analyze_order to nvc -a -f directly. Fixes #1098

Slightly improve code generation for object_visit

Error rather than crash on incremental binding. Issue #1096

Tweak reporting of invalid formal names

Raise error when formal part is illegal. (#1093)

Avoid newline in AC_CHECK_FUNCS. Fixes #1095

Fix crash with array-of-record in conversion function. Issue #1094

Parsing for Verilog task and function declarations

Fix crash after circular package reference. Fixes #1090

Handle expression in Verilog net declarations

Parse Verilog shift operators

Fix parser crash after invalid PSL directive. Fixes #1088

Raise error when parameter list contains type interface declaration

Fix crash on package definition in interface decl. (#1083)

Fix crash on duplicated protected body. (#1087)

Fix parser hang for bit string literals. (#1085)

Fix crash on invalid subtype indication. (#1082)

Issue #1038

Add support for package external names. Fixes #1072

Fix error parsing nested compound SERE

Add support for PSL length matching &&. Fixes 996

Fix memory leaks in PSL FSM construction

Reuse edges when simplifying PSL state graph

Prune unreachable states

Collapse PSL epsilon edges before lowering

Allow combining PSL guards with boolean operators

Avoid writing intermediate .dot file for PSL graph

Improve error recovery in Verilog parser

Parsing for more Verilog loop structures

Add stub implementation for $monitor

Build VPI objects for module, nets, and variables

Add a utility to dump VPI object model

Fix crash on type mark error for protected func. (#1084)

Sync NEWS.md from 1.14 branch

Avoid use of nproc on macOS

Fix crash with subtype in element association range choice

Fixes #1080