Skip to content

Commit 82386f9

Browse files
VincentChevalVincentCheval
committed
Adding the copyright to all files
1 parent b56525d commit 82386f9

53 files changed

Lines changed: 845 additions & 0 deletions

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

‎Source/core_library/config.ml.in‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
exception Internal_error of string
218

319
let running_api = ref false

‎Source/core_library/config.mli‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
(** Initial configuration of the program *)
218

319
exception Internal_error of string

‎Source/core_library/constraint_system.ml‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
open Types
218
open Term
319
open Formula

‎Source/core_library/constraint_system.mli‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
(** Operations on extended constraint systems *)
218

319
(** {% This module regroups all operations related to constraint systems and set of constraint systems. This include in particular the

‎Source/core_library/data_structure.ml‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
open Types
218
open Term
319
open Formula

‎Source/core_library/data_structure.mli‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
(** The data structures building constraint systems *)
218

319
open Types

‎Source/core_library/display.ml‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
type output =
218
| Terminal
319
| HTML

‎Source/core_library/display.mli‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
(** Pretty print of symbols *)
218

319
(** We consider 5 different display mode. Warning : The parts of the display function dealing with the display mode [Testing] should not be modified since

‎Source/core_library/extensions.ml‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
(* reimplementation and extension of the module List *)
218
module List = struct
319

‎Source/core_library/formula.ml‎

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,19 @@
1+
(**************************************************************************)
2+
(* *)
3+
(* DeepSec *)
4+
(* *)
5+
(* Vincent Cheval, project PESTO, INRIA Nancy *)
6+
(* Steve Kremer, project PESTO, INRIA Nancy *)
7+
(* Itsaka Rakotonirina, project PESTO, INRIA Nancy *)
8+
(* *)
9+
(* Copyright (C) INRIA 2017-2020 *)
10+
(* *)
11+
(* All rights reserved. This file is distributed under the terms of *)
12+
(* the GNU General Public License version 3.0 as described in the *)
13+
(* file LICENSE *)
14+
(* *)
15+
(**************************************************************************)
16+
117
open Types
218
open Term
319
open Display

0 commit comments

Comments
 (0)