Skip to content

Commit db2445b

Browse files
committed
common/Determinism.v: dual-license with GPL
There was no good reason why Determinism.v was the only file in common/ that was not dual-licensed (GPL + noncommercial). Plus, it simplifies the wording of the LICENSE file.
1 parent e2e0445 commit db2445b

2 files changed

Lines changed: 4 additions & 14 deletions

File tree

LICENSE

Lines changed: 1 addition & 14 deletions
Original file line numberDiff line numberDiff line change
@@ -24,20 +24,7 @@ option) any later version:
2424

2525
all files in the lib/ directory
2626

27-
common/AST.v
28-
common/Behaviors.v
29-
common/Errors.v
30-
common/Events.v
31-
common/Globalenvs.v
32-
common/Linking.v
33-
common/Memdata.v
34-
common/Memory.v
35-
common/Memtype.v
36-
common/Smallstep.v
37-
common/Subtyping.v
38-
common/Switch.v
39-
common/Unityping.v
40-
common/Values.v
27+
all files in the common/ directory
4128

4229
cfrontend/Clight.v
4330
cfrontend/ClightBigstep.v

common/Determinism.v

Lines changed: 3 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -6,6 +6,9 @@
66
(* *)
77
(* Copyright Institut National de Recherche en Informatique et en *)
88
(* Automatique. All rights reserved. This file is distributed *)
9+
(* under the terms of the GNU General Public License as published by *)
10+
(* the Free Software Foundation, either version 2 of the License, or *)
11+
(* (at your option) any later version. This file is also distributed *)
912
(* under the terms of the INRIA Non-Commercial License Agreement. *)
1013
(* *)
1114
(* *********************************************************************)

0 commit comments

Comments
 (0)