1. 30 Jun, 2022 1 commit
  2. 29 Jun, 2022 6 commits
  3. 17 Jun, 2022 1 commit
  4. 14 Jun, 2022 1 commit
  5. 06 May, 2022 3 commits
  6. 26 Apr, 2022 1 commit
  7. 17 Mar, 2022 1 commit
    • Samuel Hym's avatar
      Use an attribute to enable verbosity · ebf8f413
      Samuel Hym authored
      Switch from `Elpi Debug "VERBOSE_INFO"` to an attribut `#[verbose]` to
      enable a verbose trace of the GenerateIntermediateRepresentation command
      (`Elpi Debug` must now all be set before the code that rely on it so it
      is no longer useful to enable verbosity in code using dx)
      ebf8f413
  8. 09 Mar, 2022 1 commit
  9. 07 Mar, 2022 4 commits
  10. 23 Feb, 2022 1 commit
  11. 04 Feb, 2022 1 commit
  12. 17 Dec, 2021 2 commits
  13. 13 Dec, 2021 1 commit
    • Samuel Hym's avatar
      Use vm_compute instead of compute · 2845327a
      Samuel Hym authored
      Evaluating the DXModule can be quite compute intensive, on medium-sized
      example the improvement of performance can be massive
      2845327a
  14. 26 Nov, 2021 3 commits
  15. 25 Nov, 2021 2 commits
  16. 16 Nov, 2021 7 commits
  17. 13 Nov, 2021 3 commits
  18. 20 Oct, 2021 1 commit