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
6,066 Commits 215 Branches 0 Tags
feature/model-upgrade
Commit Graph

5 Commits

Author SHA1 Message Date
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