Project

General

Profile

« Previous | Next » 

Revision 678a94ac

Added by LĂ©lio Brun 8 months ago

generate existential vars to handle reuse optimization
Discussion w Xavier: replace this mechanism (fragile because of non-constructive witnesses) with a ghost-variables-based mechanism

  • added
  • modified
  • copied
  • renamed
  • deleted