Commit 272c9c97 authored by René Heß's avatar René Heß

[!349] Metadata options

Merge branch 'feature/metadata-options' into 'master'

ref:extensions/dune-codegen Some options are well suited to be set from the
metadata dictionary of UFL measures. This MR implements the necessary
infrastructure. While at it, it solves some more issues with options.

This fixes [#148]

See merge request [!349]

  [#148]: gitlab.dune-project.org/NoneNone/issues/148
  [!349]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/349


Closes #148
parents d83b7b62 97ad1a8b
Pipeline #20198 passed with stage
in 41 minutes and 11 seconds