Project

General

Profile

« Previous | Next » 

Revision ca4f16d0

Added by Xavier Thirioux over 6 years ago

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

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

  • added
  • modified
  • copied
  • renamed
  • deleted