1. 27 Apr, 2022 1 commit
  2. 25 Feb, 2022 1 commit
  3. 04 Feb, 2022 1 commit
  4. 28 Jan, 2022 1 commit
  5. 18 Jan, 2022 1 commit
  6. 24 Oct, 2021 3 commits
  7. 22 Jul, 2021 1 commit
  8. 13 Mar, 2021 1 commit
  9. 21 Aug, 2020 2 commits
  10. 27 Mar, 2020 1 commit
  11. 25 Mar, 2020 1 commit
    • Samuel Freilich's avatar
      Check that input is a list in proper-list-length · a297e86d
      Samuel Freilich authored
      proper-list-length and related functions claim to signal an error if the
      input is not a proper list, and are careful to safely check that the cdr
      is a cons (with safe-endp). However, they call cdr on the input without
      checking that it is a list in the first place, resulting in memory-error
      when compiled with safety 0 instead of type-error as the tests expect.
      a297e86d
  12. 04 Mar, 2020 1 commit