1. 17 Jun, 2022 1 commit
  2. 06 May, 2022 3 commits
  3. 26 Apr, 2022 1 commit
  4. 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
  5. 09 Mar, 2022 1 commit
  6. 07 Mar, 2022 4 commits
  7. 23 Feb, 2022 1 commit
  8. 04 Feb, 2022 1 commit
  9. 17 Dec, 2021 2 commits
  10. 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
  11. 26 Nov, 2021 3 commits
  12. 25 Nov, 2021 2 commits
  13. 16 Nov, 2021 7 commits
  14. 13 Nov, 2021 3 commits
  15. 20 Oct, 2021 3 commits
  16. 12 Oct, 2021 2 commits
  17. 27 Aug, 2021 4 commits