Build #9 (Feb 22, 2023, 11:22:47 PM)

1. Simplify when-equations (details / githubweb)
2. Tick off roadmap item (details / githubweb)
3. No implicit initial x = pre(x) for when-equations (details / githubweb)
4. Tentative section on when-statements to support meeting discussions (details / githubweb)
5. Improve comments in listing (details / githubweb)
6. Don't simplify when-statements, and give rationale with example (details / githubweb)
7. Update differences.md (details / githubweb)
8. Fix case in external source location table header (details / githubweb)
9. Improvements based on today's web meeting discussions (details / githubweb)
10. Don't over-stress tool-specific nature of source location table (details / githubweb)
11. Make room for top level package annotation (details / githubweb)
12. Conclusion regarding which information to include in decorations (details / githubweb)
13. Fix typo (details / githubweb)
14. Extend grammar with source location decorations (details / githubweb)

Pull request #3295 updated at 11:22:32 PM on Feb 22, 2023

• PR-3295