more LICENSE

OCamlPro · Sep 15, 2023 · ee3fe6e · ee3fe6e
1 parent f6fb021
commit ee3fe6e
Show file tree

Hide file tree

Showing 24 changed files with 103 additions and 0 deletions.
diff --git a/src/choice_monad.ml b/src/choice_monad.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 open Choice_monad_intf
 
 type vbool = Sym_value.S.vbool

diff --git a/src/choice_monad_intf.ml b/src/choice_monad_intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type Base = sig
   module V : Func_intf.Value_types
 

diff --git a/src/const_interp.ml b/src/const_interp.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 open Types
 open Simplified
 open Syntax

diff --git a/src/env_id.ml b/src/env_id.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 type t = int
 
 module IMap = Map.Make (Int)

diff --git a/src/func_id.ml b/src/func_id.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 type t = int
 
 module IMap = Map.Make (Int)

diff --git a/src/func_intf.ml b/src/func_intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type Value_types = sig
   type int32
 

diff --git a/src/interpret_functor.ml b/src/interpret_functor.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 [@@@ocaml.warning "-32-33"]
 
 open Types

diff --git a/src/interpret_functor_intf.ml b/src/interpret_functor_intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type Memory_data = sig
   type int32
 

diff --git a/src/intf.ml b/src/intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type V = sig
   type int32
 

diff --git a/src/memory_limits.ml b/src/memory_limits.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 open Types
 
 let page_size = 65_536

diff --git a/src/runtime_intf.ml b/src/runtime_intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type Env = sig
   type t
 

diff --git a/src/stack_functor.ml b/src/stack_functor.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 open Stack_intf
 
 module Make (V : Value) :

diff --git a/src/stack_intf.ml b/src/stack_intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type Value = Value_intf.T
 
 module type S = sig

diff --git a/src/sym_global.ml b/src/sym_global.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module ITbl = Hashtbl.Make (struct
   include Int
 

diff --git a/src/sym_memory.ml b/src/sym_memory.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module Intf = Interpret_functor_intf
 module Value = Sym_value.S
 

diff --git a/src/sym_state.ml b/src/sym_state.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module Def_value = Value
 module Solver = Thread.Solver
 

diff --git a/src/sym_table.ml b/src/sym_table.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module ITbl = Hashtbl.Make (struct
   include Int
 

diff --git a/src/sym_value.ml b/src/sym_value.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 open Encoding
 open Expression
 

diff --git a/src/thread.ml b/src/thread.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module Solver = Encoding.Batch.Make (Encoding.Z3_mappings)
 
 type 'a solver_module = (module Encoding.Solver_intf.S with type t = 'a)

diff --git a/src/trap.ml b/src/trap.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 type t =
   | Out_of_bounds_table_access
   | Out_of_bounds_memory_access

diff --git a/src/type_id.ml b/src/type_id.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 type ('a, 'b) eq = Eq : ('a, 'a) eq
 
 type _ externref_ty = ..

diff --git a/src/value_intf.ml b/src/value_intf.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module type Iop = sig
   type num
 

diff --git a/src/value_test.ml b/src/value_test.ml
@@ -1,3 +1,7 @@
+(* SPDX-License-Identifier: AGPL-3.0-or-later *)
+(* Copyright © 2021 Léo Andrès *)
+(* Copyright © 2021 Pierre Chambart *)
+
 module V :
   Value_intf.T
     with type vbool = Bool.t

diff --git a/tmp.wast b/tmp.wast
@@ -0,0 +1,11 @@
+(module
+  (memory 1)
+  (data (i32.const 0) "ABC\a7D") (data (i32.const 20) "WASM")
+
+  (func (export "i64_load32_u") (param $i i64) (result i64)
+	(i64.store32 (i32.const 8) (local.get $i))
+	(i64.load32_u (i32.const 8))
+  )
+)
+
+(assert_return (invoke "i64_load32_u" (i64.const -1)) (i64.const 4294967295))