Skip to content

Commit 926f4a5

Browse files
hyperpolymathhyperpolymath
committed
chore: add SPDX headers to source files
1 parent 5be3ff0 commit 926f4a5

5 files changed

Lines changed: 3 additions & 0 deletions

File tree

.machine_readable/META.a2ml renamed to .machine_readable/6a2/META.a2ml

File renamed without changes.

.machine_readable/STATE.a2ml renamed to .machine_readable/6a2/STATE.a2ml

File renamed without changes.

‎src/abi/Foreign.idr‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
-- SPDX-License-Identifier: PMPL-1.0-or-later
12
||| Foreign Function Interface Declarations
23
|||
34
||| This module declares all C-compatible functions that will be

‎src/abi/Layout.idr‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
-- SPDX-License-Identifier: PMPL-1.0-or-later
12
||| Memory Layout Proofs
23
|||
34
||| This module provides formal proofs about memory layout, alignment,

‎src/abi/Types.idr‎

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,4 @@
1+
-- SPDX-License-Identifier: PMPL-1.0-or-later
12
||| ABI Type Definitions Template
23
|||
34
||| This module defines the Application Binary Interface (ABI) for this library.

0 commit comments

Comments
 (0)