Project

General

Profile

« Previous | Next » 

Revision fd834769

IDfd83476962ffa5e21eb23854a5c11178a7448fd3
Parent 7cbb6d8a
Child e6705d79

Added by Guillaume DAVY almost 2 years ago

Ada: Add the generation of the wrapper file : the main ada file and the project. It is called
only if the main node option is given to lustrec. This feature implied some refactoring. Also
added some OCaml Doc to undocummented functions.

Files

  • added
  • modified
  • copied
  • renamed
  • deleted

View differences