List view

• Constraint Refactoring

  No due date

  •0/3 issues closed
  0% complete3 open0 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

  •0/6 issues closed
  0% complete6 open0 closed

• 0.15.0

  No due date

  •0/3 issues closed
  0% complete3 open0 closed

• 0.14.2

  No due date

  •6/8 issues closed
  75% complete2 open6 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