Giacomo Vercesi a84ebd0e51 revng.daemon: trim Eventmanager's functionality ...

Drop most of the functionality provided by EventManager. Add the
functionality that allows saving the working directory after a period of
inactivity.

2023-09-06 15:23:43 +02:00

..

__init__.py

revng.api: explicitly declare exports

2022-10-30 09:11:53 +01:00

_capi.py

revng.cli: centralize collect_pipelines

2023-08-23 17:45:36 +02:00

analysis.py

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +02:00

container.py

Pipeline: Make recalculateAllPossibleTargets

2022-06-29 14:50:58 +02:00

errors.py

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

exceptions.py

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

invalidations.py

PipelineC: expose invalidation logic

2022-10-30 09:13:14 +01:00

kind.py

Kinds: exposed locations produced

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

manager.py

revng.daemon: trim Eventmanager's functionality

2023-09-06 15:23:43 +02:00

rank.py

Introduce PipelineC wrapper for Python

2022-04-26 15:59:35 +02:00

step.py

revng.daemon: trim Eventmanager's functionality

2023-09-06 15:23:43 +02:00

string_map.py

GraphQL: expose analysis options

2023-03-22 17:31:46 +01:00

target.py

revng.api: avoid NULL dereferencing in extract

2023-07-31 16:05:51 +02:00

utils.py

GraphQL: return binaries in b64

2023-02-07 16:54:35 +01:00