5 Commits

Author	SHA1	Message	Date
Ivan Krysak	9f1d9fd5d0	Use Container::contains() where appropriate	2023-07-02 15:06:11 +00:00
Ivan Krysak	11c0d7f02e	Stop using \brief doxygen command	2023-03-15 10:19:01 +01:00
Pietro Fezzardi	9869f057b9	Use #pragma once for header include guards	2020-11-13 14:12:18 +01:00
Pietro Fezzardi	cd9bc34d9d	Enforce new include conventions	2020-11-13 10:00:24 +01:00
Alessandro Di Federico	076aeac7f3	Move and rename all files ... This commit moves around most files. The new directory structure is as follows: * `lib/$LIBRARY/`: contains a library, i.e., a set of `.cpp` files used by multiple libraries/tools. * `include/revng/$LIBRARY/`: contains the public headers associated to the library in `lib/$LIBRARY/`. * `tools/$TOOL/`: directory where all the `.cpp` files (and private headers) for a tool reside. Currently we have two tools: `revamb` and `revamb-dump`. On top of this, all file names are now in camel case.	2018-10-03 23:11:12 +02:00