Antonio Frighetto 8f9ab35ca2 Introduce print-invalidations tool ...

A simple tool that prints the overestimated targets
found by `getInvalidations` of all Kinds, without
actually invalidating them.

2023-01-09 16:18:59 +01:00

..

api

Kinds: exposed locations produced

2022-11-11 13:43:55 +01:00

cli

Introduce print-invalidations tool

2023-01-09 16:18:59 +01:00

daemon

revng.daemon: accept no arguments for analysis

2023-01-09 16:18:59 +01:00

model

revng.model: drop last version autodetection

2022-07-22 15:07:14 +02:00

support

revng.support: add get_root

2022-10-24 09:58:55 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

tupletree.py

Introduce v2 of revng-check-conventions

2022-09-29 15:21:59 +02:00