Skip to content

Home

Jump to bottom
Narazaki Shuji edited this page Mar 22, 2021 · 6 revisions

Welcome to the splr wiki!

Decisions

  • Drop the idea that the restart sequence should be resettable.
  • Activities should be bounded.
  • Stabilization series should not be resettable.

Retired

  • Staging is a mechanism to focus on some vars. For now, we don't have any good criteria to distinguish good candidates except var activity. So this should be a method to select or restrict vars out of highly activated vars.

Clone this wiki locally