3 Pull requests merged by 3 people

• doc-fix: don't use subdirectories for linting rules

  #1781 merged Jun 25, 2025

• Remove singleton config instance

  #1642 merged Jun 23, 2025

• [Linter, Doc] improve linter documentation

  #1775 merged Jun 23, 2025

1 Pull request opened by 1 person

• Project Builder API

  #1780 opened Jun 24, 2025

3 Issues closed by 1 person

• [Lint, Wiki] Remove subpages

  #1779 closed Jun 25, 2025

• Remove singleton config instance

  #1641 closed Jun 23, 2025

• [Linter, Doc] Improve Linter Documentation

  #1774 closed Jun 23, 2025

2 Issues opened by 1 person

• More documentation for abstract interpretation of data frames

  #1778 opened Jun 23, 2025

• Add more tests to verify capabilities of shape inference

  #1777 opened Jun 23, 2025

5 Unresolved conversations

Sometimes conversations happen on old items that aren’t yet closed. Here is a list of all the Issues and Pull Requests with unresolved conversations.

• Fix remaining special edge cases of wrong over-appromxiation

  #1776 commented on Jun 25, 2025 • 0 new comments

• Add type inference

  #1652 commented on Jun 24, 2025 • 0 new comments

• Forward Slicing

  #1700 commented on Jun 25, 2025 • 0 new comments

• [Linter] Naming Convention

  #1749 commented on Jun 24, 2025 • 0 new comments

• Support loading data frames from external files

  #1772 commented on Jun 25, 2025 • 0 new comments