Project

General

Profile

« Previous | Next » 

Revision e2380d4d

IDe2380d4d1347b418a90daa5cd63bec7b87d56224
Parent 94fb84c3
Child b09a175c

Added by Pierre-Loïc Garoche over 5 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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences