Project

General

Profile

Feature #10465

Update Klever tutorial

Added by Evgeny Novikov 5 months ago. Updated 30 days 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

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

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

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

Actions

History

#1

Updated by Evgeny Novikov 5 months ago

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

Updated by Evgeny Novikov 5 months ago

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

Updated by Evgeny Novikov 3 months ago

#4

Updated by Evgeny Novikov 2 months ago

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

Updated by Evgeny Novikov 2 months ago

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

Updated by Evgeny Novikov 2 months ago

#7

Updated by Evgeny Novikov 2 months ago

#8

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

Also available in: Atom PDF