forked from gap-packages/profiling
-
Notifications
You must be signed in to change notification settings - Fork 0
GAP profiling output
fingolfin/profiling
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Folders and files
Name | Name | Last commit message | Last commit date | |
---|---|---|---|---|
Repository files navigation
The GAP 4 package `profiling' ============================== This package provides line-by-line profiling of GAP, allowing both discovering which lines of code take the most time, and which lines of code are even executed. The main function provided by this package is OutputAnnotatedCodeCoverageFiles, which takes a previously generated profile (using ProfileLineByLine or CoverageLineByLine, both provided by the GAP library), and outputs human-readable HTML files. There is also OutputFlameGraph, which outputs a graphical diagram showing which functions took the most time during exection. Building -------- Requirements ------------ This package requires the 'IO' package is installed and compiled. Check it can be loaded by running 'LoadPackage("io");' before trying to compile and run 'profiling'. This package also requires a C++ compiler (typically clang++ or g++) Build Instructions For Release ------------------------------ The package should be built using the commands: ./configure make Optionally, if this package is not within GAP's pkg directory, you can use the following notation to tell configure where GAP is located. ./configure --with-gaproot=<location of GAP root> make Building from git / the github repository ----------------------------------------- If you are building from a git checkout from github, then run ./autogen.sh ./configure make
About
GAP profiling output
Resources
Stars
Watchers
Forks
Packages 0
No packages published
Languages
- C++ 71.7%
- Perl 12.5%
- GAP 8.5%
- C 2.9%
- JavaScript 2.8%
- M4 1.0%
- Other 0.6%