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

..

ABI

ABI: improve RegisterStateDeductions

2022-04-15 18:25:11 +02:00

BasicAnalyses

Adopt cmake-format

2022-03-17 18:52:18 +01:00

EarlyFunctionAnalysis

EFA: ignore dynamic functions, if static too

2022-06-21 14:17:57 +02:00

FunctionCallIdentification

Adopt cmake-format

2022-03-17 18:52:18 +01:00

FunctionIsolation

PipelineC: introduce dead kinds

2022-06-20 19:03:17 +02:00

Lift

Model: Add PDB support

2022-07-28 14:52:50 +02:00

Model

Introduce revng model hard-purge

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

Pipeline

Pipeline: add read-only containers

2022-07-25 16:24:27 +02:00

PipelineC

PipelineC: expose globals verification

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

Pipes

Model: Add PDB support

2022-07-28 14:52:50 +02:00

PTML

Introduce ptml namespace

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

Recompile

Move librevngRecompile to analyses

2022-04-26 15:05:30 +02:00

Support

Do not explicitly print stack trace on abort

2022-07-22 21:04:03 +02:00

TypeShrinking

Adopt cmake-format

2022-03-17 18:52:18 +01:00

UnitTestHelpers

mv librevngUnitTestHelpers.{a,so}

2022-05-12 21:55:18 +02:00

Yield

Rework YieldAssemblyHTML to output PTML

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

CMakeLists.txt

Introduce ptml namespace

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