Project

General

Profile

« Previous | Next » 

Revision 57c96fb7

Added by LĂ©lio Brun 11 months ago

setup tests for dune

View differences:

dune-project
18 18
 (name lustrec)
19 19
 (sites
20 20
  (lib plugins)
21
  (lib verifiers))
21
  (lib verifiers)
22
  (lib include_)
23
  (share testgen))
22 24
 (synopsis "A Lustre compiler toolset")
23 25
 (description
24 26
   "lustrec is structured around the modular compilation scheme proposed by \

Also available in: Unified diff