[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#966204: marked as done (ITP: relacy -- meticulous synchronization algorithm verifier for relaxed memory models)

Your message dated Thu, 06 Aug 2020 10:00:41 +0000
with message-id <E1k3chV-000AiF-7i@fasolo.debian.org>
and subject line Bug#966204: fixed in relacy 0.0+git20191025.acc09bb-1
has caused the Debian Bug report #966204,
regarding ITP: relacy -- meticulous synchronization algorithm verifier for relaxed memory models
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
966204: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=966204
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist

Subject: ITP: relacy -- meticulous synchronization algorithm verifier for relaxed memory models
Package: wnpp
Owner: Shayan Doust <hello@shayandoust.me>
Severity: wishlist

* Package name    : relacy
  Version         : 0.0+git20191025.acc09bb
  Upstream Author : Dmitry S. Vyukov
* URL             : https://github.com/dvyukov/relacy
* License         : BSD-3-Clause
  Programming Lang: C
  Description     : meticulous synchronization algorithm verifier for relaxed memory models
 Relacy Race Detector is a tool for efficient execution of unit tests for
 synchronization algorithms written in C++0x. Every user thread is
 represented as a fiber (ucontext). Every time only one fiber is running,
 and special scheduler controls interleaving between fibers. With random
 scheduler it just executes numerous amount of various interleavings
 between threads. With full search scheduler or context-bound scheduler
 it systematically executes all possible interleavings between threads.
 While executing particular interleaving it makes exhaustive verification
 of various aspects of execution (races, accesses to freed memory etc).
 .
 If no errors found then verification terminates when particular number
 of interleavings are verified (for random scheduler), or when all
 possible interleavings are verified (for full search scheduler). If
 error is found then tool outputs execution history which leads to error
 and terminates. Physically Relacy Race Detector is a header-only library
 for C++98.

Remark: This package is maintained by Debian Med Packaging Team at
   https://salsa.debian.org/med-team/relacy

--- End Message ---
--- Begin Message --- 
Source: relacy
Source-Version: 0.0+git20191025.acc09bb-1
Done: Shayan Doust <hello@shayandoust.me>

We believe that the bug you reported is fixed in the latest version of
relacy, which is due to be installed in the Debian FTP archive.

A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 966204@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Shayan Doust <hello@shayandoust.me> (supplier of updated relacy package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@ftp-master.debian.org)


-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA256

Format: 1.8
Date: Sat, 25 Jul 2020 19:19:20 +0000
Source: relacy
Binary: relacy-dev
Architecture: source all
Version: 0.0+git20191025.acc09bb-1
Distribution: unstable
Urgency: medium
Maintainer: Debian Med Packaging Team <debian-med-packaging@lists.alioth.debian.org>
Changed-By: Shayan Doust <hello@shayandoust.me>
Description:
 relacy-dev - meticulous synchronization algorithm verifier for relaxed memory
Closes: 966204
Changes:
 relacy (0.0+git20191025.acc09bb-1) unstable; urgency=medium
 .
   * Initial release (Closes: #966204)
Checksums-Sha1:
 269f677a2f7d48751cede43b3f86dadb8db02a83 2048 relacy_0.0+git20191025.acc09bb-1.dsc
 6b9d454cb5acaae5368c2c69af7d719cb4107523 89744 relacy_0.0+git20191025.acc09bb.orig.tar.xz
 408af6df8a8a88c707a33c20d3d25d4841ff97b9 2532 relacy_0.0+git20191025.acc09bb-1.debian.tar.xz
 4c09512a6c42a21406a39108bee82aaf8994c247 47676 relacy-dev_0.0+git20191025.acc09bb-1_all.deb
 78a0d1c35543e2b9a20f61ab53e30548abd49c86 5586 relacy_0.0+git20191025.acc09bb-1_amd64.buildinfo
Checksums-Sha256:
 ef9c3e6b4ed2705b97056d5089b43633b414b72159049f3d4b07ad51d5e0f80f 2048 relacy_0.0+git20191025.acc09bb-1.dsc
 5ec12eaf002783b8fe01fd15dcff018b092bbd2e5ecb764d511d93325182ecc5 89744 relacy_0.0+git20191025.acc09bb.orig.tar.xz
 33ca04ea4b76e6b744737a5be32f7505a90e198b90132b9554617ff57f7d5d79 2532 relacy_0.0+git20191025.acc09bb-1.debian.tar.xz
 8221048b52db32ab5beb80851176a277acce5229a3050807fcc7910084dbbea0 47676 relacy-dev_0.0+git20191025.acc09bb-1_all.deb
 b9ecea6aeb94df973c205d7a62c80e9108cb3ab08f22df7377b20304096da4b9 5586 relacy_0.0+git20191025.acc09bb-1_amd64.buildinfo
Files:
 9c56d7f3aa3e01c461d711d781f0a028 2048 science optional relacy_0.0+git20191025.acc09bb-1.dsc
 5561873cb27e8b852cca03eb23beb5fa 89744 science optional relacy_0.0+git20191025.acc09bb.orig.tar.xz
 31e5d9e92aa58dea2f1ffce20fac57fb 2532 science optional relacy_0.0+git20191025.acc09bb-1.debian.tar.xz
 47b90d06e6cbcd1064dda80e4d2f34eb 47676 libdevel optional relacy-dev_0.0+git20191025.acc09bb-1_all.deb
 cdc4ee37e1e577b3a75ffc04334eea17 5586 science optional relacy_0.0+git20191025.acc09bb-1_amd64.buildinfo

-----BEGIN PGP SIGNATURE-----

iQJFBAEBCAAvFiEE8fAHMgoDVUHwpmPKV4oElNHGRtEFAl8cq2cRHHRpbGxlQGRl
Ymlhbi5vcmcACgkQV4oElNHGRtHMJg//ekcWtwlodV3hbLxg7DysP5Mnm0TmTSHJ
Ndx8mdHhi+fexok8lgm/LLIO+iLAodnquoZVrdD1tnDmV1i2V8lWWHFh/WBHUuM4
fArz6WV1K+Jbk+/kWAltqhL0HVnKCCejwr4XOO4JsHrmbiSOTSXWTCGTWxqFAmo2
bW5Q4o7F1dC1n7DV5cPRcbz7ruIGiBlPHBHS8ynVIMfA/OHGoYYT3Qi9EvWZDDFb
+/WFzf150H9o6JaDpsbLG2JABAzu2EIXwnIxxIN2w9hRhW6qauZR15tGh4QJP3eQ
R/FzTD53CE4bgD0CaIBUczxrhFakUNck84GXj7APJd867VplGbo2dgv7ScgUqM03
cNjpFGtIEp/nG5mh2YhM0jy7uPCxCCb2vrQ2OsuwHK3BVSpEbvvZSLNvkrIaod2C
O9ZH77bJNEDC9FczukUC3UODWRvX/kMFHf/j1ksn9Zx3ABGGOsR2kGvcAfSLsRFX
b18TBIHwnSTFZKERc7Gp9zFD0nvTOK2xbZQjuicNkuBFQL92jNoCWT59GajS9Qi6
gB2IgOW15Znq9yUbrorJZOyb3wUw1g9MF4CcPg/2wKcAjlt1+v5wWvmJYZTAU4Yg
Wiv/Q5GiYw9yt4hWvAhxP/ieIkPrPf4AN5BLHbFnhs6XD0y6yu00WhwGjFcUDATP
H47DYAI4Wb8=
=E9zf
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: