rouson · Jan 17, 2026 · Jan 17, 2026 · Jan 17, 2026
diff --git a/LICENSE.txt b/LICENSE.txt
@@ -0,0 +1,69 @@
+****************************
+
+*** Copyright Notice ***
+
+Fortran mimetic abstraction language (Formal) Copyright (c) 2026,
+The Regents of the University of California, through Lawrence Berkeley
+National Laboratory (subject to receipt of any required approvals from the
+U.S. Dept. of Energy). All rights reserved.
+
+If you have questions about your rights to use or distribute this software,
+please contact Berkeley Lab's Intellectual Property Office at
+IPO@lbl.gov.
+
+NOTICE.  This Software was developed under funding from the U.S. Department
+of Energy and the U.S. Government consequently retains certain rights.  As
+such, the U.S. Government has been granted for itself and others acting on
+its behalf a paid-up, nonexclusive, irrevocable, worldwide license in the
+Software to reproduce, distribute copies to the public, prepare derivative
+works, and perform publicly and display publicly, and to permit others to
+do so.
+
+
+****************************
+
+*** License Agreement ***
+
+Fortran mimetic abstraction language (Formal) Copyright (c) 2026,
+The Regents of the University of California, through Lawrence Berkeley
+National Laboratory (subject to receipt of any required approvals from the
+U.S. Dept. of Energy). All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+(1) Redistributions of source code must retain the above copyright notice,
+this list of conditions and the following disclaimer.
+
+(2) Redistributions in binary form must reproduce the above copyright
+notice, this list of conditions and the following disclaimer in the
+documentation and/or other materials provided with the distribution.
+
+(3) Neither the name of the University of California, Lawrence Berkeley
+National Laboratory, U.S. Dept. of Energy nor the names of its contributors
+may be used to endorse or promote products derived from this software
+without specific prior written permission.
+
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE
+ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR CONTRIBUTORS BE
+LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR
+CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF
+SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS
+INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN
+CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE)
+ARISING IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+POSSIBILITY OF SUCH DAMAGE.
+
+You are under no obligation whatsoever to provide any bug fixes, patches,
+or upgrades to the features, functionality or performance of the source
+code ("Enhancements") to anyone; however, if you choose to make your
+Enhancements available either publicly, or directly to Lawrence Berkeley
+National Laboratory, without imposing a separate written license agreement
+for such Enhancements, then you hereby grant the following license: a
+non-exclusive, royalty-free perpetual license to install, use, modify,
+prepare derivative works, incorporate into other computer software,
+distribute, and sublicense such enhancements or derivative works thereof,
+in binary and source code form.
diff --git a/example/div-grad-laplacian-1D.F90 b/example/div-grad-laplacian-1D.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 module functions_m
   implicit none
 

diff --git a/example/extended-gauss-divergence.F90 b/example/extended-gauss-divergence.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 module integrand_operands_m
   implicit none
 contains

diff --git a/example/print-assembled-1D-operators.F90 b/example/print-assembled-1D-operators.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 program print_assembled_1D_operators
   !! Print the full 2nd- and 4th-order mimetic gradient and divergence
   !! operator matrices as comma-separated rows for 1D grids with the

diff --git a/src/formal/divergence_1D_s.F90 b/src/formal/divergence_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 
 submodule(tensors_1D_m) divergence_1D_s

diff --git a/src/formal/divergence_operator_1D_s.F90 b/src/formal/divergence_operator_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "formal-language-support.F90"
 #include "julienne-assert-macros.h"
 

diff --git a/src/formal/gradient_1D_s.F90 b/src/formal/gradient_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 
 submodule(tensors_1D_m) gradient_1D_s

diff --git a/src/formal/gradient_operator_1D_s.F90 b/src/formal/gradient_operator_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 #include "formal-language-support.F90"
 

diff --git a/src/formal/laplacian_s.f90 b/src/formal/laplacian_s.f90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 submodule(tensors_1D_m) laplacian_s
   implicit none
 contains

diff --git a/src/formal/mimetic_matrix_1D_s.F90 b/src/formal/mimetic_matrix_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 submodule(mimetic_operators_1D_m) mimetic_matrix_1D_s
   use julienne_m, only : string_t, operator(.csv.)
   implicit none

diff --git a/src/formal/mimetic_operators_1D_m.F90 b/src/formal/mimetic_operators_1D_m.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "formal-language-support.F90"
 
 module mimetic_operators_1D_m

diff --git a/src/formal/scalar_1D_s.F90 b/src/formal/scalar_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 
 submodule(tensors_1D_m) scalar_1D_s

diff --git a/src/formal/scalar_x_divergence_1D_s.F90 b/src/formal/scalar_x_divergence_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 
 submodule(tensors_1D_m) scalar_x_divergence_1D_s

diff --git a/src/formal/tensor_1D_s.f90 b/src/formal/tensor_1D_s.f90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 submodule(tensors_1D_m) tensor_1D_s
   implicit none
 contains

diff --git a/src/formal/tensors_1D_m.F90 b/src/formal/tensors_1D_m.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "formal-language-support.F90"
 
 module tensors_1D_m

diff --git a/src/formal/vector_1D_s.F90 b/src/formal/vector_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 
 submodule(tensors_1D_m) vector_1D_s

diff --git a/src/formal/vector_dot_gradient_1D_s.F90 b/src/formal/vector_dot_gradient_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "julienne-assert-macros.h"
 
 submodule(tensors_1D_m) vector_dot_gradient_1D_s

diff --git a/src/formal/weighted_product_1D_s.F90 b/src/formal/weighted_product_1D_s.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 submodule(tensors_1D_m) weighted_product_s
   implicit none
 

diff --git a/src/formal_m.f90 b/src/formal_m.f90
@@ -1,8 +1,10 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
 module formal_m 
   !! This module contains all public Formal entities. For descriptions of the
   !! public procedures bound to the derived types below, see the interface
   !! bodies in the corresponding module (e.g., tensors_1D_m).  Please see the
-  !! programs in this `example` subdirectory for demonstrations of how to use
+  !! programs in the `example` subdirectory for demonstrations of how to use
   !! the entities in this module.
 
   use tensors_1D_m, only : &

diff --git a/test/divergence_operator_1D_test_m.F90 b/test/divergence_operator_1D_test_m.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "language-support.F90"
   !! include Julienne preprocessor  macros
 

diff --git a/test/driver.f90 b/test/driver.f90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 program test_suite_driver
   use julienne_m, only : test_fixture_t, test_harness_t
   use gradient_operator_1D_test_m, only : gradient_operator_1D_test_t

diff --git a/test/gradient_operator_1D_test_m.F90 b/test/gradient_operator_1D_test_m.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "language-support.F90"
   !! include Julienne preprocessor  macros
 

diff --git a/test/integration_operators_1D_test_m.F90 b/test/integration_operators_1D_test_m.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 #include "language-support.F90"
   !! include Julienne preprocessor  macros
 

diff --git a/test/laplacian_operator_1D_test_m.F90 b/test/laplacian_operator_1D_test_m.F90
@@ -1,3 +1,6 @@
+! Copyright (c) 2026, The Regents of the University of California
+! Terms of use are as specified in LICENSE.txt
+
 module laplacian_operator_1D_test_m
   use julienne_m, only : &
      file_t &