All pull requests

Pull requests

• Parameter splitting: don't move method preconditions behind earlier subtasks

  #36·daniellutalo opened Oct 5, 2026·

  ·

• Add "make install" target

  #21·rpgoldman opened Oct 30, 2023Contributor·

  ·