Djordje Todorovic 1243d1061c Introduce revng model hard-purge ...

In addition, introduce a new model Pass:

  revng model opt -prune-unsused-types

2022-07-28 15:02:55 +02:00

..

api

PipelineC: expose globals verification

2022-07-28 08:47:46 +02:00

cli

Introduce revng model hard-purge

2022-07-28 15:02:55 +02:00

daemon

PipelineC: expose globals verification

2022-07-28 08:47:46 +02:00

model

revng.model: drop last version autodetection

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

support

python: import CIterable from collections.abc

2022-07-05 10:31:36 +02:00

__init__.py

Turn Python scripts into modules

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

tupletree.py

revng.model: add TypedList

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