[Bug 486757] New: Review Request: divine-mc - Multi-core model checking system for proving specifications
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: divine-mc - Multi-core model checking system for proving specifications
https://bugzilla.redhat.com/show_bug.cgi?id=486757
Summary: Review Request: divine-mc - Multi-core model checking
system for proving specifications
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: dwheeler(a)dwheeler.com
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com, fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
Spec URL: http://www.dwheeler.com/divine-mc.spec
SRPM URL: http://www.dwheeler.com/divine-mc-1.3-1.fc10.src.rpm
Description:
DiVinE Multi-Core (MC) is a parallel shared-memory enumerative model-checking
tool for verification of concurrent systems. The tool can employ the full
power of modern 64-bit multi-core architectures.
It can be used to prove correctness of verification models as
well as to detect early design errors.
Any model-checking tool, such as DiViNe MC, accepts system requirements or
design (called models) and a property (called specification) that the final
system is expected to satisfy. The tool then outputs yes if the given
model satisfies given specifications, and generates a counterexample
otherwise. The counterexample details why the model doesn't satisfy
the specification.
DiViNe MC is based on automata-theoretic approach to
linear temporal logics (LTL) model checking.
The input language allows for specification of processes in terms of
extended finite automata and the verified system is then obtained as
an asynchronous parallel composition of these processes.
In the current DiVinE Multi-Core release, input is provided in DVE format --
an industry-strength specification language, as used in original
DiVinE, with plenty of diverse example models, ranging from simple toys
to complex real-world models. An extensive model database is available
at BEEM database.
Moreover, DiVinE can read models specified in ProMeLa (as used in the SPIN
tool), in addition to its native DVE format. However, the capabilities of
the tool on ProMeLa models is currently limited by inability to produce
counterexamples: you can only obtain a yes/no answer.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
13 years, 4 months
[Bug 165572] Review Request: perl-Devel-StackTrace
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
https://bugzilla.redhat.com/show_bug.cgi?id=165572
Paul Howarth <paul(a)city-fan.org> changed:
What |Removed |Added
----------------------------------------------------------------------------
CC| |paul(a)city-fan.org
Flag|fedora-cvs+ |fedora-cvs?
--- Comment #8 from Paul Howarth <paul(a)city-fan.org> 2011-02-18 16:08:33 EST ---
Package Change Request
======================
Package Name: perl-Devel-StackTrace
New Branches: el4
Owners: pghmcfc
InitialCC: perl-sig
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
13 years, 4 months
[Bug 669311] New: Review Request: <main package name here> - <short summary here>
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: <main package name here> - <short summary here>
https://bugzilla.redhat.com/show_bug.cgi?id=669311
Summary: Review Request: <main package name here> - <short
summary here>
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: medium
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: pavel(a)zhukoff.net
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com, fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
Spec URL: http://landgraf.fedorapeople.org/packages/requested/mupdf/mupdf.spec
SRPM URL:
http://landgraf.fedorapeople.org/packages/requested/mupdf/mupdf-0.7-1.fc1...
mock: ok
koji: none because depends on https://bugzilla.redhat.com/668959
Description:
MuPDF is a lightweight PDF viewer and toolkit written in portable C.
The renderer in MuPDF is tailored for high quality anti-aliased
graphics. MuPDF renders text with metrics and spacing accurate to
within fractions of a pixel for the highest fidelity in reproducing
the look of a printed page on screen.
MuPDF has a small footprint. A binary that includes the standard
Roman fonts is only one megabyte. A build with full CJK support
(including an Asian font) is approximately five megabytes.
MuPDF has support for all non-interactive PDF 1.7 features, and the
toolkit provides a simple API for accessing the internal structures of
the PDF document. Example code for navigating interactive links and
bookmarks, encrypting PDF files, extracting fonts, images, and
searchable text, and rendering pages to image files is provided.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
13 years, 4 months
[Bug 590305] New: Review Request: vile - VI Like Emacs
by Red Hat Bugzilla
Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.
Summary: Review Request: vile - VI Like Emacs
https://bugzilla.redhat.com/show_bug.cgi?id=590305
Summary: Review Request: vile - VI Like Emacs
Product: Fedora
Version: rawhide
Platform: All
OS/Version: Linux
Status: NEW
Severity: medium
Priority: low
Component: Package Review
AssignedTo: nobody(a)fedoraproject.org
ReportedBy: mmckinst(a)nexcess.net
QAContact: extras-qa(a)fedoraproject.org
CC: notting(a)redhat.com, fedora-package-review(a)redhat.com
Estimated Hours: 0.0
Classification: Fedora
I have another package at bug id 586473.
Spec URL: http://mmckinst.nexcess.net/vile/vile.spec
SRPM URL: http://mmckinst.nexcess.net/vile/vile-9.7zc-1.fc12.src.rpm
Description: Vile is a text editor which is extremely compatible with vi in
terms
of "finger feel". In addition, it has extended capabilities in many areas,
notably multi-file editing and viewing, syntax highlighting, and key rebinding.
$ rpmlint vile.spec
vile.spec: W: invalid-url Source0:
ftp://invisible-island.net/vile/current/vile-9.7zc.tgz <urlopen error ftp
error: timed out>
0 packages and 1 specfiles checked; 0 errors, 1 warnings.
$ rpmlint vile-9.7zc-1.fc12.src.rpm
vile.src: W: spelling-error %description -l en_US multi -> Miltie, Milt, milt
vile.src: W: invalid-url Source0:
ftp://invisible-island.net/vile/current/vile-9.7zc.tgz <urlopen error ftp
error: timed out>
1 packages and 0 specfiles checked; 0 errors, 2 warnings.
$
The invalid-url error comes because the FTP server is a little slow and times
out. If you wget it, it will work fine.
--
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.
13 years, 4 months