You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Author Name: Iztok Jeras (@jeras)
Original Redmine Issue: 867 from https://www.veripool.org
Original Date: 2014-12-24
Original Assignee: Wilson Snyder (@wsnyder)
From this commit on:
Support enum.first/name and similar methods, #�.
c1593f856d4a4ca47864203a94b30b86dd3271a8
Original Redmine Comment
Author Name: Iztok Jeras (@jeras)
Original Date: 2014-12-24T15:44:25Z
an attempt at a test file, I just searched for unions in the regression directory and added the troublesome code to "test_regress/t/t_struct_init.v", so I am not sure this is the right file or maybe a new testcase would be needed
Author Name: Iztok Jeras (@jeras)
Original Redmine Issue: 867 from https://www.veripool.org
Original Date: 2014-12-24
Original Assignee: Wilson Snyder (@wsnyder)
From this commit on:
I have trouble using the next code:
I get the next error:
Code like "gpr.nam.z" without geting a subset of the vector works fine.
Regards,
Iztok Jeras
The text was updated successfully, but these errors were encountered: