... | ... | @@ -4,13 +4,13 @@ With TeSSLa we want to develop a mighty and easy-to-use Runtime Verification and |
|
|
|
|
|
## Further plans and ideas
|
|
|
|
|
|
![overview](uploads/90cd1c2ec282104998fa0e594dd72d0c/overview.png)
|
|
|
![overview](uploads/9296cff8b1f33ec18ceebe6347749e49/overview.png)
|
|
|
|
|
|
The figure above contains tools and compiler features which shall be included into the TeSSLa Toolsuite, based on TeSSLa v.1.2.3 (under development). The bold features are currently under development or development will start soon.
|
|
|
|
|
|
## Development Schedule
|
|
|
## Development Schedule (as of January 2023)
|
|
|
|
|
|
![gantt](uploads/4d66ba2c23a317c9024cbd112a64ba87/gantt.png)
|
|
|
![gantt](uploads/faf5b0b08f5c9c280b1a0789bc4e1e96/gantt.png)
|
|
|
|
|
|
The chart above visualizes the development schedule for the current half year.
|
|
|
|
... | ... | |