List view

• 0.17.0

  No due date
  0% complete0 open0 closed

• 0.16.0

  No due date

  •9/22 issues closed
  40% complete13 open9 closed

• Constraint Refactoring

  No due date

  •1/3 issues closed
  33% complete2 open1 closed

• Roadmap (no ETA)

  This milestone collects *major features* (not bugs or minor changes) that are planned but have no concrete release or implementation plan yet. Other items that have a concrete planned release or ones that are already in the process of being implemented can be found in the respective milestones named after the version number.

  No due date

  •2/9 issues closed
  22% complete7 open2 closed

• Hypothesis

  Property-based testing for the entire code base. In particular: - Serialization roundtrip tests for all components - Integration tests

  No due date

  •4/4 issues closed
  100% complete0 open4 closed