Name: | rh-eclipse46-eclipse-ptp-gem |
---|---|
Version: | 9.1.2 |
Release: | 1.1.el7 |
Architecture: | noarch |
Group: | Unspecified |
Size: | 2103946 |
License: | EPL |
RPM: | rh-eclipse46-eclipse-ptp-gem-9.1.2-1.1.el7.noarch.rpm |
Source RPM: | rh-eclipse46-eclipse-ptp-9.1.2-1.1.el7.src.rpm |
Build Date: | Fri May 05 2017 |
Build Host: | x86-ol7-builder-02.us.oracle.com |
Vendor: | Oracle America |
URL: | http://www.eclipse.org/ptp |
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. |
- Auto SCL-ise package for rh-eclipse46 collection
- Update to latest upstream release
- Rebuilt for https://fedoraproject.org/wiki/Fedora_26_Mass_Rebuild
- Rebuilt for ppc64 and ppc64le
- Update to latest release - Disable photran bits when building on RHEL - Don't hard-code qualifier
- Add BR on eclipse-tm-terminal-connectors to unbreak build.
- Don't ship intermediate artifacts - Fix requires of sci package
- Install as droplets, auto-generate requires - Merge source package into SDK
- Update to Neon release
- Add missing build-requires