Computer-Aided Program Development Group

RelView

RelView version 8.2 has been released. This is a minor release incorporating a handful of bug fixes and some new features. Some changes are listed below:

  • Expansion of the drawing area during EPS-Export 
  • PDF Export available (uses GhostScript and EPS2PDF Script by Thomas Esser)
  • Node limit can now be specified, to prevent long calculation during graph rendering
  • Enabling/disabling of windows when relation- or graph node limit was reached

Due to the RelView Update some changes were made to the Kure plug-in:

  • Dimension check for "equals" and "includes" functions
  • Wrong behavior of cardfilter function is fixed
  • Reimplemented the calculation of BDD minterms

All listed plugins are now compatible to the new RelView 8.2 version. The graphDrawing layer algorithm is fixed. Now helper nodes are displayed again.

 

How to install RelView 8.2 on an Linux machine

  1. Install the dependencies. You'll need the following tools:

    You can install them on Ubuntu by using the package manager and the following command:

    sudo apt-get install liblua5.1-0-dev liblua50-dev liblualib50-dev lua5.1 libgmp3-dev glib-2.0 libglade2-0 pango-1.0 libxml2 libxml2-dev libcairo2-dev libgdk-pixbuf2.0-0 gtk+-2.0

  2. Download the install script.
  3. Open the directory you have downloaded the script into in your terminal.
  4. Type chmod +x relviewInstall.sh to make the script executable.
  5. Run the script using ./relviewInstall.sh <PathToInstallationFolder>
    Note: the <PathToInstallationFolder> is required and RelView will be installed in this folder. If the folder requires root access, you should run the command above as super-user: sudo ./relviewInstall.sh <PathToInstallationFolder>
  6. RelView is now installed in <PathToInstallationFolder>/relview/bin and its executable is the file relview-bin.

 

How to install the ArchLinux virtual machine running RelView 8.2

  1. Download and install VMWare Player.
  2. Download the virtual machine.
  3. Run VMWare Player and open the virtual machine.
  4. Once you started the machine, a pop-up will appear. Press 'I Moved It'.
  5. Login to the machine by using

    Username: rv Password: relview

  6. Query your IP address by using the following command:

    ip addr show dev eno16777736

  7. Login via ssh by using the following command (and the address from step 6):

    ssh -X rv@ipaddress

  8. Type relview to start the RelView system.

 

Functions und Documentation

The list of base functions is avalaible here. Additional information is available here and here.