Use Statix incremental solver - Githubissues

MeAmAnUsername / pie

Pipelines for Interactive Environments

Apache License 2.0

0 stars 0 forks source link

Use Statix incremental solver #290

Open MeAmAnUsername opened 2 years ago

MeAmAnUsername commented 2 years ago

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

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. #236 looks into improving the performance and code quality by refactoring the specification.
Supersedes #238, as the incremental solver is also concurrent.

MeAmAnUsername commented 2 years ago

Attempted, but failed due to Statix bug: metaborg/nabl#96 Blocked until that is resolved.