Project

General

Profile

« Previous | Next » 

Revision 69962164

ID69962164de825708cbb3bfce37e3b850ce45cdb3
Parent 467e8bbc
Child fdfe3dcc

Added by Hans-Peter Deifel 2 months ago

CoAlgMisc: Store fixpoint variable name for every deferral

This is only useful for debugging and currently not used anywhere in
the code.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences