Project

General

Profile

« Previous | Next » 

Revision e7aaefa9

IDe7aaefa941c61404c5799c5a6a3b0fed742cd23c
Parent fdda99d4
Child bc706b79

Added by Hans-Peter Deifel 8 months ago

Specialize deferral tracking for aconjunctive fragment

For the aconjunctive fragment, we replace the generation of a single
core with all tracked deferrals by the generation of multiple cores,
each annotated with a single deferral from the above set.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences