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
Hello John,
Thanks for the update. I am trying to release a new version of KGen by
early September. I will see if I can make the statement work with KGen in a
new version.
Thanks,
On Fri, Aug 11, 2017 at 11:36 AM, John Wohlbier ***@***.***> wrote:
I am working on a code that uses a lot of "forall". KGen appears to have
difficulty with forall.
CRITICAL: Forall_Stmt: 'FORALL (i1 = i1s : i1e, i2 = i2s : i2e, i3 = i3s :
i3e) var%fr(i1,i2,i3,ifg) = sg%u(i1,i2,i3)'
The work around is to replace this with
var%fr(i1s:i1e,i2s:i2e,i3s:i3e,ifg)=sg%u(i1s:i1e,i2s:i2e,i3s:i3e)
but it would be nice if forall worked.
—
You are receiving this because you are subscribed to this thread.
Reply to this email directly, view it on GitHub
<#84>, or mute the thread
<https://github.com/notifications/unsubscribe-auth/AKkET7HCx65IoosyvYK031DW9jrqBpjMks5sXJENgaJpZM4O07xn>
.
I am working on a code that uses a lot of "forall". KGen appears to have difficulty with forall.
CRITICAL: Forall_Stmt: 'FORALL (i1 = i1s : i1e, i2 = i2s : i2e, i3 = i3s : i3e) var%fr(i1,i2,i3,ifg) = sg%u(i1,i2,i3)'
The work around is to replace this with
var%fr(i1s:i1e,i2s:i2e,i3s:i3e,ifg)=sg%u(i1s:i1e,i2s:i2e,i3s:i3e)
but it would be nice if forall worked.
The text was updated successfully, but these errors were encountered: