Alessandro Di Federico 2b9cbb98ec Introduce --invoke-isolated-functions ...

This commit ensures that FunctionIsolation and EnforceABI do only
thing. This means that they no longer modify `root`.

Instead, we have a new pass, `invoke-isolated-functions` that needs to
be run after them and replaces the entry point of the functions with
invokes to the isolated functions, possibly with the appropriate
arguments.

2021-04-22 14:45:52 +02:00

..

revng_merge_dynamic

Fix revng_merge_dynamic installation

2021-02-10 00:00:38 +01:00

check-revng-conventions

check-revng-conventions: static in C headers is OK

2021-02-18 18:44:42 +01:00

clang-format-style-file

Install clang-format-style-file

2020-11-20 18:06:16 +01:00

compare-json.py

Pretty print JSONs

2020-10-22 11:25:31 +02:00

compile-time-constants.py

Introduce support for dynamic binaries

2018-05-29 15:10:51 +02:00

monotone-framework.py

Use #pragma once for header include guards

2020-11-13 14:12:18 +01:00

revng

Introduce --invoke-isolated-functions

2021-04-22 14:45:52 +02:00

revng-dump-model

Import revng-dump-model

2021-02-18 18:46:49 +01:00

revng-merge-dynamic

Refactor revng-merge-dynamic

2021-01-23 00:41:52 +01:00