From ef00823cf769d8e526784744a37ba8884ac85bf6 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= Date: Fri, 29 Jun 2012 01:43:15 +0200 Subject: [PATCH] Added Marc as co-author --- compiler/global/check_signature.ml | 1 + compiler/global/clocks.ml | 1 + compiler/global/global_compare.ml | 1 + compiler/global/global_mapfold.ml | 1 + compiler/global/global_printer.ml | 1 + compiler/global/idents.ml | 1 + compiler/global/idents.mli | 1 + compiler/global/initial.ml | 1 + compiler/global/linearity.ml | 1 + compiler/global/location.ml | 1 + compiler/global/modules.ml | 1 + compiler/global/names.ml | 1 + compiler/global/signature.ml | 1 + compiler/global/static.ml | 1 + compiler/global/types.ml | 1 + compiler/heptagon/analysis/causal.ml | 1 + compiler/heptagon/analysis/causality.ml | 1 + compiler/heptagon/analysis/hept_clocking.ml | 1 + compiler/heptagon/analysis/initialization.ml | 1 + compiler/heptagon/analysis/linear_typing.ml | 1 + compiler/heptagon/analysis/stateful.ml | 1 + compiler/heptagon/analysis/typing.ml | 1 + compiler/heptagon/analysis/unsafe.ml | 1 + compiler/heptagon/hept_mapfold.ml | 1 + compiler/heptagon/hept_printer.ml | 1 + compiler/heptagon/hept_utils.ml | 1 + compiler/heptagon/heptagon.ml | 1 + compiler/heptagon/main/hept_compiler.ml | 1 + compiler/heptagon/main/hept_parser_scoper.ml | 1 + compiler/heptagon/main/heptcheck.ml | 1 + compiler/heptagon/parsing/hept_lexer.mll | 1 + compiler/heptagon/parsing/hept_parser.mly | 1 + compiler/heptagon/parsing/hept_parsetree.ml | 1 + compiler/heptagon/parsing/hept_parsetree_mapfold.ml | 1 + compiler/heptagon/parsing/hept_scoping.ml | 1 + compiler/heptagon/parsing/hept_static_scoping.ml | 1 + compiler/heptagon/transformations/automata.ml | 1 + compiler/heptagon/transformations/block.ml | 1 + compiler/heptagon/transformations/boolean.ml | 1 + compiler/heptagon/transformations/boolean.mli | 1 + compiler/heptagon/transformations/completion.ml | 1 + compiler/heptagon/transformations/contracts.ml | 1 + compiler/heptagon/transformations/every.ml | 1 + compiler/heptagon/transformations/inline.ml | 1 + compiler/heptagon/transformations/itfusion.ml | 1 + compiler/heptagon/transformations/last.ml | 1 + compiler/heptagon/transformations/normalize.ml | 1 + compiler/heptagon/transformations/present.ml | 1 + compiler/heptagon/transformations/reset.ml | 1 + compiler/heptagon/transformations/switch.ml | 1 + compiler/main/hept2mls.ml | 1 + compiler/main/heptc.ml | 1 + compiler/main/hepts.ml | 1 + compiler/main/mls2obc.ml | 1 + compiler/main/mls2seq.ml | 1 + compiler/minils/analysis/clocking.ml | 1 + compiler/minils/analysis/interference.ml | 1 + compiler/minils/analysis/level_clock.ml | 1 + compiler/minils/main/mls_compiler.ml | 1 + compiler/minils/minils.ml | 1 + compiler/minils/mls_compare.ml | 1 + compiler/minils/mls_mapfold.ml | 1 + compiler/minils/mls_printer.ml | 1 + compiler/minils/mls_utils.ml | 1 + compiler/minils/sigali/sigali.ml | 1 + compiler/minils/sigali/sigali.mli | 1 + compiler/minils/sigali/sigalimain.mli | 1 + compiler/minils/transformations/callgraph.ml | 1 + compiler/minils/transformations/checkpass.ml | 1 + compiler/minils/transformations/inline_extvalues.ml | 1 + compiler/minils/transformations/normalize_mem.ml | 1 + compiler/minils/transformations/schedule.ml | 1 + compiler/minils/transformations/schedule_interf.ml | 1 + compiler/minils/transformations/tomato.ml | 1 + compiler/myocamlbuild.ml | 1 + compiler/myocamlbuild_config.ml | 1 + compiler/obc/c/c.ml | 1 + compiler/obc/c/cgen.ml | 1 + compiler/obc/c/cmain.ml | 1 + compiler/obc/c/cunroll.ml | 1 + compiler/obc/control.ml | 1 + compiler/obc/java/java.ml | 1 + compiler/obc/java/java_main.ml | 1 + compiler/obc/java/java_printer.ml | 1 + compiler/obc/java/obc2java.ml | 1 + compiler/obc/java/old_java.ml | 1 + compiler/obc/main/obc_compiler.ml | 1 + compiler/obc/obc.ml | 1 + compiler/obc/obc_compare.ml | 1 + compiler/obc/obc_mapfold.ml | 1 + compiler/obc/obc_printer.ml | 1 + compiler/obc/obc_utils.ml | 1 + compiler/obc/transformations/deadcode.ml | 1 + compiler/obc/transformations/memalloc_apply.ml | 1 + compiler/obc/transformations/scalarize.ml | 1 + compiler/obc/transformations/simplify.ml | 1 + compiler/obc/transformations/unroll.ml | 1 + compiler/preproc.ml | 2 ++ compiler/utilities/containers.ml | 1 + compiler/utilities/global/compiler_options.ml | 1 + compiler/utilities/global/compiler_timings.ml | 1 + compiler/utilities/global/compiler_utils.ml | 1 + compiler/utilities/global/dep.ml | 1 + compiler/utilities/global/errors.ml | 1 + compiler/utilities/global/printf_parser.ml | 1 + compiler/utilities/minils/dcoloring.ml | 1 + compiler/utilities/minils/interference2dot.ml | 1 + compiler/utilities/minils/interference_graph.ml | 1 + compiler/utilities/misc.ml | 1 + compiler/utilities/misc.mli | 1 + compiler/utilities/sgraph.ml | 1 + lib/c/pervasives.h | 1 + lib/iostream.epi | 1 + lib/java/jeptagon/Pervasives.java | 1 + lib/pervasives.epi | 1 + 115 files changed, 116 insertions(+) diff --git a/compiler/global/check_signature.ml b/compiler/global/check_signature.ml index 6dda97f..04915a1 100644 --- a/compiler/global/check_signature.ml +++ b/compiler/global/check_signature.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/clocks.ml b/compiler/global/clocks.ml index 62862df..a378588 100644 --- a/compiler/global/clocks.ml +++ b/compiler/global/clocks.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/global_compare.ml b/compiler/global/global_compare.ml index 17830f7..26fd3d2 100644 --- a/compiler/global/global_compare.ml +++ b/compiler/global/global_compare.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/global_mapfold.ml b/compiler/global/global_mapfold.ml index bf6d0bc..43b6bd4 100644 --- a/compiler/global/global_mapfold.ml +++ b/compiler/global/global_mapfold.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/global_printer.ml b/compiler/global/global_printer.ml index ed34d49..32c46e8 100644 --- a/compiler/global/global_printer.ml +++ b/compiler/global/global_printer.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/idents.ml b/compiler/global/idents.ml index 59056bb..6899488 100644 --- a/compiler/global/idents.ml +++ b/compiler/global/idents.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/idents.mli b/compiler/global/idents.mli index 901baaf..01eab6a 100644 --- a/compiler/global/idents.mli +++ b/compiler/global/idents.mli @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/initial.ml b/compiler/global/initial.ml index 2bdeea9..c925279 100644 --- a/compiler/global/initial.ml +++ b/compiler/global/initial.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/linearity.ml b/compiler/global/linearity.ml index 4686711..4c2d5b1 100644 --- a/compiler/global/linearity.ml +++ b/compiler/global/linearity.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/location.ml b/compiler/global/location.ml index 89a907f..d2a571d 100644 --- a/compiler/global/location.ml +++ b/compiler/global/location.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/modules.ml b/compiler/global/modules.ml index 644319a..9d60d87 100644 --- a/compiler/global/modules.ml +++ b/compiler/global/modules.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/names.ml b/compiler/global/names.ml index f276d76..8496922 100644 --- a/compiler/global/names.ml +++ b/compiler/global/names.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/signature.ml b/compiler/global/signature.ml index 16ca68e..2af26e7 100644 --- a/compiler/global/signature.ml +++ b/compiler/global/signature.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/static.ml b/compiler/global/static.ml index 3f881fb..4dd8f38 100644 --- a/compiler/global/static.ml +++ b/compiler/global/static.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/global/types.ml b/compiler/global/types.ml index ff86c78..c3c2c38 100644 --- a/compiler/global/types.ml +++ b/compiler/global/types.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/causal.ml b/compiler/heptagon/analysis/causal.ml index 6aa1d07..2245b10 100644 --- a/compiler/heptagon/analysis/causal.ml +++ b/compiler/heptagon/analysis/causal.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/causality.ml b/compiler/heptagon/analysis/causality.ml index b21b5fe..1e6333c 100644 --- a/compiler/heptagon/analysis/causality.ml +++ b/compiler/heptagon/analysis/causality.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/hept_clocking.ml b/compiler/heptagon/analysis/hept_clocking.ml index 627baa7..71eb0d2 100644 --- a/compiler/heptagon/analysis/hept_clocking.ml +++ b/compiler/heptagon/analysis/hept_clocking.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/initialization.ml b/compiler/heptagon/analysis/initialization.ml index 8114423..7333c71 100644 --- a/compiler/heptagon/analysis/initialization.ml +++ b/compiler/heptagon/analysis/initialization.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/linear_typing.ml b/compiler/heptagon/analysis/linear_typing.ml index 9e85e65..4466999 100644 --- a/compiler/heptagon/analysis/linear_typing.ml +++ b/compiler/heptagon/analysis/linear_typing.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/stateful.ml b/compiler/heptagon/analysis/stateful.ml index 65f83d9..ae8c3cf 100644 --- a/compiler/heptagon/analysis/stateful.ml +++ b/compiler/heptagon/analysis/stateful.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/typing.ml b/compiler/heptagon/analysis/typing.ml index 7fbf02e..cd48382 100644 --- a/compiler/heptagon/analysis/typing.ml +++ b/compiler/heptagon/analysis/typing.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/analysis/unsafe.ml b/compiler/heptagon/analysis/unsafe.ml index bff3e20..65b9281 100644 --- a/compiler/heptagon/analysis/unsafe.ml +++ b/compiler/heptagon/analysis/unsafe.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/hept_mapfold.ml b/compiler/heptagon/hept_mapfold.ml index 7150106..d5cea6e 100644 --- a/compiler/heptagon/hept_mapfold.ml +++ b/compiler/heptagon/hept_mapfold.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/hept_printer.ml b/compiler/heptagon/hept_printer.ml index 43bf104..0ac6c89 100644 --- a/compiler/heptagon/hept_printer.ml +++ b/compiler/heptagon/hept_printer.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/hept_utils.ml b/compiler/heptagon/hept_utils.ml index 2802883..68874e9 100644 --- a/compiler/heptagon/hept_utils.ml +++ b/compiler/heptagon/hept_utils.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/heptagon.ml b/compiler/heptagon/heptagon.ml index f239124..1d43669 100644 --- a/compiler/heptagon/heptagon.ml +++ b/compiler/heptagon/heptagon.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/main/hept_compiler.ml b/compiler/heptagon/main/hept_compiler.ml index c8510fd..696b902 100644 --- a/compiler/heptagon/main/hept_compiler.ml +++ b/compiler/heptagon/main/hept_compiler.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/main/hept_parser_scoper.ml b/compiler/heptagon/main/hept_parser_scoper.ml index 9d53c39..efe7724 100644 --- a/compiler/heptagon/main/hept_parser_scoper.ml +++ b/compiler/heptagon/main/hept_parser_scoper.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/main/heptcheck.ml b/compiler/heptagon/main/heptcheck.ml index 95edf96..da0ade1 100644 --- a/compiler/heptagon/main/heptcheck.ml +++ b/compiler/heptagon/main/heptcheck.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/parsing/hept_lexer.mll b/compiler/heptagon/parsing/hept_lexer.mll index 466c828..24ec5be 100644 --- a/compiler/heptagon/parsing/hept_lexer.mll +++ b/compiler/heptagon/parsing/hept_lexer.mll @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/parsing/hept_parser.mly b/compiler/heptagon/parsing/hept_parser.mly index 875cdfb..85ec42c 100644 --- a/compiler/heptagon/parsing/hept_parser.mly +++ b/compiler/heptagon/parsing/hept_parser.mly @@ -7,6 +7,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/parsing/hept_parsetree.ml b/compiler/heptagon/parsing/hept_parsetree.ml index 4582897..c86d38f 100644 --- a/compiler/heptagon/parsing/hept_parsetree.ml +++ b/compiler/heptagon/parsing/hept_parsetree.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/parsing/hept_parsetree_mapfold.ml b/compiler/heptagon/parsing/hept_parsetree_mapfold.ml index 15e48f7..d0fbf8a 100644 --- a/compiler/heptagon/parsing/hept_parsetree_mapfold.ml +++ b/compiler/heptagon/parsing/hept_parsetree_mapfold.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/parsing/hept_scoping.ml b/compiler/heptagon/parsing/hept_scoping.ml index cd22058..5239979 100644 --- a/compiler/heptagon/parsing/hept_scoping.ml +++ b/compiler/heptagon/parsing/hept_scoping.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/parsing/hept_static_scoping.ml b/compiler/heptagon/parsing/hept_static_scoping.ml index 7a03e4c..2569df4 100644 --- a/compiler/heptagon/parsing/hept_static_scoping.ml +++ b/compiler/heptagon/parsing/hept_static_scoping.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/automata.ml b/compiler/heptagon/transformations/automata.ml index 4d39bd4..9370c4e 100644 --- a/compiler/heptagon/transformations/automata.ml +++ b/compiler/heptagon/transformations/automata.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/block.ml b/compiler/heptagon/transformations/block.ml index c3533c7..272ca5f 100644 --- a/compiler/heptagon/transformations/block.ml +++ b/compiler/heptagon/transformations/block.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/boolean.ml b/compiler/heptagon/transformations/boolean.ml index 2ffb1e3..110e186 100644 --- a/compiler/heptagon/transformations/boolean.ml +++ b/compiler/heptagon/transformations/boolean.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/boolean.mli b/compiler/heptagon/transformations/boolean.mli index 610f797..9adf022 100644 --- a/compiler/heptagon/transformations/boolean.mli +++ b/compiler/heptagon/transformations/boolean.mli @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/completion.ml b/compiler/heptagon/transformations/completion.ml index c545ecc..88ce10a 100644 --- a/compiler/heptagon/transformations/completion.ml +++ b/compiler/heptagon/transformations/completion.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/contracts.ml b/compiler/heptagon/transformations/contracts.ml index 569405d..c8595a9 100644 --- a/compiler/heptagon/transformations/contracts.ml +++ b/compiler/heptagon/transformations/contracts.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/every.ml b/compiler/heptagon/transformations/every.ml index 6f559be..39da6c9 100644 --- a/compiler/heptagon/transformations/every.ml +++ b/compiler/heptagon/transformations/every.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/inline.ml b/compiler/heptagon/transformations/inline.ml index 6d7c7d4..b303060 100644 --- a/compiler/heptagon/transformations/inline.ml +++ b/compiler/heptagon/transformations/inline.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/itfusion.ml b/compiler/heptagon/transformations/itfusion.ml index 8be77d1..19fed77 100644 --- a/compiler/heptagon/transformations/itfusion.ml +++ b/compiler/heptagon/transformations/itfusion.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/last.ml b/compiler/heptagon/transformations/last.ml index 80a271d..332e022 100644 --- a/compiler/heptagon/transformations/last.ml +++ b/compiler/heptagon/transformations/last.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/normalize.ml b/compiler/heptagon/transformations/normalize.ml index 2702ce3..35f81be 100644 --- a/compiler/heptagon/transformations/normalize.ml +++ b/compiler/heptagon/transformations/normalize.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/present.ml b/compiler/heptagon/transformations/present.ml index c8c1c2e..3e5a62d 100644 --- a/compiler/heptagon/transformations/present.ml +++ b/compiler/heptagon/transformations/present.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/reset.ml b/compiler/heptagon/transformations/reset.ml index 4bedb7e..5cee297 100644 --- a/compiler/heptagon/transformations/reset.ml +++ b/compiler/heptagon/transformations/reset.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/heptagon/transformations/switch.ml b/compiler/heptagon/transformations/switch.ml index f3ec6ab..a42b068 100644 --- a/compiler/heptagon/transformations/switch.ml +++ b/compiler/heptagon/transformations/switch.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/main/hept2mls.ml b/compiler/main/hept2mls.ml index 2adf737..006aa7e 100644 --- a/compiler/main/hept2mls.ml +++ b/compiler/main/hept2mls.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/main/heptc.ml b/compiler/main/heptc.ml index 249a52c..13a58c9 100644 --- a/compiler/main/heptc.ml +++ b/compiler/main/heptc.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/main/hepts.ml b/compiler/main/hepts.ml index ba087c4..de6f805 100644 --- a/compiler/main/hepts.ml +++ b/compiler/main/hepts.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/main/mls2obc.ml b/compiler/main/mls2obc.ml index 7583933..7ae8bae 100644 --- a/compiler/main/mls2obc.ml +++ b/compiler/main/mls2obc.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/main/mls2seq.ml b/compiler/main/mls2seq.ml index 9304206..9e08f24 100644 --- a/compiler/main/mls2seq.ml +++ b/compiler/main/mls2seq.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/analysis/clocking.ml b/compiler/minils/analysis/clocking.ml index 84698cd..5dabfaf 100644 --- a/compiler/minils/analysis/clocking.ml +++ b/compiler/minils/analysis/clocking.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/analysis/interference.ml b/compiler/minils/analysis/interference.ml index 651bf53..a976a5f 100644 --- a/compiler/minils/analysis/interference.ml +++ b/compiler/minils/analysis/interference.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/analysis/level_clock.ml b/compiler/minils/analysis/level_clock.ml index 5d9a2b4..b3d576e 100644 --- a/compiler/minils/analysis/level_clock.ml +++ b/compiler/minils/analysis/level_clock.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/main/mls_compiler.ml b/compiler/minils/main/mls_compiler.ml index 5f8d497..2e67178 100644 --- a/compiler/minils/main/mls_compiler.ml +++ b/compiler/minils/main/mls_compiler.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/minils.ml b/compiler/minils/minils.ml index 5a77088..6671034 100644 --- a/compiler/minils/minils.ml +++ b/compiler/minils/minils.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/mls_compare.ml b/compiler/minils/mls_compare.ml index 4799e11..e24c97a 100644 --- a/compiler/minils/mls_compare.ml +++ b/compiler/minils/mls_compare.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/mls_mapfold.ml b/compiler/minils/mls_mapfold.ml index a1c61e4..15bf88f 100644 --- a/compiler/minils/mls_mapfold.ml +++ b/compiler/minils/mls_mapfold.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/mls_printer.ml b/compiler/minils/mls_printer.ml index a5af6ec..705f16a 100644 --- a/compiler/minils/mls_printer.ml +++ b/compiler/minils/mls_printer.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/mls_utils.ml b/compiler/minils/mls_utils.ml index e1604de..3af42f7 100644 --- a/compiler/minils/mls_utils.ml +++ b/compiler/minils/mls_utils.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/sigali/sigali.ml b/compiler/minils/sigali/sigali.ml index 68b2f01..2a0045e 100644 --- a/compiler/minils/sigali/sigali.ml +++ b/compiler/minils/sigali/sigali.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/sigali/sigali.mli b/compiler/minils/sigali/sigali.mli index 0f9f5e2..da88f16 100644 --- a/compiler/minils/sigali/sigali.mli +++ b/compiler/minils/sigali/sigali.mli @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/sigali/sigalimain.mli b/compiler/minils/sigali/sigalimain.mli index 7ace5d1..d6cddcc 100644 --- a/compiler/minils/sigali/sigalimain.mli +++ b/compiler/minils/sigali/sigalimain.mli @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/callgraph.ml b/compiler/minils/transformations/callgraph.ml index 700b577..cf6cf39 100644 --- a/compiler/minils/transformations/callgraph.ml +++ b/compiler/minils/transformations/callgraph.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/checkpass.ml b/compiler/minils/transformations/checkpass.ml index b690105..68690ac 100644 --- a/compiler/minils/transformations/checkpass.ml +++ b/compiler/minils/transformations/checkpass.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/inline_extvalues.ml b/compiler/minils/transformations/inline_extvalues.ml index 655ceee..530acdd 100644 --- a/compiler/minils/transformations/inline_extvalues.ml +++ b/compiler/minils/transformations/inline_extvalues.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/normalize_mem.ml b/compiler/minils/transformations/normalize_mem.ml index 154c656..0515ebe 100644 --- a/compiler/minils/transformations/normalize_mem.ml +++ b/compiler/minils/transformations/normalize_mem.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/schedule.ml b/compiler/minils/transformations/schedule.ml index a08dabd..3ce65fc 100644 --- a/compiler/minils/transformations/schedule.ml +++ b/compiler/minils/transformations/schedule.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/schedule_interf.ml b/compiler/minils/transformations/schedule_interf.ml index c08711d..30332d1 100644 --- a/compiler/minils/transformations/schedule_interf.ml +++ b/compiler/minils/transformations/schedule_interf.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/minils/transformations/tomato.ml b/compiler/minils/transformations/tomato.ml index dbe355f..0640515 100644 --- a/compiler/minils/transformations/tomato.ml +++ b/compiler/minils/transformations/tomato.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/myocamlbuild.ml b/compiler/myocamlbuild.ml index 83b01f4..775f69c 100644 --- a/compiler/myocamlbuild.ml +++ b/compiler/myocamlbuild.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/myocamlbuild_config.ml b/compiler/myocamlbuild_config.ml index 510a372..e63553b 100644 --- a/compiler/myocamlbuild_config.ml +++ b/compiler/myocamlbuild_config.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/c/c.ml b/compiler/obc/c/c.ml index 2a7f11d..f7ae58f 100644 --- a/compiler/obc/c/c.ml +++ b/compiler/obc/c/c.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/c/cgen.ml b/compiler/obc/c/cgen.ml index 59932fe..1b2ff53 100644 --- a/compiler/obc/c/cgen.ml +++ b/compiler/obc/c/cgen.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/c/cmain.ml b/compiler/obc/c/cmain.ml index 0ceec4f..3902d76 100644 --- a/compiler/obc/c/cmain.ml +++ b/compiler/obc/c/cmain.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/c/cunroll.ml b/compiler/obc/c/cunroll.ml index 406f4fe..3e03666 100644 --- a/compiler/obc/c/cunroll.ml +++ b/compiler/obc/c/cunroll.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/control.ml b/compiler/obc/control.ml index bdd9aee..8668e3a 100644 --- a/compiler/obc/control.ml +++ b/compiler/obc/control.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/java/java.ml b/compiler/obc/java/java.ml index 532849a..f1b392f 100644 --- a/compiler/obc/java/java.ml +++ b/compiler/obc/java/java.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/java/java_main.ml b/compiler/obc/java/java_main.ml index 51b6e0a..a58e891 100644 --- a/compiler/obc/java/java_main.ml +++ b/compiler/obc/java/java_main.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/java/java_printer.ml b/compiler/obc/java/java_printer.ml index 7517c8f..df1c3b9 100644 --- a/compiler/obc/java/java_printer.ml +++ b/compiler/obc/java/java_printer.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/java/obc2java.ml b/compiler/obc/java/obc2java.ml index 1f27ca3..eb2f4b9 100644 --- a/compiler/obc/java/obc2java.ml +++ b/compiler/obc/java/obc2java.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/java/old_java.ml b/compiler/obc/java/old_java.ml index 0d07126..80e50a5 100644 --- a/compiler/obc/java/old_java.ml +++ b/compiler/obc/java/old_java.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/main/obc_compiler.ml b/compiler/obc/main/obc_compiler.ml index 5358ebf..88e5c03 100644 --- a/compiler/obc/main/obc_compiler.ml +++ b/compiler/obc/main/obc_compiler.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/obc.ml b/compiler/obc/obc.ml index bfda25d..dada2bb 100644 --- a/compiler/obc/obc.ml +++ b/compiler/obc/obc.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/obc_compare.ml b/compiler/obc/obc_compare.ml index 9d7dbce..aa744cf 100644 --- a/compiler/obc/obc_compare.ml +++ b/compiler/obc/obc_compare.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/obc_mapfold.ml b/compiler/obc/obc_mapfold.ml index 4b8a5a5..8317943 100644 --- a/compiler/obc/obc_mapfold.ml +++ b/compiler/obc/obc_mapfold.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/obc_printer.ml b/compiler/obc/obc_printer.ml index 7dedfe2..2ab6f84 100644 --- a/compiler/obc/obc_printer.ml +++ b/compiler/obc/obc_printer.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/obc_utils.ml b/compiler/obc/obc_utils.ml index 9f60d0c..160b832 100644 --- a/compiler/obc/obc_utils.ml +++ b/compiler/obc/obc_utils.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/transformations/deadcode.ml b/compiler/obc/transformations/deadcode.ml index d99a7a6..b9a9c12 100644 --- a/compiler/obc/transformations/deadcode.ml +++ b/compiler/obc/transformations/deadcode.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/transformations/memalloc_apply.ml b/compiler/obc/transformations/memalloc_apply.ml index d6b194f..ecf34ed 100644 --- a/compiler/obc/transformations/memalloc_apply.ml +++ b/compiler/obc/transformations/memalloc_apply.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/transformations/scalarize.ml b/compiler/obc/transformations/scalarize.ml index ad514f1..936ab34 100644 --- a/compiler/obc/transformations/scalarize.ml +++ b/compiler/obc/transformations/scalarize.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/transformations/simplify.ml b/compiler/obc/transformations/simplify.ml index 9dc90d4..61619f6 100644 --- a/compiler/obc/transformations/simplify.ml +++ b/compiler/obc/transformations/simplify.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/obc/transformations/unroll.ml b/compiler/obc/transformations/unroll.ml index dd1abcb..29c7cf0 100644 --- a/compiler/obc/transformations/unroll.ml +++ b/compiler/obc/transformations/unroll.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/preproc.ml b/compiler/preproc.ml index 536ad98..71f7830 100644 --- a/compiler/preproc.ml +++ b/compiler/preproc.ml @@ -6,6 +6,8 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/containers.ml b/compiler/utilities/containers.ml index edac624..0aa920e 100644 --- a/compiler/utilities/containers.ml +++ b/compiler/utilities/containers.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml index 02038df..01fcc27 100644 --- a/compiler/utilities/global/compiler_options.ml +++ b/compiler/utilities/global/compiler_options.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/global/compiler_timings.ml b/compiler/utilities/global/compiler_timings.ml index 6b57b87..2e971ea 100644 --- a/compiler/utilities/global/compiler_timings.ml +++ b/compiler/utilities/global/compiler_timings.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/global/compiler_utils.ml b/compiler/utilities/global/compiler_utils.ml index 298ad29..bd4a70b 100644 --- a/compiler/utilities/global/compiler_utils.ml +++ b/compiler/utilities/global/compiler_utils.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/global/dep.ml b/compiler/utilities/global/dep.ml index eda0161..1087bf5 100644 --- a/compiler/utilities/global/dep.ml +++ b/compiler/utilities/global/dep.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/global/errors.ml b/compiler/utilities/global/errors.ml index 932a9fe..a3be709 100644 --- a/compiler/utilities/global/errors.ml +++ b/compiler/utilities/global/errors.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/global/printf_parser.ml b/compiler/utilities/global/printf_parser.ml index 4d94a1f..8a429fa 100644 --- a/compiler/utilities/global/printf_parser.ml +++ b/compiler/utilities/global/printf_parser.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/minils/dcoloring.ml b/compiler/utilities/minils/dcoloring.ml index 4010ff6..73928fd 100644 --- a/compiler/utilities/minils/dcoloring.ml +++ b/compiler/utilities/minils/dcoloring.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/minils/interference2dot.ml b/compiler/utilities/minils/interference2dot.ml index 99afc0d..caa750c 100644 --- a/compiler/utilities/minils/interference2dot.ml +++ b/compiler/utilities/minils/interference2dot.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/minils/interference_graph.ml b/compiler/utilities/minils/interference_graph.ml index 4f8e080..b5de227 100644 --- a/compiler/utilities/minils/interference_graph.ml +++ b/compiler/utilities/minils/interference_graph.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/misc.ml b/compiler/utilities/misc.ml index c4ab802..56c6dd0 100644 --- a/compiler/utilities/misc.ml +++ b/compiler/utilities/misc.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/misc.mli b/compiler/utilities/misc.mli index 51a2453..ce5b8bf 100644 --- a/compiler/utilities/misc.mli +++ b/compiler/utilities/misc.mli @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/compiler/utilities/sgraph.ml b/compiler/utilities/sgraph.ml index d112222..388add0 100644 --- a/compiler/utilities/sgraph.ml +++ b/compiler/utilities/sgraph.ml @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/lib/c/pervasives.h b/lib/c/pervasives.h index 9254fab..87041db 100644 --- a/lib/c/pervasives.h +++ b/lib/c/pervasives.h @@ -6,6 +6,7 @@ /* Leonard Gerard, Parkas, ENS */ /* Adrien Guatto, Parkas, ENS */ /* Cedric Pasteur, Parkas, ENS */ +/* Marc Pouzet, Parkas, ENS */ /* */ /* Copyright 2012 ENS, INRIA, UJF */ /* */ diff --git a/lib/iostream.epi b/lib/iostream.epi index af71453..1c34124 100644 --- a/lib/iostream.epi +++ b/lib/iostream.epi @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *) diff --git a/lib/java/jeptagon/Pervasives.java b/lib/java/jeptagon/Pervasives.java index decbcc0..0f9a7fa 100644 --- a/lib/java/jeptagon/Pervasives.java +++ b/lib/java/jeptagon/Pervasives.java @@ -6,6 +6,7 @@ /* Leonard Gerard, Parkas, ENS */ /* Adrien Guatto, Parkas, ENS */ /* Cedric Pasteur, Parkas, ENS */ +/* Marc Pouzet, Parkas, ENS */ /* */ /* Copyright 2012 ENS, INRIA, UJF */ /* */ diff --git a/lib/pervasives.epi b/lib/pervasives.epi index c4baea6..c75c764 100644 --- a/lib/pervasives.epi +++ b/lib/pervasives.epi @@ -6,6 +6,7 @@ (* Leonard Gerard, Parkas, ENS *) (* Adrien Guatto, Parkas, ENS *) (* Cedric Pasteur, Parkas, ENS *) +(* Marc Pouzet, Parkas, ENS *) (* *) (* Copyright 2012 ENS, INRIA, UJF *) (* *)