Information for RPM rh-eclipse46-eclipse-ptp-gem-9.1.2-1.1.el7.noarch.rpm
| ID | 112196 | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| Name | rh-eclipse46-eclipse-ptp-gem | |||||||||
| Version | 9.1.2 | |||||||||
| Release | 1.1.el7 | |||||||||
| Epoch | ||||||||||
| Arch | noarch | |||||||||
| Summary | PTP Graphical Explorer of MPI Programs (GEM) | |||||||||
| Description | GEM serves as a graphical front end for In-situ Partial Order (ISP), a dynamic formal verification tool for MPI developed at the School of Computing, University of Utah. Whether you are new to MPI or are an advanced user, GEM will help you debug your MPI programs, and graphically show many valuable facts, including all the possible send/receive matches, and synchronizations. GEM also includes features to help users understand and debug the program across all platforms on which it may be run (e.g. highlighting deadlocks that may occur due to differing communication buffer allocations). For a given test harness, GEM will allow you to explore only the relevant process interleavings, which are much smaller than the number of total feasible interleavings. GEM also guarantees to discover and explore all non-deterministic matches at run-time. | |||||||||
| Build Time | 2017-09-19 13:52:35 GMT | |||||||||
| Size | 1.93 MB | |||||||||
| 63e593fee3ee00b867e2fd3f53975946 | ||||||||||
| License | EPL | |||||||||
| Buildroot | sclo7-rh-eclipse46-rh-el7-build-35013-49553 | |||||||||
| Provides |
|
|||||||||
| Obsoletes | No Obsoletes | |||||||||
| Conflicts | No Conflicts | |||||||||
| Requires |
|
|||||||||
| Recommends | No Recommends | |||||||||
| Suggests | No Suggests | |||||||||
| Supplements | No Supplements | |||||||||
| Enhances | No Enhances | |||||||||
| Files | ||||||||||
| Component of | No Buildroots |
