d874d2fd06
Apply 'make format'
2026-05-20 11:11:52 +00:00
9e4863589e
Fix non-determinism in FSM detection ( #7619 )
...
Fixes #7619
2026-05-20 12:10:53 +01:00
daa4a108de
Commentary: Debugging non-determinism
2026-05-19 21:51:12 -04:00
f3a86bacdd
Commentary: Changes update
2026-05-19 21:40:08 -04:00
afad8db672
Fix VlWide equality comparion in unpacked structs ( #7618 )
2026-05-20 00:57:33 +01:00
cb3b9c7c43
Fix nested parameterized class typedef chain ( #7538 )
2026-05-19 14:12:24 -04:00
b06ea01afb
Fix type parameters order ( #7615 )
2026-05-19 09:52:09 -04:00
efdc8d1cbf
Fix unique_index method on assoc arrays with values differing from the keys ( #7616 )
...
Signed-off-by: Pawel Klopotek <pklopotek@internships.antmicro.com>
2026-05-19 09:51:23 -04:00
662cd43348
Apply 'make format'
2026-05-19 01:41:54 +00:00
a67c5f81f3
Fix clocking-block sample of unpacked array ( #7612 ) ( #7613 )
...
Fixes #7612 .
2026-05-18 21:40:54 -04:00
2ebb99aaa2
CI: Bump actions/create-github-app-token in the everything group ( #7611 )
2026-05-18 20:48:53 -04:00
eb258d7df7
IEEE-compliant, fair `std::semaphore` ( #7435 ) ( #7605 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2026-05-18 11:11:42 +02:00
00c9e58006
Fix internal error on consecutive repetition with N > 256 ( #7552 ) ( #7603 )
2026-05-17 21:54:10 -04:00
57ce373e99
Fix array pattern concatenation ( #7401 ) ( #7402 )
2026-05-17 09:49:32 -04:00
7f520ff1a2
Apply 'make format'
2026-05-17 11:35:24 +00:00
9fe058677b
Support NBAs in initial blocks with delay/event controls ( #7566 ) ( #7600 )
...
Fixes #7566 .
2026-05-17 07:34:29 -04:00
c1ab369da2
Fix process comparison compile error with `--public-flat-rw` ( #7592 ).
...
Fixes #7592 .
2026-05-15 18:22:46 -04:00
349dd546e7
Internals: Rename stdPackageProcessp etc. No functional change.
2026-05-15 17:33:19 -04:00
4e853d8cb6
Fix cpu pinning when no 'core id' present in /proc/cpuinfo ( #7599 )
2026-05-15 14:45:39 -04:00
8c8d9b4f4c
Internals: Sign off pylint warnings
2026-05-15 17:39:48 +01:00
f9427c6d5f
Support property abort operators (accept_on, reject_on) ( #7578 )
2026-05-15 08:38:38 -04:00
442dd91683
Apply 'make format'
2026-05-15 11:53:21 +00:00
67e74c5ce4
Fix interface instance name collision ( #7591 ) ( #7593 )
...
Fixes #7591 .
Co-authored-by: Leela Pakanati <41307800+cachanova@users.noreply.github.com>
2026-05-15 07:52:26 -04:00
a42c8587cb
Optimize force read return values ( #7596 )
2026-05-14 20:26:02 -04:00
d66733aeb8
Fix process comparison compile error with `--public-flat-rw` ( #7592 ).
...
Fixes #7592 .
2026-05-14 17:52:28 -04:00
dff2606c0c
Commentary: Changes update
2026-05-14 17:38:11 -04:00
fb617e49dd
Optimize read selects with no overlapping forces with regular reads ( #7594 )
2026-05-14 16:46:57 -04:00
4a1f17e75f
Fix force of unpacked arrays ( #7579 ) ( #7580 )
...
Fixes #7579 .
2026-05-14 10:58:16 -04:00
c518abd22a
Optimize reading selected words on forced wide ( #7391 repair) ( #7554 partial) ( #7572 )
2026-05-14 07:38:42 -04:00
de4f743d0e
Internals: Use /bin/sh to test gdb ( #7586 )
2026-05-14 04:29:24 -04:00
a3da587fc3
Internals: Show operator in assert
2026-05-13 21:02:45 -04:00
83b1dacce1
CI: Use windows-2025-vs2026
2026-05-13 21:02:05 -04:00
1653b982b9
Verilog format
2026-05-13 21:00:34 -04:00
1c3ee7ce4c
Support expression coverage on assign statements ( #7543 )
2026-05-13 13:59:29 -04:00
e485dfe48c
Fix NBA to whole arrays ( #7583 )
...
Fixes #7575
2026-05-13 13:20:22 +01:00
3381d656c7
Support calling interface functions without parens ( #7584 )
...
Signed-off-by: Krzysztof Bieganski <kbieganski@antmicro.com>
2026-05-13 08:15:32 -04:00
05302080a9
Support procedural concurrent assertions with inferred clock ( #7581 )
2026-05-13 07:42:28 -04:00
1ffa6b277d
Fix property argument retaining type of the previous variable ( #7582 )
...
Signed-off-by: Jakub Michalski <jmichalski@antmicro.com>
2026-05-13 07:41:35 -04:00
8312e9d901
Extend FSM Detect to support 'Wide State Encodings' ( #7573 )
2026-05-13 06:59:22 -04:00
9588e67ca9
V3Timing: pre-clear destructive event state before dynamic waits ( #7340 )
...
When lowering dynamic event controls, destructive pre-clear updates were inserted with addHereThisAsNext() on the original node and then that node was replaced. This could leave leaked/orphaned nodes under leak-checking runs.
Build an explicit replacement stmt chain instead:
[pre-clear stmts] -> trigger loop -> awaitResumption,
and replace the original control with the chain head. Keep the loop-only path unchanged when no destructive pre-clear is needed.
2026-05-12 19:01:37 +01:00
67b21e4c62
Fix segmentation fault when using --trace with --lib-create ( #7299 ) ( #7518 )
2026-05-12 10:16:47 -04:00
831396f848
Commentary: Changes update
2026-05-12 09:52:18 -04:00
05f6db7970
Optimize emitting to_string() for compiler speedup ( #7468 )
...
Signed-off-by: Jakub Michalski <jmichalski@antmicro.com>
2026-05-12 09:49:21 -04:00
a5a1ed55d3
Apply 'make format'
2026-05-12 11:40:38 +00:00
0ebe01a778
Support new FST writer API ( #6871 ) ( #6992 )
2026-05-12 07:39:43 -04:00
bdcdc10966
Fix floating point compile warning on min/max delays.
2026-05-11 19:50:48 -04:00
b27e7c02ee
Tests: Prefer --binary over timing multipliers
2026-05-11 19:50:48 -04:00
d2047e5bad
Commentary: Changes update
2026-05-11 19:50:48 -04:00
edab09333c
Apply 'make format'
2026-05-11 22:33:56 +00:00
cf9334f2c1
Fix error on mixed-initialization ( #7352 ) ( #7357 )
2026-05-11 18:32:55 -04:00
github action
Yogish Sekhar
Wilson Snyder
Geza Lore
Michael Rogenmoser
Kamil Danecki
Pawel Klopotek
Nikolai Kumar
dependabot[bot]
Krzysztof Bieganski
Yilou Wang
Greg Davill
Muzaffer Kal
Geza Lore
Stuart Morris
Artur Bieniek
Zubin Jain
Thomas Brown
Jakub Michalski
Nick Brereton
anonkey
Yu-Sheng Lin
Cookie