Fix potential overflows in mspace bitmask handling. Fixes #949

Fix crash with signal alias in generic package. Fixes #946

Missing type check for conversion function actual. Fixes #945

Add RPM-based dependencies to README for build-from-source (#947)

Update README.md

Include RPM-based dependencies

Fix precedence for Verilog binary operators

Code generation for Verilog primitive gates

Parsing for more Verilog gate instance types

Verilog implicit net declarations

Lowering for sequential UDPs

Parsing for Verilog sequential UDP bodies

Add some semantic checks for Verilog UDPs

Handle nested packages in lower_context_for_call. Issue #943

Use well_known instead of ident_new when parsing operators

Implement LCS2016_I13 precedence of unary operators

Implement LCS2016_I03 signature in generic association

Lowering for Verilog UDPs

Issue #937

Parsing for Verilog user-defined primitives

Issue #937

Simplify parse tracing

Replace T_FUNC and T_PROC types kinds with a single T_SIGNATURE

Exclude fatal_trace and should_not_reach_here from test coverage

Do not create coverage scopes for component implicit block

Fixes #941

Add separate cover_create_instance for instances

No longer need to force eager code generation with coverage

Remove cover_pop_scope

Remove top_scope state from cover_data_t

Modify cover_{push,pop}_scope to take an explicit scope argument

Remove redundant nesting of case choice branch coverage

Add XML coverage dump format for testing

Prune empty coverage scopes

Fix crash after empty interface list. Fixes #942

Replace Bison Verilog parser with hand-written recursive descent

Add should_not_reach_here helper

Coverage folding (#939)

* src, test: Rework exclude file handling

Parse first, and traverse hierarchy only then.
Add stub of "collapse" command.

* src, test: coverage fixes after rebase.

* man: Fix section title.

* src: Implement support for "fold" command into exclude file.

* src: Fix forgotten option of "cover_merge" command.

* test: Add cover23 test for coverage folding.

* src: Remove commented code for union creation during folding/

* man: Document coverage folding.

* src: Fix fold command array allocation issues.

* src: typo fix

* src: Simplify to_upper_str

* src: Remove excessive exclamation marks.

* src: Remove excessive debug prints.

* src: Make folding scope match print message only upon DEBUG build.

* nvc.1: Spelling fix.

* src: Apply comments from review

* test: Adapt tests for modified information messages.

* NEWS: fix conflicts.

* src, test: Remove "ifdef DEBUG".

* src: Remove two more occurences of debug print.

nvc.1: Minor consistency fix in generic documentation. Fixes #832. (#940)

Detect msys/gcc in configure script. Fixes #936

Sync NEWS.md from 1.13 branch

Enable more VUnit tests

Replace can_overload with a name mask bit

Incorrect ambiguous subprogram error in 1993 mode

Sync fstapi.c to GtkWave d20056758

Use cmark for Markdown to HTML conversion

Fix random segfault when heap is larger than 4g. Fixes #935

Update to UVVM 2024.07.03b

Fix crash with qualified expression. Fixes #934

Fix error generating VCD files on Windows UCRT. Issue #637

Avoid linker errors on Windows with long command lines

Remove internal debug and deprecated options from --help

Fix HTML validation errors in coverage report

Split -c sub-command into --cover-report and --cover-merge

Use fbuf_put_uint for coverage data and add magic number

Correct documentation for foreign subprograms

Add a generic saturate_add macro

Re-enable OSVVM testing in GitHub Actions workflow

Warn in some cases when inner declaration hides outer. Fixes #905

Update OSVVM to 2024.07

Improve warning when identifier is a reserved word in future standard

Adjust generic type implicit operator lookup in 2008 to match 2019

Issue #927, #686
See also ghdl/ghdl#2696

Add intrinsics for some Synopsys subprograms

Fix Windows installer build in GitHub Actions

Optimise redundant array range calculation

Fix incorrect bounds check error with partially constrained subtype

Fixes #932

Refactor implementation of 'stable and 'quiet

Sync NEWS.md from 1.3 branch

Fix wrong result for slice of generic. Fixes #931

Fix longest static prefix for array slice with 'length. Fixes #930

Fix crash with unconstrained array-of-record port

Fix crash with shared variable in generic package. Fixes #923

Stop after errors in top-level generics

Fix "failed to suspend thread" error on macOS. Fixes #922

Elaboration crash with generic package on entity. Fixes #925

Also look up external names in port list. Issue #921

Fix crash with subprogram alias in generic <>. Fixes #924

Add test for generic hints in elaboration errors

Fix duplicate symbol error with 'DELAYED attribute

Fix crash with open unconstrained port

Hint if overload would not be ambiguous with --relaxed

Remove redundant check in elab_external_name

Cannot reference generic in external name. Fixes #921

Use new GitHub Action for OSVVM workflow

Generate Windows installer file list dynamically

Add workaround for actions/checkout#290

Cover saturate toggle (#919)

Only the initial PSL state should repeat

Refactor x86 JIT instruction emission

Cover items to counters (#918)

* src: Move toggle coverage emit (recursive array traversal) to "cov-data" from lower.

* src: Linearize control flow in cover_add_toggle_items_for.

* src, test: Convert toggle coverage to separate cover_item for 0->1 and 1->0.

* src: Set "num" by default to 1 -> Becomes valid for statements. Simplify cover chain append logic for COV_ITEM_STMT.

* src: Move "num" setting for COV_ITEM_TOGGLE to better place.

* WIP: Branch coverage - Conversion to counters.

* src: Convert branch items fully to single item per covered item in reports too.

* src: Move bin name append for toggle items to cover_add_item.

* src: Move FSM state coverage logic to "cover" and make it counter, not flag.

* src: Fix typo in Button that gives you coverage exclude command.

* src: Move "num" setting for COV_ITEM_TOGGLE to better place.

* WIP: Branch coverage - Conversion to counters.

* src: Convert branch items fully to single item per covered item in reports too.

* src: Move bin name append for toggle items to cover_add_item.

* src: Port fixes from #909 and #906 to coverage refactoring.

* src, test: Rework expression coverage conversion to counters.

* src: Unify reporting of COV_ITEM_FUNCTIONAL to use new conversion to cover_chain_t.

* src: Remove Exclude mask from cov_item_t, now handled by single flag.

* src: Fix build on MACOS.

* src, test: Fix leak in the branch coverage.

* src: Rename "num" to "consecutive" to better correspond to its meaning.

* src, test: Get rid of the BIN in the exclude file completely.

* src, test: Clarify that simultaneous covered + excluded will result in covered.

* src: Unify "cover_add_*" API towards lower.

* src, test: Merge VCODE_OP_COVER_STMT, VCODE_OP_COVER_BRANCH and VCODE_OP_COVER_EXPRESSION.

* src, test: Rename "STATE" to "BIN_STATE" to have the same naming as rest of bins.

* NEWS, www: Update documentation and changes.

* Apply comments from review.

* Revert "src, test: Merge VCODE_OP_COVER_STMT, VCODE_OP_COVER_BRANCH and VCODE_OP_COVER_EXPRESSION."

This reverts commit 9daa3dc0fd1d3ba1e3e63e1e9b4d0b0c020b90ac.

* src: Remove unused variable.

Add support for PSL "never" assertions. Fixes #914

Crash with parenthesised PSL assertion. Fixes #911

Avoid cascading errors from overload resolution

Bump version to 1.14-devel

Update for 1.13 release

Fix handling of multi-line PSL comments

Fixes #910
Fixes #913

Check result of realpath(3) for stdenv dir_open

Downgrade case totality errors to warnings with --relaxed

Issue #902

Fix build warnings on Windows and add installer sanity test step

Issue #786

Allow function interface declarations to be pure or impure

Fixes #917

Hide source for diagnostics unless an explicit location is passed

Dump package signals to FST file. Fixes #901

Fix unused variable warning on release build

Replace list_* macros in rt_scope_t

Ensure fatal_* functions are never inlined