Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. No implicit initial x = pre(x) for when-equations (details)
  2. Tentative section on when-statements to support meeting discussions (details)
Commit 44d7b4bf1a7cbd6d4d6c3622f1a0e63732222813 by Tidefelt Henrik
No implicit initial x = pre(x) for when-equations
The file was modified RationaleMCP/0031/differences.md (diff)
Commit 51467e11753008236d8c41db13ed1525c51fb10d by Tidefelt Henrik
Tentative section on when-statements to support meeting discussions
The file was modified RationaleMCP/0031/differences.md (diff)