Fix assertion failure with invalid type mark

Fix wrong result with unsigned input to conversion function

Skip missing body checks if there are name errors

Handle "or" in Verilog event control. Fixes #1013

Fix failure on negative range (#1014)

Fixes #1012

Check for non-constant external name in pure function. Fixes #1010

Cover per file report (#1006)

Optimize coverage item merging in single scope. (#1009)

Do not print trailing null in vhpi_printf

Pass absolute path to dlopen/LoadLibrary

Use original list macro for model property list

Add support for PSL eventually!. Fixes #1000

Check PSL never properties are in simple subset

Check eventually! is in simple subset

Detect duplicate struct and union members

Correct test case for issue #991

Missing call to sem_check for HDL expressions in PSL. Issue #1001

Refactor parsing of PSL declarations

Ensure PSL builtins are only visible in PSL directives

Allow calling VHPI subprograms during elaboration. Fixes #988

Switch to macos-13 runner for X86 macOS testing

Add support for PSL <-> operator. Fixes #1002

Handle HDL expression on right of PSL implication. Fixes #994

Fix PSL loop detection algorithm

Fix error when work library has same name as entity. Fixes #991

Revert "Only allow PSL declarations in declarative region"

This reverts commit 88b1ac6f73f791cbe16cb29a6a08baa7fa8c4229.

Issue #993

Parsing for SystemVerilog unions

Parsing for SystemVerilog enums

Store Verilog packed dimensions with data type

Parse PSL cover directive in VHDL-2008. Fixes #995

Allow associating impure function with pure generic in relaxed mode

Fixes #990

Only allow PSL declarations in declarative region. Fixes #993

Add Verilog node for data type

Stub for parsing SystemVerilog structs

Add sort to hierarchy summary tables in HTML report. (#989)

Number SDF tokens from the last defined token. (#992)

Add missing tcllib to release packages workflow

Fix action ordering for MSYS2 package build

Update for 1.14.0 release

Fix VHPI test build on FreeBSD

Skip tests when building Debian package

Add arm64 macOS testing to GitHub Actions

Remove green text attribute from vhpi_printf

Check for duplicate attribute specification. Fixes #977

Stricter checking for top level design unit name

Batch FST initial value emission. Fixes #979

Fix assertion failure when dumping array-of-records. Issue #972

Fix writing to procedure out parameters from VHPI

Add NEON byte vector equal intrinsic

Additional debug for issue #972

Fix buffer size calculation in ffi_prepare_ghdl. Fixes #984

Fix crash referencing signal in generic map in relaxed mode

Fixes #983

Various fixes for VHDL-2019 array type generics. Fixes #970

Fix assertion failure when scalar signal has subtype with non-static bounds

Issue #972

Rename issue979 test case to issue985

Check function specification and body return types exactly match

Fixes #980

Fix "expression cannot be folded" error when dumping arrays

Fixes #979

Correct GPG verification instructions. Fixes #981

Handle 64-bit integer types in VHPI

Handle physical subtypes in VHPI. Fixes #978

Parsing for LCS2016_49. Issue #970

Add additional debug for issue #972

Fix calculation of constrained array index type. Fixes #975

Add SSE4.1 byte vector comparison

Add vectorised versions of IEEE and/or/xor

Add SDF parser

Extracted the parser component from #757

Fix crash with array-of-record in inertial actual. Fixes #971

Limit maximum instantiation depth. Fixes #969

Fix crash when using 'stable with vectors. Fixes #968

Add skeleton implementation of CXXRTL protocol

Refactor debug server to handle multiple protocols

Use pkg-config to detect zlib (#967)

The old code used to detect zlib by trying to compile a program. All
well and good, until you want to use a zlib that is not in a
standardized location.

This change allows providing zlib via a pkgconfig path.

Bounds checking for case? statements. Fixes #966

Add optional upper limit argument to --dump-arrays. Issue #959

Missing check for signal parameter association in procedure call

Issue #965

Resolve external names as late as possible. Issue #964

Error when inout port has output conversion but no input conversion

Fix wrong result of record element conversion. Issue #963

Crash when dumping waves for array-of-record with non-constant bounds

Fixes #962

Type of range bounds was determined incorrectly. Fixes #961

Use internal calling convention for STD.ENV.STOP

Fixes a longjmp crash on Windows-on-Arm

Fix crash when 'stable is used with record type. Fixes #960

Fix 'event and 'active where the prefix is an array of records

Improve error message when subprogram body does not conform to specification

Issue #958

Dump downto arrays-of-arrays in the correct order. Fixes #957

Check PSL properties are in simple subset

Type checking for PSL Boolean expressions

Fix handling of PSL assertions with infix operators. Fixes #956

Remove reference to non-existant --disable-popcnt

Various fixes for Verilog module instantiation. Issue #937

Include version and OS information in crash dump

Remove unsafe_symbol function

Sync NEWS.md from 1.13 branch

Fix crash with unconstrained type in has_unique_driver. Fixes #953

Fix crash when iterating over access-to-array. Fixes #951

Fix crash with unconstrained record subtype. Fixes #950

Use clause with .all suffix should not make package name visible

Make bounds checking diagnostics print directly to diag_t

Handle external names in PSL assertions. Fixes #952

Fix crash with constant array of unconstrained array. Fixes #954