Skip to content

Commit cb2be2a

Browse files
mshinwellmshinwell
committed
Fix headers
1 parent edfc4f7 commit cb2be2a

File tree

7 files changed

+189
-91
lines changed

7 files changed

+189
-91
lines changed

‎backend/debug/dwarf/dwarf_ocaml/dwarf_abstract_instances.ml

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,30 @@
1-
(**************************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Mark Shinwell, Jane Street Europe *)
6-
(* *)
7-
(* Copyright 2013--2023 Jane Street Group LLC *)
8-
(* *)
9-
(* All rights reserved. This file is distributed under the terms of *)
10-
(* the GNU Lesser General Public License version 2.1, with the *)
11-
(* special exception on linking described in the file LICENSE. *)
12-
(* *)
13-
(**************************************************************************)
1+
(******************************************************************************
2+
* flambda-backend *
3+
* Mark Shinwell, Jane Street *
4+
* -------------------------------------------------------------------------- *
5+
* MIT License *
6+
* *
7+
* Copyright (c) 2024 Jane Street Group LLC *
8+
* [email protected] *
9+
* *
10+
* Permission is hereby granted, free of charge, to any person obtaining a *
11+
* copy of this software and associated documentation files (the "Software"), *
12+
* to deal in the Software without restriction, including without limitation *
13+
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
14+
* and/or sell copies of the Software, and to permit persons to whom the *
15+
* Software is furnished to do so, subject to the following conditions: *
16+
* *
17+
* The above copyright notice and this permission notice shall be included *
18+
* in all copies or substantial portions of the Software. *
19+
* *
20+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
21+
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
22+
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
23+
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24+
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *
25+
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *
26+
* DEALINGS IN THE SOFTWARE. *
27+
******************************************************************************)
1428

1529
open! Asm_targets
1630
open! Dwarf_low

‎backend/debug/dwarf/dwarf_ocaml/dwarf_abstract_instances.mli

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,30 @@
1-
(**************************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Mark Shinwell, Jane Street Europe *)
6-
(* *)
7-
(* Copyright 2013--2023 Jane Street Group LLC *)
8-
(* *)
9-
(* All rights reserved. This file is distributed under the terms of *)
10-
(* the GNU Lesser General Public License version 2.1, with the *)
11-
(* special exception on linking described in the file LICENSE. *)
12-
(* *)
13-
(**************************************************************************)
1+
(******************************************************************************
2+
* flambda-backend *
3+
* Mark Shinwell, Jane Street *
4+
* -------------------------------------------------------------------------- *
5+
* MIT License *
6+
* *
7+
* Copyright (c) 2024 Jane Street Group LLC *
8+
* [email protected] *
9+
* *
10+
* Permission is hereby granted, free of charge, to any person obtaining a *
11+
* copy of this software and associated documentation files (the "Software"), *
12+
* to deal in the Software without restriction, including without limitation *
13+
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
14+
* and/or sell copies of the Software, and to permit persons to whom the *
15+
* Software is furnished to do so, subject to the following conditions: *
16+
* *
17+
* The above copyright notice and this permission notice shall be included *
18+
* in all copies or substantial portions of the Software. *
19+
* *
20+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
21+
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
22+
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
23+
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24+
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *
25+
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *
26+
* DEALINGS IN THE SOFTWARE. *
27+
******************************************************************************)
1428

1529
(** Management of DWARF "abstract instances" for functions. *)
1630

‎backend/debug/dwarf/dwarf_ocaml/dwarf_concrete_instances.ml

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,30 @@
1-
(**************************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Mark Shinwell, Jane Street Europe *)
6-
(* *)
7-
(* Copyright 2013--2019 Jane Street Group LLC *)
8-
(* *)
9-
(* All rights reserved. This file is distributed under the terms of *)
10-
(* the GNU Lesser General Public License version 2.1, with the *)
11-
(* special exception on linking described in the file LICENSE. *)
12-
(* *)
13-
(**************************************************************************)
1+
(******************************************************************************
2+
* flambda-backend *
3+
* Mark Shinwell, Jane Street *
4+
* -------------------------------------------------------------------------- *
5+
* MIT License *
6+
* *
7+
* Copyright (c) 2024 Jane Street Group LLC *
8+
* [email protected] *
9+
* *
10+
* Permission is hereby granted, free of charge, to any person obtaining a *
11+
* copy of this software and associated documentation files (the "Software"), *
12+
* to deal in the Software without restriction, including without limitation *
13+
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
14+
* and/or sell copies of the Software, and to permit persons to whom the *
15+
* Software is furnished to do so, subject to the following conditions: *
16+
* *
17+
* The above copyright notice and this permission notice shall be included *
18+
* in all copies or substantial portions of the Software. *
19+
* *
20+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
21+
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
22+
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
23+
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24+
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *
25+
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *
26+
* DEALINGS IN THE SOFTWARE. *
27+
******************************************************************************)
1428

1529
[@@@ocaml.warning "+a-4-30-40-41-42"]
1630

‎backend/debug/dwarf/dwarf_ocaml/dwarf_concrete_instances.mli

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,30 @@
1-
(**************************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Mark Shinwell, Jane Street Europe *)
6-
(* *)
7-
(* Copyright 2013--2023 Jane Street Group LLC *)
8-
(* *)
9-
(* All rights reserved. This file is distributed under the terms of *)
10-
(* the GNU Lesser General Public License version 2.1, with the *)
11-
(* special exception on linking described in the file LICENSE. *)
12-
(* *)
13-
(**************************************************************************)
1+
(******************************************************************************
2+
* flambda-backend *
3+
* Mark Shinwell, Jane Street *
4+
* -------------------------------------------------------------------------- *
5+
* MIT License *
6+
* *
7+
* Copyright (c) 2024 Jane Street Group LLC *
8+
* [email protected] *
9+
* *
10+
* Permission is hereby granted, free of charge, to any person obtaining a *
11+
* copy of this software and associated documentation files (the "Software"), *
12+
* to deal in the Software without restriction, including without limitation *
13+
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
14+
* and/or sell copies of the Software, and to permit persons to whom the *
15+
* Software is furnished to do so, subject to the following conditions: *
16+
* *
17+
* The above copyright notice and this permission notice shall be included *
18+
* in all copies or substantial portions of the Software. *
19+
* *
20+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
21+
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
22+
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
23+
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24+
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *
25+
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *
26+
* DEALINGS IN THE SOFTWARE. *
27+
******************************************************************************)
1428

1529
val for_fundecl :
1630
get_file_id:(string -> int) ->

‎backend/debug/dwarf/dwarf_ocaml/dwarf_inlined_frames.ml

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,30 @@
1-
(**************************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Mark Shinwell, Jane Street Europe *)
6-
(* *)
7-
(* Copyright 2013--2024 Jane Street Group LLC *)
8-
(* *)
9-
(* All rights reserved. This file is distributed under the terms of *)
10-
(* the GNU Lesser General Public License version 2.1, with the *)
11-
(* special exception on linking described in the file LICENSE. *)
12-
(* *)
13-
(**************************************************************************)
1+
(******************************************************************************
2+
* flambda-backend *
3+
* Mark Shinwell, Jane Street *
4+
* -------------------------------------------------------------------------- *
5+
* MIT License *
6+
* *
7+
* Copyright (c) 2024 Jane Street Group LLC *
8+
* [email protected] *
9+
* *
10+
* Permission is hereby granted, free of charge, to any person obtaining a *
11+
* copy of this software and associated documentation files (the "Software"), *
12+
* to deal in the Software without restriction, including without limitation *
13+
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
14+
* and/or sell copies of the Software, and to permit persons to whom the *
15+
* Software is furnished to do so, subject to the following conditions: *
16+
* *
17+
* The above copyright notice and this permission notice shall be included *
18+
* in all copies or substantial portions of the Software. *
19+
* *
20+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
21+
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
22+
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
23+
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24+
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *
25+
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *
26+
* DEALINGS IN THE SOFTWARE. *
27+
******************************************************************************)
1428

1529
open! Asm_targets
1630
open! Dwarf_low

‎backend/debug/dwarf/dwarf_ocaml/dwarf_inlined_frames.mli

Lines changed: 27 additions & 13 deletions
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,30 @@
1-
(**************************************************************************)
2-
(* *)
3-
(* OCaml *)
4-
(* *)
5-
(* Mark Shinwell, Jane Street Europe *)
6-
(* *)
7-
(* Copyright 2013--2023 Jane Street Group LLC *)
8-
(* *)
9-
(* All rights reserved. This file is distributed under the terms of *)
10-
(* the GNU Lesser General Public License version 2.1, with the *)
11-
(* special exception on linking described in the file LICENSE. *)
12-
(* *)
13-
(**************************************************************************)
1+
(******************************************************************************
2+
* flambda-backend *
3+
* Mark Shinwell, Jane Street *
4+
* -------------------------------------------------------------------------- *
5+
* MIT License *
6+
* *
7+
* Copyright (c) 2024 Jane Street Group LLC *
8+
* [email protected] *
9+
* *
10+
* Permission is hereby granted, free of charge, to any person obtaining a *
11+
* copy of this software and associated documentation files (the "Software"), *
12+
* to deal in the Software without restriction, including without limitation *
13+
* the rights to use, copy, modify, merge, publish, distribute, sublicense, *
14+
* and/or sell copies of the Software, and to permit persons to whom the *
15+
* Software is furnished to do so, subject to the following conditions: *
16+
* *
17+
* The above copyright notice and this permission notice shall be included *
18+
* in all copies or substantial portions of the Software. *
19+
* *
20+
* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR *
21+
* IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, *
22+
* FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL *
23+
* THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER *
24+
* LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING *
25+
* FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER *
26+
* DEALINGS IN THE SOFTWARE. *
27+
******************************************************************************)
1428

1529
(** Generation of descriptions of lexical blocks and inlined frames in
1630
DWARF. *)

0 commit comments

Comments
 (0)