undertaker-1.2-7-rosa2014.1.x86_64.rpm


Advertisement

Description

undertaker - Software configuration variability verifier

Property Value
Distribution ROSA 2014.1
Repository ROSA Contrib x86_64
Package name undertaker
Package version 1.2
Package release 7-rosa2014.1
Package architecture x86_64
Package type rpm
Installed size 871.80 KB
Download size 230.69 KB
Official Mirror mirror.rosalab.ru
Topic of the project is variability of system software evoked by the
non-functional properties of operating-system functions, which emerges from
(a) different implementations of the same system function to make an
appearance of certain non-functional properties and
(b) the using level of those implementations in order to compensate for
effects of these properties.
With this project, the undertaker, we provide tools to examine and evaluate
CPP based source files. See
http://www4.informatik.uni-erlangen.de/Research/VAMOS/publications.shtml for
a list of publications.

Alternatives

Package Version Architecture Repository
undertaker-1.2-7-rosa2014.1.i586.rpm 1.2 i586 ROSA Contrib
undertaker - - -

Requires

Name Value
libboost_filesystem.so.1.55.0()(64bit) -
libboost_regex.so.1.55.0()(64bit) -
libboost_system.so.1.55.0()(64bit) -
libboost_wave.so.1.55.0()(64bit) -
libc.so.6()(64bit) -
libc.so.6(GLIBC_2.14)(64bit) -
libc.so.6(GLIBC_2.2.5)(64bit) -
libc.so.6(GLIBC_2.3)(64bit) -
libc.so.6(GLIBC_2.3.4)(64bit) -
libc.so.6(GLIBC_2.4)(64bit) -
libgcc_s.so.1()(64bit) -
libgcc_s.so.1(GCC_3.0)(64bit) -
libm.so.6()(64bit) -
libpicosat.so.1()(64bit) -
libpthread.so.0(GLIBC_2.2.5)(64bit) -
libstdc++.so.6()(64bit) -
libstdc++.so.6(CXXABI_1.3)(64bit) -
libstdc++.so.6(GLIBCXX_3.4)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.11)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.15)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.20)(64bit) -
libstdc++.so.6(GLIBCXX_3.4.9)(64bit) -
python(abi) == 2.7

Provides

Name Value
pythonegg(undertaker) == 1.2
undertaker == 1.2-7:2014.1

Download

Type URL
Binary Package undertaker-1.2-7-rosa2014.1.x86_64.rpm
Source Package undertaker-1.2-7.src.rpm

Install Howto

  1. Enable ROSA Contrib repository on Install and Remove Software
  2. Update packages list:
    # urpmi.update -a
  3. Install undertaker rpm package:
    # urpmi undertaker

Files

Path
/usr/bin/rsf2model
/usr/bin/undertaker
/usr/bin/undertaker-calc-coverage
/usr/bin/undertaker-kconfigdump
/usr/bin/undertaker-linux-tree
/usr/bin/zizler
/usr/lib/python2.7/site-packages/undertaker-1.2-py2.7.egg-info
/usr/lib/python2.7/site-packages/undertaker/BoolRewriter.py
/usr/lib/python2.7/site-packages/undertaker/RsfReader.py
/usr/lib/python2.7/site-packages/undertaker/TranslatedModel.py
/usr/lib/python2.7/site-packages/undertaker/__init__.py
/usr/lib/python2.7/site-packages/undertaker/tools.py
/usr/lib64/undertaker/dumpconf
/usr/lib64/undertaker/rsf2model
/usr/lib64/undertaker/undertaker-scan-head
/usr/share/man/man1/undertaker-kconfigdump.1.xz
/usr/share/man/man1/undertaker-linux-tree.1.xz
/usr/share/man/man1/undertaker.1.xz

Changelog

2014-07-25 - Denis Silakov <denis.silakov@rosalab.ru> 1.2-7
+ Revision: 172f5c5
- MassBuild#464: Increase release tag

See Also

Package Description
undertaker-emacs-1.2-7-rosa2014.1.x86_64.rpm Emacs mode for undertaker, a variability verifier
unetbootin-0-3.581-rosa2014.1.x86_64.rpm Create bootable Live USB drives for a variety of Linux distributions
unfs3-0.9.22-4-rosa2014.1.x86_64.rpm UNFS3 user-space NFSv3 server
ungifsicle-1.58-5-rosa2014.1.x86_64.rpm Powerful program for manipulating GIF images and animations
unhide-20110113-2-rosa2014.1.x86_64.rpm Tool to find hidden processes and TCP/UDP ports from rootkits
uniconvertor-1.1.5-5-rosa2014.1.x86_64.rpm Universal vector graphics translator
unignuplot-2.0-9-rosa2014.1.noarch.rpm Simplify the command line interface with GNUPlot
unimrcp-1.0.0-3-rosa2014.1.x86_64.rpm Media Resource Control Protocol Stack
unison-2.40.102-2-rosa2014.1.x86_64.rpm File-synchronization tool for Unix and Windows
unity-asset-pool-0.8.23-2-rosa2014.1.noarch.rpm Pool of assets for Unity (icons)
unix2dos-2.2-11-rosa2014.1.x86_64.rpm Unix2dos - UNIX to DOS text file format converter
unixcw-3.1.1-1-rosa2014.1.x86_64.rpm Shared library for Morse programs
unknown-horizons-2013.2-2-rosa2014.1.noarch.rpm A popular economy and city building 2D RTS game
unknown-horizons-data-2013.2-2-rosa2014.1.noarch.rpm Games data for the unknown-horizons game
unpackssi-20030612-2-rosa2014.1.x86_64.rpm .SSI File Unpacker
Advertisement
Advertisement