Skip to content
Snippets Groups Projects
  1. Jan 23, 2019
  2. Jan 21, 2019
    • Dominic Kempf's avatar
      [!291] Switch to clang 7 · 5656ac3c
      Dominic Kempf authored
      Merge branch 'feature/fix-ci' into 'master'
      
      ref:extensions/dune-codegen See whether that helps
      
      See merge request [extensions/dune-codegen!291]
      
        [extensions/dune-codegen!291]: gitlab.dune-project.org/extensions/dune-codegen/merge_requests/291
      5656ac3c
  3. Jan 18, 2019
  4. Jan 16, 2019
  5. Dec 17, 2018
  6. Dec 03, 2018
  7. Nov 26, 2018
  8. Nov 21, 2018
  9. Oct 31, 2018
  10. Oct 30, 2018
  11. 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
  12. Oct 25, 2018
  13. Oct 24, 2018
Loading