mutilin / klever

Klever Git repository read-only mirror
https://forge.ispras.ru/projects/klever
Apache License 2.0
0 stars 1 forks source link

Support a convenient way of clearing cache for conversion function application #24

Closed vmordan closed 5 years ago

vmordan commented 5 years ago

Currently we can clear only the whole cache, which contains a lot of very useful data (may help to reduce time of new marks application up to 100 times). At the same time, at some point this cache may contain some useless or outdated records, which will slow down the process. For example, cached data can be deleted on removing corresponding marks, which use it. In general case there should be several settings, which will allow to the project manager to clear only specific data.

vmordan commented 5 years ago

Implemented as part of 02908b4.