Nick Gasson's Git Repositories

]> Nick Gasson's Git Repositories - nvc.git/shortlog

2024-10-13	Nick Gasson	Fix assertion failure with invalid type mark	commit \| commitdiff \| tree
2024-10-13	Nick Gasson	Fix wrong result with unsigned input to conversion...	commit \| commitdiff \| tree
2024-10-13	Nick Gasson	Skip missing body checks if there are name errors	commit \| commitdiff \| tree
2024-10-09	Nick Gasson	Handle "or" in Verilog event control. Fixes #1013	commit \| commitdiff \| tree
2024-10-09	Blebowski	Fix failure on negative range (#1014)	commit \| commitdiff \| tree
2024-10-07	Nick Gasson	Check for non-constant external name in pure function...	commit \| commitdiff \| tree
2024-10-07	Blebowski	Cover per file report (#1006)	commit \| commitdiff \| tree
2024-10-07	Blebowski	Optimize coverage item merging in single scope. (#1009)	commit \| commitdiff \| tree
2024-10-06	Nick Gasson	Do not print trailing null in vhpi_printf	commit \| commitdiff \| tree
2024-10-06	Nick Gasson	Pass absolute path to dlopen/LoadLibrary	commit \| commitdiff \| tree
2024-10-06	Nick Gasson	Use original list macro for model property list	commit \| commitdiff \| tree
2024-10-06	Nick Gasson	Add support for PSL eventually!. Fixes #1000	commit \| commitdiff \| tree
2024-10-02	Nick Gasson	Check PSL never properties are in simple subset	commit \| commitdiff \| tree
2024-10-01	Nick Gasson	Check eventually! is in simple subset	commit \| commitdiff \| tree
2024-10-01	Nick Gasson	Detect duplicate struct and union members	commit \| commitdiff \| tree
2024-10-01	Nick Gasson	Correct test case for issue #991	commit \| commitdiff \| tree
2024-09-30	Nick Gasson	Missing call to sem_check for HDL expressions in PSL...	commit \| commitdiff \| tree
2024-09-30	Nick Gasson	Refactor parsing of PSL declarations	commit \| commitdiff \| tree
2024-09-30	Nick Gasson	Ensure PSL builtins are only visible in PSL directives	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Allow calling VHPI subprograms during elaboration....	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Switch to macos-13 runner for X86 macOS testing	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Add support for PSL <-> operator. Fixes #1002	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Handle HDL expression on right of PSL implication....	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Fix PSL loop detection algorithm	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Fix error when work library has same name as entity...	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Revert "Only allow PSL declarations in declarative...	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Parsing for SystemVerilog unions	commit \| commitdiff \| tree
2024-09-29	Nick Gasson	Parsing for SystemVerilog enums	commit \| commitdiff \| tree
2024-09-27	Nick Gasson	Store Verilog packed dimensions with data type	commit \| commitdiff \| tree
2024-09-26	Nick Gasson	Parse PSL cover directive in VHDL-2008. Fixes #995	commit \| commitdiff \| tree
2024-09-26	Nick Gasson	Allow associating impure function with pure generic...	commit \| commitdiff \| tree
2024-09-26	Nick Gasson	Only allow PSL declarations in declarative region....	commit \| commitdiff \| tree
2024-09-26	Nick Gasson	Add Verilog node for data type	commit \| commitdiff \| tree
2024-09-26	Nick Gasson	Stub for parsing SystemVerilog structs	commit \| commitdiff \| tree
2024-09-26	Blebowski	Add sort to hierarchy summary tables in HTML report...	commit \| commitdiff \| tree
2024-09-26	Blebowski	Number SDF tokens from the last defined token. (#992)	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Add missing tcllib to release packages workflow r1.14.0	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Fix action ordering for MSYS2 package build	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Update for 1.14.0 release	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Fix VHPI test build on FreeBSD	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Skip tests when building Debian package	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Add arm64 macOS testing to GitHub Actions	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Remove green text attribute from vhpi_printf	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Check for duplicate attribute specification. Fixes...	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Stricter checking for top level design unit name	commit \| commitdiff \| tree
2024-09-22	Nick Gasson	Batch FST initial value emission. Fixes #979	commit \| commitdiff \| tree
2024-09-21	Nick Gasson	Fix assertion failure when dumping array-of-records...	commit \| commitdiff \| tree
2024-09-21	Nick Gasson	Fix writing to procedure out parameters from VHPI	commit \| commitdiff \| tree
2024-09-21	Nick Gasson	Add NEON byte vector equal intrinsic	commit \| commitdiff \| tree
2024-09-21	Nick Gasson	Additional debug for issue #972	commit \| commitdiff \| tree
2024-09-20	Nick Gasson	Fix buffer size calculation in ffi_prepare_ghdl. Fixes...	commit \| commitdiff \| tree
2024-09-20	Nick Gasson	Fix crash referencing signal in generic map in relaxed...	commit \| commitdiff \| tree
2024-09-20	Nick Gasson	Various fixes for VHDL-2019 array type generics. Fixes...	commit \| commitdiff \| tree
2024-09-20	Nick Gasson	Fix assertion failure when scalar signal has subtype...	commit \| commitdiff \| tree
2024-09-20	Nick Gasson	Rename issue979 test case to issue985	commit \| commitdiff \| tree
2024-09-19	Nick Gasson	Check function specification and body return types...	commit \| commitdiff \| tree
2024-09-19	Nick Gasson	Fix "expression cannot be folded" error when dumping...	commit \| commitdiff \| tree
2024-09-19	Nick Gasson	Correct GPG verification instructions. Fixes #981	commit \| commitdiff \| tree
2024-09-19	Nick Gasson	Handle 64-bit integer types in VHPI	commit \| commitdiff \| tree
2024-09-19	Nick Gasson	Handle physical subtypes in VHPI. Fixes #978	commit \| commitdiff \| tree
2024-09-19	Nick Gasson	Parsing for LCS2016_49. Issue #970	commit \| commitdiff \| tree
2024-09-16	Nick Gasson	Add additional debug for issue #972	commit \| commitdiff \| tree
2024-09-16	Nick Gasson	Fix calculation of constrained array index type. Fixes...	commit \| commitdiff \| tree
2024-09-15	Nick Gasson	Add SSE4.1 byte vector comparison	commit \| commitdiff \| tree
2024-09-15	Nick Gasson	Add vectorised versions of IEEE and/or/xor	commit \| commitdiff \| tree
2024-09-15	Blebowski	Add SDF parser	commit \| commitdiff \| tree
2024-09-11	Nick Gasson	Fix crash with array-of-record in inertial actual....	commit \| commitdiff \| tree
2024-09-11	Nick Gasson	Limit maximum instantiation depth. Fixes #969	commit \| commitdiff \| tree
2024-09-09	Nick Gasson	Fix crash when using 'stable with vectors. Fixes #968	commit \| commitdiff \| tree
2024-09-09	Nick Gasson	Add skeleton implementation of CXXRTL protocol	commit \| commitdiff \| tree
2024-09-09	Nick Gasson	Refactor debug server to handle multiple protocols	commit \| commitdiff \| tree
2024-09-09	Filip Filmar	Use pkg-config to detect zlib (#967)	commit \| commitdiff \| tree
2024-09-07	Nick Gasson	Bounds checking for case? statements. Fixes #966	commit \| commitdiff \| tree
2024-09-07	Nick Gasson	Add optional upper limit argument to --dump-arrays...	commit \| commitdiff \| tree
2024-09-06	Nick Gasson	Missing check for signal parameter association in proce...	commit \| commitdiff \| tree
2024-09-05	Nick Gasson	Resolve external names as late as possible. Issue #964	commit \| commitdiff \| tree
2024-08-31	Nick Gasson	Error when inout port has output conversion but no...	commit \| commitdiff \| tree
2024-08-31	Nick Gasson	Fix wrong result of record element conversion. Issue...	commit \| commitdiff \| tree
2024-08-30	Nick Gasson	Crash when dumping waves for array-of-record with non...	commit \| commitdiff \| tree
2024-08-30	Nick Gasson	Type of range bounds was determined incorrectly. Fixes...	commit \| commitdiff \| tree
2024-08-30	Nick Gasson	Use internal calling convention for STD.ENV.STOP	commit \| commitdiff \| tree
2024-08-29	Nick Gasson	Fix crash when 'stable is used with record type. Fixes...	commit \| commitdiff \| tree
2024-08-29	Nick Gasson	Fix 'event and 'active where the prefix is an array...	commit \| commitdiff \| tree
2024-08-29	Nick Gasson	Improve error message when subprogram body does not...	commit \| commitdiff \| tree
2024-08-28	Nick Gasson	Dump downto arrays-of-arrays in the correct order....	commit \| commitdiff \| tree
2024-08-27	Nick Gasson	Check PSL properties are in simple subset	commit \| commitdiff \| tree
2024-08-27	Nick Gasson	Type checking for PSL Boolean expressions	commit \| commitdiff \| tree
2024-08-27	Nick Gasson	Fix handling of PSL assertions with infix operators...	commit \| commitdiff \| tree
2024-08-27	Nick Gasson	Remove reference to non-existant --disable-popcnt	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Various fixes for Verilog module instantiation. Issue...	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Include version and OS information in crash dump	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Remove unsafe_symbol function	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Sync NEWS.md from 1.13 branch	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Fix crash with unconstrained type in has_unique_driver...	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Fix crash when iterating over access-to-array. Fixes...	commit \| commitdiff \| tree
2024-08-24	Nick Gasson	Fix crash with unconstrained record subtype. Fixes...	commit \| commitdiff \| tree
2024-08-23	Nick Gasson	Use clause with .all suffix should not make package...	commit \| commitdiff \| tree
2024-08-23	Nick Gasson	Make bounds checking diagnostics print directly to...	commit \| commitdiff \| tree
2024-08-22	Nick Gasson	Handle external names in PSL assertions. Fixes #952	commit \| commitdiff \| tree
2024-08-22	Nick Gasson	Fix crash with constant array of unconstrained array...	commit \| commitdiff \| tree
next

VHDL compiler and simulator

RSS Atom