-
Notifications
You must be signed in to change notification settings - Fork 7
Insights: flowr-analysis/flowr
Overview
Could not load contribution data
Please try again later
28 Pull requests merged by 7 people
-
doc(wiki-lint): fix indentation of example synth
#1793 merged
Jul 3, 2025 -
Add more tests to verify capabilities of shape inference
#1787 merged
Jul 2, 2025 -
feat-fix(dfg): handle local overwrites with side-effects
#1789 merged
Jun 30, 2025 -
Support loading data frames from external files
#1772 merged
Jun 30, 2025 -
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 -
meta: provide a new lint rule template
#1773 merged
Jun 21, 2025 -
Support CFG visitation at exit vertices
#1771 merged
Jun 21, 2025 -
refactor(datatype-query): reuse typed AST for all criteria
#1766 merged
Jun 19, 2025 -
feat-fix(tree-sitter): comments in params
#1764 merged
Jun 19, 2025 -
Add Missing Python Installations in Dockerfile
#1762 merged
Jun 19, 2025 -
Dead Code: Tests for dead code detection and support for return and stop
#1734 merged
Jun 18, 2025 -
feat-fix: deprecated linter matches prefixed functions correctly
#1759 merged
Jun 17, 2025 -
[Linter] Unused Definitions
#1757 merged
Jun 15, 2025 -
doc(readme): add linting claims
#1755 merged
Jun 15, 2025 -
Use the new CFG visitor for abstract interpretation
#1750 merged
Jun 15, 2025 -
[Linter] Refactoring, Descriptions, Tags, and Absolute Path Linter
#1747 merged
Jun 15, 2025 -
Prepare the first evaluation of abstract interpretation
#1666 merged
Jun 15, 2025 -
refactor(library): working on recovering lib vectors
#1746 merged
Jun 14, 2025 -
doc: spread awareness for
--
with npm#1745 merged
Jun 14, 2025 -
refactor(meta): clean up bug report template
#1743 merged
Jun 14, 2025 -
feat-fix: trigger acess processor for
[]
(empty access)#1741 merged
Jun 14, 2025 -
feat-fix(cfg): value visitation for constant symbols
#1740 merged
Jun 14, 2025 -
build(deps-dev): bump brace-expansion from 1.1.11 to 1.1.12 in the npm_and_yarn group across 1 directory
#1737 merged
Jun 12, 2025 -
Change
amendConfig
to accept an anonymous function parameter#1725 merged
Jun 12, 2025 -
build(deps-dev): bump brace-expansion from 1.1.11 to 1.1.12 in the npm_and_yarn group across 1 directory
#1735 merged
Jun 12, 2025 -
Tests for Dependency Query and Resolve Value
#1729 merged
Jun 11, 2025
5 Pull requests opened by 5 people
-
[Linter] Naming Convention
#1749 opened
Jun 14, 2025 -
Restructure the abstract domains for data frame shapes
#1760 opened
Jun 17, 2025 -
Project Builder API
#1780 opened
Jun 24, 2025 -
[Linter] Basic Dead Code Detection
#1785 opened
Jun 27, 2025 -
Builder api plugin
#1794 opened
Jul 3, 2025
25 Issues closed by 3 people
-
[Bug]: Wrong reads edge
#1788 closed
Jun 30, 2025 -
[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 -
[Meta] Issue template for new linting rules
#1754 closed
Jun 21, 2025 -
The New Query Api (aka [1]007 with the license to kill redundant frontend boilerplate)
#1007 closed
Jun 21, 2025 -
[CFG]: Support visitation at exit node in semantic-guided visitor
#1770 closed
Jun 21, 2025 -
[Bug]: Comment Parsed As Parameter Of Function Definition With TreeSitter
#1763 closed
Jun 19, 2025 -
Missing Python Installation When Building Docker Container
#1761 closed
Jun 19, 2025 -
Add Tests cases for unreachable code detection
#1733 closed
Jun 18, 2025 -
[Doc, Bug]: Linter Documentation for deprecated functions is broken
#1758 closed
Jun 17, 2025 -
[Linter] Unused Definition
#1756 closed
Jun 15, 2025 -
[Linter] add claims in main readme
#1706 closed
Jun 15, 2025 -
Tests for Resolve Value and Dependencies Query
#1723 closed
Jun 14, 2025 -
[Bug]: Dependency Query via Vector dies if library is called directly
#1738 closed
Jun 14, 2025 -
[Doc] spread awareness for `--` with npm
#1744 closed
Jun 14, 2025 -
Simplify the bug report template
#1742 closed
Jun 14, 2025 -
[Bug]: REPL Crashes When Option `--default-engine r-shell` Is Set
#1736 closed
Jun 14, 2025 -
[Bug]: `SemanticCfgGuidedVisitor.onAccessCall` Not Triggered For Indexing Calls Without Index
#1739 closed
Jun 14, 2025 -
[Bug]: Constant symbol can be non-NULL in CFG visitor
#1731 closed
Jun 14, 2025 -
`amendConfig` should accept a DeepPartial rather than just a Partial
#1623 closed
Jun 12, 2025 -
[Bug]: Cannot amend config to use `maxIndexCount`
#1521 closed
Jun 12, 2025 -
[Dependencies, III] Support for `*apply`
#1259 closed
Jun 11, 2025 -
[Dependencies, III.5]: Support lapply in combination with library
#1500 closed
Jun 11, 2025 -
[Dependencies, III.4]: resolveValueOfVariable support for vectors
#1499 closed
Jun 11, 2025
23 Issues opened by 5 people
-
getOriginInDfg should return parent origins
#1792 opened
Jul 2, 2025 -
Use RValue Lifts to represents arguments of operations
#1791 opened
Jul 2, 2025 -
Future improvements of the data frame test framework
#1790 opened
Jul 2, 2025 -
Define library origin and return type for data frame functions
#1786 opened
Jun 27, 2025 -
[Linter] Basic Dead Code Detection
#1784 opened
Jun 27, 2025 -
[Linter] Improve seeded randomness rule tests and compatibility
#1783 opened
Jun 27, 2025 -
[Typing] Add Subtype Inference To flowR
#1782 opened
Jun 27, 2025 -
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 -
Fix remaining special edge cases of wrong over-appromxiation
#1776 opened
Jun 22, 2025 -
Implement a linter rule for accessed data frame columns
#1769 opened
Jun 20, 2025 -
Provide a query for retrieving abstract data frame operations
#1768 opened
Jun 20, 2025 -
Add documentation for new structure of abstract domains
#1767 opened
Jun 20, 2025 -
[Query] Datatype Query Repeatedly Infers Types For The Same AST In Case Of Multiple Queries
#1765 opened
Jun 19, 2025 -
Repl Query shortcuts should accept arguments
#1753 opened
Jun 15, 2025 -
Restructure the abstract domains for data frame shapes
#1752 opened
Jun 15, 2025 -
Use classes to structure abstract domains
#1751 opened
Jun 15, 2025 -
[CFG]: Add dead code detection for loop with empty vector
#1748 opened
Jun 14, 2025 -
[Linter Rule]: Enforce Naming Convention
#1732 opened
Jun 11, 2025 -
Switch to the official release of tree-sitter-r
#1730 opened
Jun 7, 2025 -
Reduce the size of the data frame shape info stored in the AST
#1728 opened
Jun 4, 2025 -
Support loading data frames from external files
#1727 opened
Jun 4, 2025 -
Use the new CFG visitor for abstract interpretation
#1726 opened
Jun 4, 2025
22 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.
-
Linter R3: Seeded Randomness
#1724 commented on
Jun 28, 2025 • 12 new comments -
[AbsInt] Tracking Data-Frame Shapes
#1466 commented on
Jul 2, 2025 • 1 new comment -
Forward Slicing
#1700 commented on
Jun 27, 2025 • 0 new comments -
Add type inference
#1652 commented on
Jun 24, 2025 • 0 new comments -
Add a generic utility function for transforming metadata attached to AST nodes
#1639 commented on
Jun 19, 2025 • 0 new comments -
Improve value handling
#1467 commented on
Jun 12, 2025 • 0 new comments -
Define capabilites and special cases for data frame abstract interpretation
#1464 commented on
Jul 2, 2025 • 0 new comments -
Add config entry for widening threshold and max col names
#1597 commented on
Jun 27, 2025 • 0 new comments -
[Typing] Add Type Inference To flowR
#174 commented on
Jun 27, 2025 • 0 new comments -
[Linter] Ideas for additional linter rules
#1713 commented on
Jun 21, 2025 • 0 new comments -
Prepare the first evaluation of abstract interpretation
#1596 commented on
Jun 15, 2025 • 0 new comments -
[Typing] Add A Query Type For Extracting Inferred Data Types
#1705 commented on
Jun 14, 2025 • 0 new comments -
Add abstract semantics for remaining data frame operations
#1580 commented on
Jun 4, 2025 • 0 new comments -
Adapt the data frame processors and semantics to the new CFG
#1525 commented on
Jun 4, 2025 • 0 new comments -
Implement fold over CFG for forward traversal
#1507 commented on
Jun 4, 2025 • 0 new comments -
Basic setup for abstract interpretation after dataflow analysis
#1506 commented on
Jun 4, 2025 • 0 new comments -
Improve performance of data frame abstract interpretation tests
#1483 commented on
Jun 4, 2025 • 0 new comments -
Add abstract interpretation hook for `assignCol` operation
#1463 commented on
Jun 4, 2025 • 0 new comments -
Restructure abstract interpretation info for data frames
#1461 commented on
Jun 4, 2025 • 0 new comments -
Add a test framework for the abstact interpretation of data frames
#1425 commented on
Jun 4, 2025 • 0 new comments -
Create first abstract interpretation hook for data frame `create` operation
#1411 commented on
Jun 4, 2025 • 0 new comments -
Basic hooks for abstract interpretation of data frames
#1410 commented on
Jun 4, 2025 • 0 new comments