John Beard 781c5f7e1d Remove SCOPED_TIMER, use PROF_COUNTER ... SCOPED_TIMER is a QA-only simpler version of PROF_COUNTER. Extend PROF_COUNTER to allow access to the std::chrono::duration for more flexibility. Wrap PROF_COUNTER in SCOPED_PROF_COUNTER for RAII duration output (for the same effect as SCOPED_TIMER).		2019-06-12 14:16:47 +01:00
..
tools	Remove SCOPED_TIMER, use PROF_COUNTER	2019-06-12 14:16:47 +01:00
CMakeLists.txt	Common: Remove legacy_gal library, fold into common	2019-06-10 18:56:57 +01:00
main.cpp	QA sexpr: add a common_tool to parse sexpr files	2019-04-17 10:52:56 +01:00