... | ... | @@ -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/9296cff8b1f33ec18ceebe6347749e49/overview.png)
|
|
|
![overview](uploads/ca23f4924610f2f748c0afe0b01d1faf/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.
|
|
|
The figure above contains tools and compiler features which shall be included into the TeSSLa Toolsuite, based on TeSSLa v.2.0.0. The features with a tick were recently added. The other bold features are currently under development or development will start soon.
|
|
|
|
|
|
## Development Schedule (as of January 2023)
|
|
|
## Development Schedule (as of June 2023)
|
|
|
|
|
|
![gantt](uploads/faf5b0b08f5c9c280b1a0789bc4e1e96/gantt.png)
|
|
|
![gantt](uploads/711413991c138c59508ff10e8239ca67/gantt.png)
|
|
|
|
|
|
The chart above visualizes the development schedule for the current half year.
|
|
|
|
... | ... | @@ -18,4 +18,4 @@ The chart above visualizes the development schedule for the current half year. |
|
|
|
|
|
If you have further ideas for the TeSSLa project please mail them to the [TeSSLa Developer Team](mailto:info@tessla.io).
|
|
|
|
|
|
If you want to participate in developing TeSSLa also feel free to contact the [TeSSLa Developer Team](mailto:info@tessla.io) to get permissions to push on this GitLab. |
|
|
\ No newline at end of file |
|
|
If you want to participate in developing TeSSLa also feel free to contact the [TeSSLa Developer Team](mailto:info@tessla.io) to get permission to push on this GitLab. |
|
|
\ No newline at end of file |