[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[task #15643] Add valgrind and patch to maneage
From: |
Boud Roukema |
Subject: |
[task #15643] Add valgrind and patch to maneage |
Date: |
Thu, 14 May 2020 22:51:07 -0400 (EDT) |
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:68.0) Gecko/20100101 Firefox/68.0 |
URL:
<https://savannah.nongnu.org/task/?15643>
Summary: Add valgrind and patch to maneage
Project: Reproducible paper template
Submitted by: boud
Submitted on: Fri 15 May 2020 02:51:05 AM UTC
Should Start On: Fri 15 May 2020 12:00:00 AM UTC
Should be Finished on: Fri 15 May 2020 12:00:00 AM UTC
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Percent Complete: 0%
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
Effort: 0.00
_______________________________________________________
Details:
The maneage branch at
https://codeberg.org/boud/maneage_dev/src/branch/add_valgrind
adds valgrind and patch. Many users will want _patch_ .
This is a branch from commit 96a299b by Raul on 6 May 2020.
Users who already know how to use _valgrind_ , or who are willing to learn how
to use it, will help to reduce the number of memory leaks in reproducible
packages provided within the `maneage` system. Valgrind also helps to trace
segmentation faults.
For more information about valgrind, see https://valgrind.org and
https://en.wikipedia.org/wiki/Valgrind .
_______________________________________________________
Reply to this item at:
<https://savannah.nongnu.org/task/?15643>
_______________________________________________
Message sent via Savannah
https://savannah.nongnu.org/
- [task #15643] Add valgrind and patch to maneage,
Boud Roukema <=
- [task #15643] Add valgrind and patch to maneage, Boud Roukema, 2020/05/14
- [task #15643] Add valgrind and patch to maneage, Mohammad Akhlaghi, 2020/05/15
- [task #15643] Add valgrind and patch to maneage, Mohammad Akhlaghi, 2020/05/15
- [task #15643] Add valgrind and patch to maneage, Raul Infante-Sainz, 2020/05/22
- [task #15643] Add valgrind and patch to maneage, Boud Roukema, 2020/05/22
- [task #15643] Add valgrind and patch to maneage, Raul Infante-Sainz, 2020/05/23
- [task #15643] Add valgrind and patch to maneage, Mohammad Akhlaghi, 2020/05/23