Differences
This shows you the differences between two versions of the page.
| Both sides previous revisionPrevious revision | |||
| history:start [2026/05/20 11:13] – [Features in the toolset] rajit | history:start [2026/05/20 11:15] (current) – [The core language] rajit | ||
|---|---|---|---|
| Line 75: | Line 75: | ||
| * 11/2018: implementation relation introduced | * 11/2018: implementation relation introduced | ||
| - | * 3/2019: added timing forks to the '' | + | * 3/2019: added timing forks to the specification |
| * 6/2019: added refinement support | * 6/2019: added refinement support | ||
| * 6/2020: added sizing sub-language | * 6/2020: added sizing sub-language | ||