admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,335 Commits 215 Branches 0 Tags
feature/platform-roots
Commit Graph

8 Commits

Author SHA1 Message Date
Giacomo Vercesi 93a998ce93 TraceProgressListener: also record memory usage 
Add the additional optional functionality to `TraceProgressListener` to
periodically poll the memory usage of the current process to plot as a
separate counter as part of the trace.
 2026-01-20 12:29:12 +01:00
Alessandro Di Federico 7d6c007d71 Progress: check ioctl(TIOCGWINSZ) result 2025-12-22 11:34:46 +01:00
Alessandro Di Federico 5820908675 Remove and ban \file 2025-12-16 17:41:55 +01:00
Alessandro Di Federico fe1dffcffd Add some missing includes 
This is in preparation of reducing headers in Debug.h.
 2024-05-03 21:52:40 +02:00
Alessandro Di Federico a1f3624b21 TraceProgressListener: flush upon signal 2024-04-18 17:50:33 +02:00
Alessandro Di Federico 3fb9e58b0a Progress: cap line length to terminal size 2024-03-01 17:47:28 +01:00
Alessandro Di Federico 2347304b70 Progress.cpp: handle StepsCount == 0 2024-03-01 14:23:30 +01:00
Alessandro Di Federico 2c8c06e4ab Introduce ProgressListeners 2023-08-01 10:49:41 +02:00