Skip to content

Commit 500d26d

Browse files
committed
update ASL license
1 parent 903df9d commit 500d26d

File tree

6 files changed

+10
-4
lines changed

6 files changed

+10
-4
lines changed

graalpython/com.oracle.graal.python.cext/modules/_hacl/include/krml/FStar_UInt128_Verified.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
/*
2+
Copyright (c) 2025, Oracle and/or its affiliates.
23
Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
34
Licensed under the Apache 2.0 License.
45
*/

graalpython/com.oracle.graal.python.cext/modules/_hacl/include/krml/FStar_UInt_8_16_32_64.h

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
11
/*
2+
Copyright (c) 2025, Oracle and/or its affiliates.
23
Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
34
Licensed under the Apache 2.0 License.
45
*/

graalpython/com.oracle.graal.python.cext/modules/_hacl/include/krml/fstar_uint128_struct_endianness.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
/* Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
1+
/* Copyright (c) 2025, Oracle and/or its affiliates.
2+
Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
23
Licensed under the Apache 2.0 License. */
34

45
#ifndef FSTAR_UINT128_STRUCT_ENDIANNESS_H

graalpython/com.oracle.graal.python.cext/modules/_hacl/include/krml/internal/target.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
/* Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
1+
/* Copyright (c) 2025, Oracle and/or its affiliates.
2+
Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
23
Licensed under the Apache 2.0 License. */
34

45
#ifndef __KRML_TARGET_H

graalpython/com.oracle.graal.python.cext/modules/_hacl/include/krml/lowstar_endianness.h

Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,5 @@
1-
/* Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
1+
/* Copyright (c) 2025, Oracle and/or its affiliates.
2+
Copyright (c) INRIA and Microsoft Corporation. All rights reserved.
23
Licensed under the Apache 2.0 License. */
34

45
#ifndef __LOWSTAR_ENDIANNESS_H
Lines changed: 2 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1-
/\*\s*\r?Copyright \(c\) INRIA and Microsoft Corporation\. All rights reserved\.
1+
/\*\s*\r?Copyright \(c\) (?:20[0-9][0-9], )*(20[0-9][0-9]), Oracle and\/or its affiliates\.
2+
\s*Copyright \(c\) INRIA and Microsoft Corporation\. All rights reserved\.
23
\s*Licensed under the Apache 2\.0 License\.\s*\*\/
34
.*

0 commit comments

Comments
 (0)