6 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	5820908675	Remove and ban \file	2025-12-16 17:41:55 +01:00
Ivan Krysak	3561c2b907	Adopt IRBuilder wrapper	2025-10-21 19:17:01 +03:00
Ivan Krysak	7d235f4fd0	Enforce licence header consistency ... Also do some basic cleanup: capitalize first letters, add `.` at the end of the sentences, and so on.	2023-07-03 15:23:10 +00:00
Alessandro Di Federico	a65ccc3413	Introduce ValueMaterializer ... `ValueMaterializer` is a rewrite of what was called `AdvancedValueInfo` which follows the same principles. The main benefits over the old version is: * We materialize the data-flow graph and the CFG of the relevant part of root. This makes debugging significantly easier. * We drop the old MonotoneFramework infrastructure in favor of getMaximalFixedPoint. * We significantly reduce the amount of queries we make to AdvancedValueInfo.	2023-06-30 13:39:22 +02:00
Pietro Fezzardi	cd9bc34d9d	Enforce new include conventions	2020-11-13 10:00:24 +01:00
Alessandro Di Federico	12d093b459	Rethink testing ... This commit performs the changes necessary in order to integrate with revng-qa, the new project for cross-project quality assurance. Basically, the source code of all the tests has been moved in revng-qa, which will take care of producing "artifacts" (i.e., compiled programs), using the appropriate cross-compilers. revng will then consume them and produce new artifacts to be consumed by other tools down the pipeline. The directory structure of the tests has been reworked to reflect `revng-qa`. A large amount of boilerplate code has been dropped. Note that certain actions, that used to be carried out during testing, are now part of the regular build process. Specifically, lifting the tests is performed at build time, so that they can be installed.	2020-02-20 12:16:56 +01:00