Sven/Sarah Barth 19cee9b841 + mark the def for a capturer class with a corresponding object option 2 years ago
..
ppudump.pp 19cee9b841 + mark the def for a capturer class with a corresponding object option 2 years ago
ppujson.pp 9a3ddf650c * ppudump: Use buffered write when outputting to json or xml. It improves the output speed a lot. 6 years ago
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 years ago
ppuxml.pp 9a3ddf650c * ppudump: Use buffered write when outputting to json or xml. It improves the output speed a lot. 6 years ago