Project

General

Profile

« Previous | Next » 

Revision 9c4cc944

Added by Corentin Lauverjat over 1 year ago

Transition to dune build system
Improvement of opam integration
Dockerfile based on Alpine
Dockerfile based on Ubuntu
Update the README.md

View differences:

src/plugins.ml
1
open Lustrec
1 2
open Lustre_types
2 3

  
3 4
open PluginList
4 5

  
5

  
6 6
let options () = 
7 7
  List.flatten (
8 8
    List.map Options_management.plugin_opt (

Also available in: Unified diff