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