Project

General

Profile

Actions
Copy link

Bug #10104

open

Wiki documentation errata

Added by Nikita Chertok almost 5 years ago. Updated almost 5 years ago.

Status:
Open
Priority:
Normal
Assignee:
Sergey Smolov
Category:
Documentation
Target version:
1.1
Start date:
02/07/2020
Due date:
% Done:

100%

Estimated time:
Detected in build:
master
Platform:
Published in build:

Description

Typos:
  1. Wiki/Command Line Options, Targets:
    1. "Every entity which representation is included into Retrascope is stronlge connected with the tool component called "engine"."
  2. Wiki/Command Line Options, SMT solver debug mode:
    1. Broken link to the Fortress
  3. Wiki/Overview:
    1. Fix line breaks for
      "Models are based on the HDL code and can either be extracted ..."
      "Engines are shown as black round nodes, models are shown as rectangles and artifacts are shown as elliptic nodes."
      "Two components can be combined if one of them returns an entity of some type and the other takes this entity as input."
Suggestions:
  1. Wiki/Getting Started, Command Line Interface:
    1. Add a graphic legend to the dependency graph (as a complement to text)

Files

Download all files
Retrascope_graph.xml (3.5 KB) Retrascope_graph.xml Dependency graph in Draw.io Nikita Chertok, 02/12/2020 08:09 PM
Retrascope.png (95.5 KB) Retrascope.png Dependency graph Nikita Chertok, 02/12/2020 08:09 PM
Actions
Copy link
 #1

Updated by Sergey Smolov almost 5 years ago

  • Status changed from New to Open
Actions
Copy link
 #2

Updated by Sergey Smolov almost 5 years ago

  • Status changed from Open to Resolved
  • % Done changed from 0 to 100
Actions
Copy link
 #3

Updated by Sergey Smolov almost 5 years ago

  • Subject changed from Documentation errata to Wiki documentation errata
Actions
Copy link
 #4

Updated by Sergey Smolov almost 5 years ago

  • Status changed from Resolved to Open
Actions
Copy link
 #5

Updated by Nikita Chertok almost 5 years ago

Typos:
  1. Wiki/Installation Guide:
    1. Broken link to Python Interpreter
    2. Broken link to Command line options
Suggestions:
  1. Wiki/Installation Guide:
    1. If it is possible to use Retrascope with newer version of Z3 (newer than 4.3, current is 4.8.7), specify it.
    2. Add link to forge build page for downloading Retrascope.
    3. Add a one-line Command Line example, running which the user will make sure the installation is successful.
    4. Add "whats next" section with links like:
      1. "For quick overview of common use cases see Getting Started"
      2. "For detailed description of Retrascope see Command Line Options"
      3. Other useful links to documentation
Actions
Copy link
 #6

Updated by Sergey Smolov almost 5 years ago

Fixed. Thanks for the contribution!

Actions
Copy link Download all files
 #7

Updated by Nikita Chertok almost 5 years ago

Suggestions:
  1. Wiki/Getting started
    1. Reworked dependency graph image to make it more readable (files in attachment in png and xml for Draw.io)
Actions
Copy link
 #8

Updated by Sergey Smolov almost 5 years ago

Figure is updated.

Actions
Copy link
 #9

Updated by Sergey Smolov almost 5 years ago

  • Assignee changed from Sergey Smolov to Mikhail Lebedev
  • Detected in build changed from svn to master
Wiki/Command Line Options/Engine-specific options
  1. check-method option allows not only "bmc" and "bdd", but "psl-bmc" also. Please provide the full list of acceptable values for this option.
  2. formula-based option is not documented.
  3. spec-file option is not documented.
  4. smv-file option is not documented.
  5. collect-usedef option is not documented.
Actions
Copy link
 #10

Updated by Mikhail Lebedev almost 5 years ago

Model checking-based options fixed.

Actions
Copy link
 #11

Updated by Mikhail Lebedev almost 5 years ago

  • Assignee changed from Mikhail Lebedev to Sergey Smolov

Wiki/Command Line Options
There are no "cgaa" and "clocked guarded atomic actions" in the project anymore. Engine names and descriptions need to be fixed.

Actions
Copy link
 #12

Updated by Sergey Smolov almost 5 years ago

Fixed.

Actions
Copy link
 #13

Updated by Sergey Smolov almost 5 years ago

Command Line Options
Mark obligatory options.

Actions
Copy link

Also available in: Atom PDF