diff --git a/salomon.csv b/salomon.csv index 1d3214cbab39fe73ce8a1790a69ae86c132f2cf7..34dc5b8642305d3a9c1b4195fbc4370090bed587 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 11207641af9a6f30a8ce44412841bf947788fb4c..1d9febc3d42ac8d4edc1505f6057a3d6a5592eea 100644 --- a/salomon.md +++ b/salomon.md @@ -95,8 +95,8 @@ | Module | Description | | ------ | ----------- | -| aislinn | | -| DDT | | +| [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 | |