Project

General

Profile

Feature #9897

Develop tutorial

Added by Evgeny Novikov 16 days ago. Updated 15 days ago.

Status:
New
Priority:
Urgent
Category:
Documentation
Target version:
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

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

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

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

Actions
Blocked by Klever - Feature #8494: Process extended format of violation witnessesNew05/11/201707/02/2019

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

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

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

Actions
Blocked by Klever - Feature #9836: Collapse migrationsResolved09/25/2019

Actions
Blocked by Klever - Feature #9858: Support new verification jobs baseResolved10/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 solutionsResolved11/08/2019

Actions

History

#1

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days ago

#13

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 15 days 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.

#15

Updated by Evgeny Novikov 15 days ago

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

Updated by Evgeny Novikov 8 days ago

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

Updated by Evgeny Novikov 8 days ago

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

Updated by Evgeny Novikov 8 days ago

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

Also available in: Atom PDF