Giacomo Vercesi aa28975c3f LocalStorageProvider: prune on startup ...

Add two situations where the cache is pruned on startup, removing all
the cached objects from storage:
1. the version field does not match the current one
2. the model has been changed out of band

The second one is very important as it allows to use the revng2 CLI
while editing the model manually on disk.

2026-04-10 11:45:13 +02:00

..

revng

LocalStorageProvider: prune on startup

2026-04-10 11:45:13 +02:00

scripts

revng: allow execution while in a venv

2026-01-29 14:54:24 +01:00

CMakeLists.txt

revng.project: port to pypeline

2026-04-10 11:45:12 +02:00

wheel-install.sh

python: create python wheels

2023-12-12 14:52:22 +01:00