Skip to content

LitterBox Version 1.4
Compare
Choose a tag to compare
@gofraser gofraser released this 22 Dec 18:08
· 1907 commits to master since this release
v1.4
588955d

This release includes:

  • Introduce subsumption and duplication relations for issues
  • Hint factories to produce customised hints
  • Refined and revised many hint messages
  • Refined and improved several issue finders
  • New finders:
    • Blocking If-Else
    • Busy Waiting
    • Immediate DeleteClone After Broadcast
    • Immediate Stop After Say
    • Inappropriate Handler DeleteClone
    • Interrupted Loop Sensing
    • Recursive Cloning
    • Unnecessary Loop
Assets 3
Loading