Project

General

Profile

« Previous | Next » 

Revision e2380d4d

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

Solved some bugs in the lustre printer
Generation of a witness with both the main node and hte inlined main node
Test script modified to check consistency of the inlining process

git-svn-id: https://cavale.enseeiht.fr/svn/lustrec/lustre_compiler/branches/inlining@162 041b043f-8d7c-46b2-b46e-ef0dd855326e

  • added
  • modified
  • copied
  • renamed
  • deleted