6 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	c05b5dbb28	Steps now represent the *end* of a step ... A special "begin" step has been introduced.	2022-03-28 12:17:05 +02:00
Massimo Fioravanti	b362d926ec	pipeline: drop implicit rank 0	2022-03-28 12:17:05 +02:00
Alessandro Di Federico	2b55d1df22	Adopt cmake-format	2022-03-17 18:52:18 +01:00
Alessandro Di Federico	da7701bd4e	Move all executables except revng to libexec/revng ... We used to collect all binaries into the `bin/` directory. However this led to confusions since certain commands where available both as `revng-command` and `revng command`. This commit moves all the executables except `revng` into `libexec/revng`, which, according to FHS, is dedicated to "internal binaries that are not intended to be executed directly by users or shell scripts".	2022-03-17 14:10:50 +01:00
Alessandro Di Federico	a38819d8d9	revng-pipeline tests: cleanup temporary files ... Certain revng-pipeline tests did not clean up temporary files leading to weird effects running the tests twice in the same build directory.	2022-02-14 10:56:30 +01:00
Massimo Fioravanti	67f9cbdf4c	Introduce the revng-pipeline CLI tool	2022-02-08 00:05:03 +01:00