diff options
| author | Chick Markley | 2020-09-16 18:52:16 -0700 |
|---|---|---|
| committer | GitHub | 2020-09-16 18:52:16 -0700 |
| commit | ecb96e83324ea17cf38b7b90753d745d3c7f51bd (patch) | |
| tree | 98b2aacab28edc29fadcf9d02b59848c4a9dc1ee /src/main/scala/firrtl/transforms/formal | |
| parent | 0c646459b52394e8a388143cee324b8af3dc7c09 (diff) | |
Change to Apache 2.0 License (#1901)
Diffstat (limited to 'src/main/scala/firrtl/transforms/formal')
3 files changed, 5 insertions, 1 deletions
diff --git a/src/main/scala/firrtl/transforms/formal/AssertSubmoduleAssumptions.scala b/src/main/scala/firrtl/transforms/formal/AssertSubmoduleAssumptions.scala index cdbee495..e5e65d1d 100644 --- a/src/main/scala/firrtl/transforms/formal/AssertSubmoduleAssumptions.scala +++ b/src/main/scala/firrtl/transforms/formal/AssertSubmoduleAssumptions.scala @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: Apache-2.0 + package firrtl.transforms.formal import firrtl.ir.{Circuit, Formal, Statement, Verification} diff --git a/src/main/scala/firrtl/transforms/formal/ConvertAsserts.scala b/src/main/scala/firrtl/transforms/formal/ConvertAsserts.scala index 5928c79c..e49be6eb 100644 --- a/src/main/scala/firrtl/transforms/formal/ConvertAsserts.scala +++ b/src/main/scala/firrtl/transforms/formal/ConvertAsserts.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 package firrtl.transforms.formal diff --git a/src/main/scala/firrtl/transforms/formal/RemoveVerificationStatements.scala b/src/main/scala/firrtl/transforms/formal/RemoveVerificationStatements.scala index 1e6d2c72..35e2d804 100644 --- a/src/main/scala/firrtl/transforms/formal/RemoveVerificationStatements.scala +++ b/src/main/scala/firrtl/transforms/formal/RemoveVerificationStatements.scala @@ -1,3 +1,5 @@ +// SPDX-License-Identifier: Apache-2.0 + package firrtl.transforms.formal import firrtl.ir.{Circuit, EmptyStmt, Statement, Verification} |