Project

General

Profile

Actions
Copy link

Feature #9897

closed

Develop tutorial

Added by Evgeny Novikov about 5 years ago. Updated over 4 years ago.

Status:
Closed
Priority:
Urgent
Assignee:
Evgeny Novikov
Category:
Documentation
Target version:
3.0
Start date:
10/30/2019
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

The corresponding task is mentioned here.

I consider this development as follows:
  1. I will create an initial draft of the tutorial at Google Docs so that everybody will have an access for commenting it.
  2. During several weeks we will make necessary refinements.
  3. 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.

Related issues 10 (0 open — 10 closed)

Blocked by Klever - Feature #9355: Suggest more user friendly configuration for program fragments and requirementsClosedEvgeny Novikov10/29/2018

Actions
Blocked by Klever - Feature #9850: Specify exact versions for Python and its packagesClosedEvgeny Novikov10/06/2019

Actions
Blocked by Klever - Feature #9610: Show actual Frama-C (CIL) failuresClosedEvgeny Novikov04/19/2019

Actions
Blocked by Klever - Feature #9313: Introduce top level configuration options for processing verification resultsClosedEvgeny Novikov10/08/2018

Actions
Blocked by Klever - Feature #9857: Rearrange verification jobs within presetsClosedVladimir Gratinskiy10/10/2019

Actions
Blocked by Klever - Feature #7458: Automatically update changed JavaScriptsClosedVladimir Gratinskiy08/09/2016

Actions
Blocked by Klever - Feature #9836: Collapse migrationsClosedVladimir Gratinskiy09/25/201903/05/2020

Actions
Blocked by Klever - Feature #9858: Support new verification jobs baseClosedVladimir Gratinskiy10/10/2019

Actions
Blocked by Klever - Feature #9900: Support includes for requirements baseRejected11/01/2019

Actions
Blocked by Klever - Feature #9905: Allow to select code coverage kind when launching verification job solutionsClosedEvgeny Novikov11/08/2019

Actions
Actions
Copy link
 #1

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9355: Suggest more user friendly configuration for program fragments and requirements added
Actions
Copy link
 #2

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9824: Get rid of auxiliary functions and their removing added
Actions
Copy link
 #3

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9825: Get rid of temporary variables and their removing added
Actions
Copy link
 #4

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9850: Specify exact versions for Python and its packages added
Actions
Copy link
 #5

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9610: Show actual Frama-C (CIL) failures added
Actions
Copy link
 #6

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #8494: Process extended format of violation witnesses added
Actions
Copy link
 #7

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9313: Introduce top level configuration options for processing verification results added
Actions
Copy link
 #8

Updated by Evgeny Novikov about 5 years ago

  • Blocked by deleted (Feature #9825: Get rid of temporary variables and their removing)
Actions
Copy link
 #9

Updated by Evgeny Novikov about 5 years ago

  • Blocked by deleted (Feature #9824: Get rid of auxiliary functions and their removing)
Actions
Copy link
 #10

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9857: Rearrange verification jobs within presets added
Actions
Copy link
 #11

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #7458: Automatically update changed JavaScripts added
Actions
Copy link
 #12

Updated by Evgeny Novikov about 5 years ago

Actions
Copy link
 #13

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9858: Support new verification jobs base added
Actions
Copy link
 #14

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.

Actions
Copy link
 #15

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9900: Support includes for requirements base added
Actions
Copy link
 #16

Updated by Evgeny Novikov about 5 years ago

  • Related to Feature #9905: Allow to select code coverage kind when launching verification job solutions added
Actions
Copy link
 #17

Updated by Evgeny Novikov about 5 years ago

  • Related to deleted (Feature #9905: Allow to select code coverage kind when launching verification job solutions)
Actions
Copy link
 #18

Updated by Evgeny Novikov about 5 years ago

  • Blocked by Feature #9905: Allow to select code coverage kind when launching verification job solutions added
Actions
Copy link
 #19

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.

Actions
Copy link
 #20

Updated by Evgeny Novikov over 4 years ago

  • Blocked by deleted (Feature #8494: Process extended format of violation witnesses)
Actions
Copy link
 #21

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.

Actions
Copy link

Also available in: Atom PDF