Revision ef609cc9
Zustre: do not declare variables as Fixedpoint relations
Files
- added
- modified
- copied
- renamed
- deleted
ID | ef609cc9fa869af925ce0bb33007887d2afd64d9 |
Parent | 8eeec77e |
Child | 51ec4e8c |
Added by Pierre-Loïc Garoche almost 3 years ago
Zustre: do not declare variables as Fixedpoint relations