Project

General

Profile

« Previous | Next » 

Revision c02d255e

IDc02d255e4a3e02cc71c716286f17139766f31218
Parent 7bc15356
Child 274c72ec

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

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences