Reimplement retrieval and deletion from the generation cache
much more clever!
Showing
- python/dune/perftool/compile.py 3 additions, 3 deletionspython/dune/perftool/compile.py
- python/dune/perftool/file.py 1 addition, 1 deletionpython/dune/perftool/file.py
- python/dune/perftool/generation/__init__.py 0 additions, 1 deletionpython/dune/perftool/generation/__init__.py
- python/dune/perftool/generation/cache.py 18 additions, 43 deletionspython/dune/perftool/generation/cache.py
- python/dune/perftool/generation/loopy.py 7 additions, 7 deletionspython/dune/perftool/generation/loopy.py
- python/dune/perftool/pdelab/localoperator.py 6 additions, 6 deletionspython/dune/perftool/pdelab/localoperator.py
Loading
Please register or sign in to comment