external/stg.git - [no description]

Age	Commit message (Expand)	Author
2023-07-26	Reporting: Fidelity: Remove severity from `stgdiff` fidelity reports	Sid Nayyar
2023-06-30	Include <cstddef> wherever size_t is mentioned	Giuliano Procida
2023-02-09	stgdiff: improve output format option processing and usage message	Giuliano Procida
2023-01-17	fidelity: Add a method to generate a fidelity diff report	Sid Nayyar
2023-01-05	reporting: Make `Reporting` reference const	Sid Nayyar
2022-12-13	rename `stg.{h,cc}` to `graph.{h,cc}`	Giuliano Procida
2022-12-13	Move comparison functionality into `comparison.cc`	Giuliano Procida
2022-12-13	Move node naming and description functionality into `naming.cc`	Giuliano Procida
2022-12-13	reporting: move everything into its own namespace	Sid Nayyar
2022-07-26	Add `ReportingOptions` as a parameter for report generation.	Sid Nayyar
2022-07-26	Add information summarisation post-processing transformations to stgdiff.	Sid Nayyar
2022-03-29	concrete Graph and node Id types	Giuliano Procida
2022-03-29	Split out reporting functionality	Giuliano Procida