Sven/Sarah Barth 558a7ef1ed * store the current verbosity as part of the settings so that they're stored as part of a generic token stream as well 7 月之前
..
ppudump.pp 558a7ef1ed * store the current verbosity as part of the settings so that they're stored as part of a generic token stream as well 7 月之前
ppujson.pp 9a3ddf650c * ppudump: Use buffered write when outputting to json or xml. It improves the output speed a lot. 6 年之前
ppuout.pp 6160abe37e * have the generic dummy symbols for procsyms keep track of their overloaded generic procsyms so that they can be easily found (will be needed for implicit specializations) 4 年之前
ppuxml.pp 9a3ddf650c * ppudump: Use buffered write when outputting to json or xml. It improves the output speed a lot. 6 年之前