Skip to content

Use Statix incremental solver #290

Open
Open
Use Statix incremental solver#290
Labels
Component: code baseThe code quality of the project (does not affect functionality)Priority: lowStatus: blockedStatus: specifiedEnhancement that is ready to implementType: enhancementNew feature or request

Description

@MeAmAnUsername
MeAmAnUsername
opened on Apr 14, 2022

Summary
Switch Statix solver from the single threaded solver to the incremental solver

Todo

  • Switch to Statix incremental solver

Reason
The incremental solver should hopefully be faster than the single-threaded solver.

Related issues

  • Refactor module system #204 refactors the module system to make the code better suitable for the concurrency in the incremental solver, and possibly the incremental solver in general.
  • This issue looks into improving performance by changing the project configuration. Improve Statix specification #236 looks into improving the performance and code quality by refactoring the specification.
  • Supersedes Use Statix concurrent solver #238, as the incremental solver is also concurrent.

Metadata

Metadata

Assignees

No one assigned

    Labels

    Component: code baseThe code quality of the project (does not affect functionality)Priority: lowStatus: blockedStatus: specifiedEnhancement that is ready to implementType: enhancementNew feature or request

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions