Feature #9897
closedDevelop tutorial
0%
Description
The corresponding task is mentioned here.
I consider this development as follows:- I will create an initial draft of the tutorial at Google Docs so that everybody will have an access for commenting it.
- During several weeks we will make necessary refinements.
- After all I will translate the tutorial from Google Docs to reStructuredText so that it will become a part of the built-in Klever documentation.
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9355: Suggest more user friendly configuration for program fragments and requirements added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9824: Get rid of auxiliary functions and their removing added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9825: Get rid of temporary variables and their removing added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9850: Specify exact versions for Python and its packages added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9610: Show actual Frama-C (CIL) failures added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #8494: Process extended format of violation witnesses added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9313: Introduce top level configuration options for processing verification results added
Updated by Evgeny Novikov about 5 years ago
- Blocked by deleted (Feature #9825: Get rid of temporary variables and their removing)
Updated by Evgeny Novikov about 5 years ago
- Blocked by deleted (Feature #9824: Get rid of auxiliary functions and their removing)
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9857: Rearrange verification jobs within presets added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #7458: Automatically update changed JavaScripts added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9836: Collapse migrations added
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9858: Support new verification jobs base added
Updated by Evgeny Novikov about 5 years ago
We discussed internally, that there is a small sense to develop the tutorial prior to implementing several highly influential things (marked as blocking issues), since we will need to update it quite soon many times after implementing them. Besides, this will frustrate users as they will see corresponding things differently each week.
PS: developing the tutorial for Klever 2.0 does not have any sense as well since it is a very old stable version that we will not support anymore in any way.
Updated by Evgeny Novikov about 5 years ago
- Blocked by Feature #9900: Support includes for requirements base added
Updated by Evgeny Novikov almost 5 years ago
- Related to Feature #9905: Allow to select code coverage kind when launching verification job solutions added
Updated by Evgeny Novikov almost 5 years ago
- Related to deleted (Feature #9905: Allow to select code coverage kind when launching verification job solutions)
Updated by Evgeny Novikov almost 5 years ago
- Blocked by Feature #9905: Allow to select code coverage kind when launching verification job solutions added
Updated by Evgeny Novikov over 4 years ago
The initial version of the Klever tutorial is available at https://docs.google.com/document/d/1GBYmVZgjk0e8R-KV4WkZeQ1YDqYhavjvoDTlDe_hbCQ/edit. Let's read it and discuss any issues.
Updated by Evgeny Novikov over 4 years ago
- Blocked by deleted (Feature #8494: Process extended format of violation witnesses)
Updated by Evgeny Novikov over 4 years ago
- Status changed from New to Closed
I translated the tutorial from Google Docs to reStructuredText in 51f4bf562 to master. So, it became a part of the official documentation and, thus, it should be updated in case of corresponding changes.