Giacomo Vercesi 0ec2fdd175 revng.daemon: prevent shutdown crash ...

Change the behavior of `revng daemon` to avoid a crash at shutdown
caused by `rp_shutdown` not being called due to the pointer of
`rp_manager` not being freed.

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

..

__init__.py

revng.api: explicitly declare exports

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

_capi.py

revng.daemon: prevent shutdown crash

2023-07-21 09:34:00 +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: prevent shutdown crash

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

rank.py

Introduce PipelineC wrapper for Python

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

step.py

Add singleTargetFilename to pipelines

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

string_map.py

GraphQL: expose analysis options

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

target.py

revng.api: Fix leftover snake_case in as_dict

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

utils.py

GraphQL: return binaries in b64

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