Revision ca4f16d0 - Merge branch 'struct' of https://cavale.enseeiht.fr/git/lustrec into struct ... - LustreC

« Previous | Next »

Revision ca4f16d0

Added by Xavier Thirioux over 6 years ago

ID ca4f16d0c2a81e51177abba65540a4a55f441c8a
Parent 7001561e, 5358a4de
Child a65e4273

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

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

Changes

added
modified
copied
renamed
deleted