Project

General

Profile

Actions

Feature #10465

closed

Update Klever tutorial

Added by Evgeny Novikov over 3 years ago. Updated over 3 years ago.

Status:
Closed
Priority:
Urgent
Category:
Documentation
Target version:
Start date:
08/17/2020
Due date:
% Done:

0%

Estimated time:
Published in build:

Description

After numerous changes that already were implemented and that will be implemented soon, we need to update the Klever tutorial.


Related issues 3 (0 open3 closed)

Blocked by Klever - Feature #10460: Get rid of unclear parentheses when representing Safes, Unsafes and UnknownsClosedVladimir Gratinskiy08/11/202008/26/2020

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

Actions
Blocked by Klever - Feature #8119: Develop preset tagsClosedEvgeny Novikov10/21/2020

Actions
Actions #1

Updated by Evgeny Novikov over 3 years ago

  • Blocked by Feature #10460: Get rid of unclear parentheses when representing Safes, Unsafes and Unknowns added
Actions #2

Updated by Evgeny Novikov over 3 years ago

  • Blocks Feature #8494: Process extended format of violation witnesses added
Actions #3

Updated by Evgeny Novikov over 3 years ago

Actions #4

Updated by Evgeny Novikov over 3 years ago

  • Blocks deleted (Feature #8494: Process extended format of violation witnesses)
Actions #5

Updated by Evgeny Novikov over 3 years ago

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

Updated by Evgeny Novikov over 3 years ago

Actions #7

Updated by Evgeny Novikov over 3 years ago

Actions #8

Updated by Evgeny Novikov over 3 years ago

  • Status changed from New to Closed

I updated the tutorial in branch fix-tutorial that I merged to master in a9156744f. The updated tutorial is already available at https://klever.readthedocs.io/en/latest/tutorial.html.

Actions

Also available in: Atom PDF