Project

General

Profile

« Previous | Next » 

Revision ca4f16d0

IDca4f16d0c2a81e51177abba65540a4a55f441c8a
Parent 7001561e, 5358a4de
Child a65e4273

Added by Xavier Thirioux almost 5 years ago

Merge branch 'struct' of https://cavale.enseeiht.fr/git/lustrec into struct

Conflicts:
src/lustreSpec.ml
src/printers.ml

Files

  • added
  • modified
  • copied
  • renamed
  • deleted