1. 09 Aug, 2022 1 commit
  2. 08 Aug, 2022 1 commit
  3. 05 Aug, 2022 2 commits
  4. 01 Aug, 2022 1 commit
  5. 25 Jul, 2022 1 commit
  6. 22 Jul, 2022 1 commit
  7. 14 Jun, 2022 1 commit
  8. 13 Jun, 2022 2 commits
  9. 30 May, 2022 1 commit
    • Jonas Böhm's avatar
      Improve functions GetChild and IsHnf · 55bfa476
      Jonas Böhm authored
      - GetChild no longer locks the node it is called on while eliminating redirection nodes, improving performance
      - IsHnf now locks the its called on while performing the check for partial functions, eliminating a race condition
      55bfa476
  10. 13 May, 2022 1 commit
    • Jonas Böhm's avatar
      Improve Const and FcallCreate functions · 8b50ec64
      Jonas Böhm authored
      Replacing root.Children directly with the slice containing the new arguments
      improves speed.
      Setting the arity to 0 before changing the Children
      fixes a bug, where Fcall nodes were shortly read as
      partial functions while being updated.
      8b50ec64
  11. 29 Mar, 2022 2 commits
  12. 23 Feb, 2022 3 commits
  13. 15 Feb, 2022 3 commits
  14. 10 Feb, 2022 1 commit
  15. 09 Feb, 2022 2 commits
  16. 08 Feb, 2022 2 commits
  17. 07 Feb, 2022 7 commits
  18. 05 Feb, 2022 2 commits
  19. 04 Feb, 2022 3 commits
  20. 03 Feb, 2022 3 commits