Skip to content
Snippets Groups Projects
  1. Dec 03, 2018
  2. Nov 28, 2018
  3. Nov 26, 2018
  4. Nov 21, 2018
  5. Oct 31, 2018
  6. Oct 30, 2018
  7. Oct 26, 2018
    • Dominic Kempf's avatar
      [!277] Add a first implementation of hooks · 2ff0ad9e
      Dominic Kempf authored
      Merge branch 'feature/code-generation-hooks' into 'master'
      
      ref:dominic/dune-perftool This is the first minimal implementation of how code
      generation hooks from downstream projects could look like.
      
      There is a few more things to think about (feel invited to share ideas):
      
      -   \[x\] How to document the arguments and return values expected from hooks
      -   \[x\] How to handle multiple hooks registered to the same hook point and
          return values (this is quite relevant once you want to do loopy
          transformations in a hook. It means that you want to "chain" the hooks)
      
      This fixes [#129].
      
      See merge request [dominic/dune-perftool!277]
      
        [#129]: gitlab.dune-project.org/NoneNone/issues/129
        [dominic/dune-perftool!277]: gitlab.dune-project.org/dominic/dune-perftool/merge_requests/277
      
      
      Closes #129
      2ff0ad9e
  8. Oct 25, 2018
  9. Oct 24, 2018
  10. Oct 23, 2018
Loading