6f2639aee0
Remove memory leak
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
34b170acb0
Apply 'make format'
2026-02-12 09:41:10 +01:00
db5f454d86
Start cloning from the 2nd iteration
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
93904eb786
Fix type of i
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
4232553f06
TMP: Update golden output
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
681fe77f72
Change NBA to BA in test in case of array of struct
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
485e32a56e
Save copies before next cloneTree
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
5f5f1970d7
Use cloned lhsp
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
1ee32af229
Extend struct with another field
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
0e1aa435b6
Fix init of __En vars
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
2dcc22766c
Apply 'make format'
2026-02-12 09:41:10 +01:00
d2824accb8
Add if for StructSel
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
b231727a1f
Handle more complex array selects
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
0560332356
Switch to new forcedUpdate in handling of AstRelease
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
e72fc60179
Remove warning regarding complex array elem dtype
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
55c4a11116
Handle structs in Rd updates
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
77fda9683d
Split long expression, throw error on unhandled type
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
8ee53a8e80
Fix handling of force assignments to real dtype vars
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
0efe6c735e
TMP: Return nullptr in unhandled cases
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
442f4a3a72
Fix update of Rd vars
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
0885422372
WIP: Create nested loops in recursive function
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
06e8a06bad
Don't use unpackDimensions
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
3dda440d17
Fix memory leaks
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
c159935321
Remove m_selIndices
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
91a9eef3d2
TMP: Restore previous way
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
d03d628ce2
Propagate changes for other expressions
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
26736c1156
Utilize clonep
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
1cfc7de87d
Create lhsp of assignment by copying whole expression
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
1803aabf4f
Keep old approach for packed types
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
cf56c288ad
Remove unused variable
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
dd2e0f1d6f
Add initialization of __En struct var
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
d0e6caee44
Remove unneeded nested if
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
5acebddeb4
Don't throw error on unpacked struct
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:10 +01:00
c1d4d7af10
Extract case with forcing struct to separate test
...
Signed-off-by: Ryszard Rozak <rrozak@antmicro.com>
2026-02-12 09:41:09 +01:00
446bec3d1a
Fix event triggering ( #6932 )
2026-02-11 10:35:59 -08:00
e41436bd4a
Support inherited and nested pre/post_randomize callbacks ( #7049 ) ( #7053 )
2026-02-11 09:33:57 -08:00
554fcef627
Fix rand_mode()/constraint_mode() when used as function arguments ( #7051 ) ( #7055 )
2026-02-11 09:33:09 -08:00
996a4b6e1a
Fix constraint_mode()/rand_mode() in constructor being overwritten by init code ( #7054 )
2026-02-11 09:32:08 -08:00
84350859e0
Support System Functions in Constraint Blocks ( #7028 ) ( #7036 )
2026-02-11 05:19:25 -08:00
5d12ae3a2f
Fix non-member identifiers used inside constraints ( #7033 )
2026-02-11 05:18:24 -08:00
22dc437dbb
Support std::randomize() for queue, dynamic array, and associative array variables ( #7044 )
2026-02-10 18:24:25 -08:00
67bff893bf
Fix whitespace
2026-02-10 20:17:22 -05:00
2bb807a931
Fix Inline foreach constraints on dynamic arrays of class objects ( #7030 ) ( #7037 )
2026-02-10 15:22:31 -08:00
a031dd1a22
Fix tracing without module inlining to match with inlining ( #7041 )
...
This is an attempt to generate an identical trace file scope hierarchy
both with and without -fno-inline. Primarily because it's needed for
testing in upcoming patch, but also improves consitency prior to #7001
2026-02-10 21:05:41 +00:00
021e0ba81b
Testing: Bump vcddiff to latest ( #7040 )
2026-02-10 20:08:23 +00:00
925543676e
Fix rand_mode() on nested object variables causes Z3 solver error ( #7031 ) ( #7034 )
2026-02-10 13:59:09 -05:00
8791e6c5f2
Support constraint_mode() on static constraints ( #7027 ) ( #7038 )
2026-02-10 13:58:35 -05:00
6303eb45ce
Fix multidim dynamic array elements passed to ref argument ( #7023 )
2026-02-10 08:46:04 +01:00
a660fa54a7
Fix unique constraint in derived class ( #7022 )
2026-02-09 09:56:38 -05:00
a28bd5a085
Apply 'make format'
2026-02-09 03:48:11 +00:00
Ryszard Rozak
github action
Igor Zaworski
Yilou Wang
Pawel Kojma
Wilson Snyder
Geza Lore