Project

General

Profile

« Previous | Next » 

Revision ef609cc9

IDef609cc9fa869af925ce0bb33007887d2afd64d9
Parent 8eeec77e
Child 51ec4e8c

Added by Pierre-Loïc Garoche almost 2 years ago

Zustre: do not declare variables as Fixedpoint relations

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences