1. 10 Mar, 2023 7 commits
  2. 09 Mar, 2023 1 commit
  3. 08 Mar, 2023 1 commit
  4. 07 Mar, 2023 1 commit
  5. 06 Mar, 2023 2 commits
  6. 03 Mar, 2023 2 commits
  7. 02 Mar, 2023 7 commits
  8. 01 Mar, 2023 2 commits
  9. 28 Feb, 2023 5 commits
  10. 27 Feb, 2023 4 commits
  11. 25 Feb, 2023 1 commit
  12. 22 Feb, 2023 1 commit
  13. 20 Feb, 2023 1 commit
  14. 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
  15. 16 Feb, 2023 4 commits