1. 22 Jun, 2020 1 commit
  2. 02 Jun, 2020 1 commit
  3. 18 Apr, 2020 1 commit
  4. 11 Mar, 2020 1 commit
  5. 13 Feb, 2020 2 commits
  6. 12 Feb, 2020 2 commits
  7. 27 Jan, 2020 1 commit
  8. 13 Jan, 2020 1 commit
  9. 04 Dec, 2019 1 commit
  10. 29 Nov, 2019 9 commits
  11. 28 Nov, 2019 2 commits
  12. 26 Nov, 2019 1 commit
    • Raphaël Cauderlier's avatar
      Remove IF_RIGHT · e729117e
      Raphaël Cauderlier authored
      The `IF_RIGHT` macro was incorrectly documented as an instruction when
      the Mi-Cho-Coq effort started. The macro expanser correctly converted
      ot to its expanded form so all handling of `IF_RIGHT` as an
      instruction was basically dead code.
      e729117e
  13. 25 Nov, 2019 2 commits
  14. 14 Nov, 2019 5 commits
  15. 06 Nov, 2019 4 commits
  16. 01 Nov, 2019 1 commit
  17. 23 Oct, 2019 1 commit
  18. 22 Oct, 2019 4 commits