⇢ | C | IntroductionFilter::filterChunk() added | |
⇢ | C | InvariantFilter::filterChunk() added | |
⇢ | C | EnforcementFilter::filterChunk() added | |
⇢ | B | AdviceFilter::filterChunk() added | |
⇢ | B | PostconditionFilter::filterChunk() added | |
⇢ | B | PreconditionFilter::filterChunk() added | |
⇢ | B | ProcessingFilter::filterChunk() added | |
⇢ | A | SkeletonFilter::filterChunk() added | |
D | ↛ | IntroductionFilter::filter() removed | |
C | ↛ | EnforcementFilter::filter() removed | |
C | ↛ | InvariantFilter::filter() removed | |
C | ↛ | PostconditionFilter::filter() removed | |
C | ↛ | PreconditionFilter::filter() removed | |
C | ↛ | ProcessingFilter::filter() removed | |
C | ↛ | AdviceFilter::filter() removed | |
A | ↛ | SkeletonFilter::finish() removed | |
A | ↛ | SkeletonFilter::filter() removed |