Age | Commit message (Expand) | Author |
---|---|---|
2018-03-16 | gnu: All snippets report errors using exceptions, else return #t. | Mark H Weaver |
2018-03-05 | gnu: papi: Use HTTPS home page. | Tobias Geerinckx-Rice |
2018-03-05 | gnu: papi: Fix documentation location. | Tobias Geerinckx-Rice |
2018-03-04 | gnu: papi: Update phase style. | Tobias Geerinckx-Rice |
2017-10-03 | gnu: Add scorep-openmpi. | Dave Love |
2017-10-03 | gnu: Add cube. | Dave Love |
2017-10-03 | gnu: Add opari2. | Dave Love |
2017-10-03 | gnu: Add otf2. | Dave Love |
2017-10-03 | gnu: Add papi. | Dave Love |