4 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	0d3133cfc9	Fix missing includes ... This ensures headers make sense on their own, without implicit assumption about includers to also include other headers before them.	2022-12-09 18:09:39 +01:00
Ivan Krysak	65d1a016d4	Standardize concept naming across the codebase	2022-08-05 17:27:56 +03:00
Pietro Fezzardi	b4c733ab57	Move Concepts.h into include/ADT for better reuse	2022-03-30 17:09:24 +02:00
Alessandro Di Federico	75b5620703	Introduce OverflowSafeInt	2022-03-08 12:25:47 +01:00