Detailed when

[HansOlsson]

Closes #3499
Closes #3498

[henrikt-ma]

In addition to other suggestions, I'd like to get rid of this non-normative text, now that we have clearly defined that it is not allowed:

\begin{nonnormative}
Comment: The semantics are undefined if the function call of an
impure function is part of an algebraic loop.
\end{nonnormative}

[HansOlsson]

Phone meeting:
Hans:

If we want to have names:

1. Initialization, with additional variables (pre(v) as unknown and x for states) and additional equations (initial equations etc).
2. (Initial) Event iteration; iteration procedure at initial event
3. Start of continuous integration
   But probably no need to add.

[henrikt-ma]

The request to remove obsolete text in #3532 (review) is still not addressed. Apart from that, it looks OK.

[henrikt-ma]

Same as last time:

The request to remove obsolete text in #3532 (review) is still not addressed. Apart from that, it looks OK.

If there is a reason why this text shouldn't be considered obsolete, please explain.

[HansOlsson]

Same as last time:

The request to remove obsolete text in #3532 (review) is still not addressed. Apart from that, it looks OK.

If there is a reason why this text shouldn't be considered obsolete, please explain.

There are several reasons to keep that:

1. It wasn't part of PR - this constant scope creep of blocking PR for parts that aren't in the PR needs to stop.
2. Since there are ways of circumventing the purity-check it is possible to call an impure function in a system of equations without it being an error.

[HansOlsson]

Pinging for reviews after holidays.

[henrikt-ma]

• It wasn't part of PR - this constant scope creep of blocking PR for parts that aren't in the PR needs to stop.

It is related to this PR, as this PR is introducing this rule that looks crystal clear to me:

It is an error if an impure function call is part of a systems of equations (including linear systems), even if called in agreement with the restrictions above.

[HansOlsson]

• It wasn't part of PR - this constant scope creep of blocking PR for parts that aren't in the PR needs to stop.

It is related to this PR, as this PR is introducing this rule that looks crystal clear to me:

It is an error if an impure function call is part of a systems of equations (including linear systems), even if called in agreement with the restrictions above.

I have opened a different PR #3571 to clarify that, since as previously stated it is an unrelated issue.

[eshmoylova]

Checking with the initialization team for any feedback.

[eshmoylova]

Changes look good overall. Just requesting a typo fix.

Other text is part of a separate PR