Giacomo Vercesi 94aa2b51d2 Add Context Global Index

2023-11-03 12:13:58 +01:00

..

__init__.py

Cleanup revng.daemon graphql API

2023-09-14 15:44:33 +02:00

_capi.py

revng.cli: centralize collect_pipelines

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

errors.py

Propagate errors from Analysis/Pipes to daemon

2023-11-03 12:13:58 +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

manager.py

Add Context Global Index

2023-11-03 12:13:58 +01:00

string_map.py

GraphQL: expose analysis options

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

target.py

revng.api: drop the use of islice

2023-11-03 12:13:57 +01:00

utils.py

Cleanup revng.daemon graphql API

2023-09-14 15:44:33 +02:00