From 028c9ec1af29c5fe091792edad042e5cf09661c0 Mon Sep 17 00:00:00 2001
From: Easy Build <easybuild@login4.smc.salomon.it4i.cz>
Date: Wed, 20 Dec 2017 14:45:04 +0100
Subject: [PATCH] Wed, 20 Dec 2017 14:45:04 +0100

---
 salomon.csv | 1 -
 salomon.md  | 4 ++--
 2 files changed, 2 insertions(+), 3 deletions(-)

diff --git a/salomon.csv b/salomon.csv
index 1d3214cb..34dc5b86 100644
--- a/salomon.csv
+++ b/salomon.csv
@@ -225,7 +225,6 @@ PerformanceReports/5.1-43967,2
 PerformanceReports/6.0.6,2
 PerformanceReports/7.0.6,2
 PerformanceReports/7.1,2
-TotalView/8.15.4-6-linux-x86-64,2
 Valgrind/3.11.0-foss-2015b,2
 Valgrind/3.11.0-intel-2015b,2
 aislinn/20160105-Python-2.7.9-gompi-2015e,2
diff --git a/salomon.md b/salomon.md
index 11207641..1d9febc3 100644
--- a/salomon.md
+++ b/salomon.md
@@ -95,8 +95,8 @@
 
 | Module | Description |
 | ------ | ----------- |
-| aislinn | &nbsp; |
-| DDT | &nbsp; |
+| [aislinn](https://github.com/spirali/aislinn) | Aislinn is a dynamic verifier for MPI programs; it can check all possible runs with respect to nondeterminism introduced by MPI. |
+| [DDT](http://www.allinea.com/) | Debugger for scalar, multi-threaded and large-scale parallel applications. |
 | [Forge](http://www.allinea.com/products/develop-allinea-forge) | Allinea Forge is the complete toolsuite for software development - with everything needed to debug, profile, optimize, edit and build C, C++ and FORTRAN applications on Linux for high performance - from single threads through to complex parallel HPC codes with MPI, OpenMP, threads or CUDA. |
 | [PerformanceReports](http://www.allinea.com/products/allinea-performance-reports) | Allinea Performance Reports are the most effective way to characterize and understand the performance of HPC application runs. One single-page HTML report elegantly answers a range of vital questions for any HPC site. - Is this application well-optimized for the system and the processors it is running on? - Does it benefit from running at this scale? - Are there I/O, networking or threading bottlenecks affecting performance? - Which hardware, software or configuration changes can we make to improve performance further. - How much energy did this application use? |
 | TotalView | &nbsp; |
-- 
GitLab