1. 27 Jul, 2023 1 commit
  2. 24 Jul, 2023 1 commit
  3. 17 Jul, 2023 2 commits
  4. 30 Jun, 2023 1 commit
  5. 29 Jun, 2023 1 commit
  6. 28 Jun, 2023 1 commit
  7. 27 Jun, 2023 2 commits
  8. 12 Jun, 2023 1 commit
  9. 07 Jun, 2023 1 commit
  10. 14 Apr, 2023 1 commit
  11. 04 Apr, 2023 1 commit
  12. 23 Mar, 2023 1 commit
  13. 20 Mar, 2023 1 commit
  14. 16 Mar, 2023 1 commit
  15. 28 Feb, 2023 1 commit
  16. 20 Feb, 2023 1 commit
  17. 17 Feb, 2023 1 commit
    • Alfredo Di Napoli's avatar
      Switch to Hackage-released version of HSvm · 604e205a
      Alfredo Di Napoli authored
      This commit switches to an Hackage-released version of HSvm,
      specifically 0.1.1.3.22, which is the same we were previously
      relying on, but by pinning on a specific commit
      `3fe28b683aba5ddf05e3b5f8eced0bd05c5a29f9` of the GitHub repo.
      
      This also restores commit `243cfbb5`,
      which got misteriously missing.
      604e205a
  18. 16 Feb, 2023 4 commits
  19. 15 Feb, 2023 1 commit
  20. 13 Feb, 2023 2 commits
  21. 09 Feb, 2023 1 commit
  22. 05 Jan, 2023 1 commit
  23. 03 Jan, 2023 1 commit
  24. 02 Jan, 2023 2 commits
  25. 27 Dec, 2022 1 commit
  26. 20 Dec, 2022 1 commit
  27. 30 Nov, 2022 1 commit
  28. 28 Nov, 2022 1 commit
  29. 25 Nov, 2022 1 commit
  30. 24 Nov, 2022 1 commit
  31. 23 Nov, 2022 1 commit
  32. 17 Oct, 2022 1 commit
  33. 10 Oct, 2022 1 commit