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/backends/experimental | |
| parent | 0c646459b52394e8a388143cee324b8af3dc7c09 (diff) | |
Change to Apache 2.0 License (#1901)
Diffstat (limited to 'src/main/scala/firrtl/backends/experimental')
9 files changed, 9 insertions, 9 deletions
diff --git a/src/main/scala/firrtl/backends/experimental/smt/Btor2Serializer.scala b/src/main/scala/firrtl/backends/experimental/smt/Btor2Serializer.scala index 66690f56..4cd5c9f7 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/Btor2Serializer.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/Btor2Serializer.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/FirrtlExpressionSemantics.scala b/src/main/scala/firrtl/backends/experimental/smt/FirrtlExpressionSemantics.scala index efa89687..d85fbfe5 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/FirrtlExpressionSemantics.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/FirrtlExpressionSemantics.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/FirrtlToTransitionSystem.scala b/src/main/scala/firrtl/backends/experimental/smt/FirrtlToTransitionSystem.scala index 75f6a326..41d3c6f0 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/FirrtlToTransitionSystem.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/FirrtlToTransitionSystem.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTEmitter.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTEmitter.scala index 1c7ea42f..ca472578 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTEmitter.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTEmitter.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala index ebb9e309..63692006 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTExpr.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> // Inspired by the uclid5 SMT library (https://github.com/uclid-org/uclid). // And the btor2 documentation (BTOR2 , BtorMC and Boolector 3.0 by Niemetz et.al.) diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTExprVisitor.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTExprVisitor.scala index defc787c..19f1de84 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTExprVisitor.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTExprVisitor.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala index bd5e4d8c..7bc0a077 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTLibSerializer.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/SMTTransitionSystemEncoder.scala b/src/main/scala/firrtl/backends/experimental/smt/SMTTransitionSystemEncoder.scala index 4c60a1b0..f6d9a26f 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/SMTTransitionSystemEncoder.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/SMTTransitionSystemEncoder.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt diff --git a/src/main/scala/firrtl/backends/experimental/smt/StutteringClockTransform.scala b/src/main/scala/firrtl/backends/experimental/smt/StutteringClockTransform.scala index 95db95ef..eac9f00a 100644 --- a/src/main/scala/firrtl/backends/experimental/smt/StutteringClockTransform.scala +++ b/src/main/scala/firrtl/backends/experimental/smt/StutteringClockTransform.scala @@ -1,4 +1,4 @@ -// See LICENSE for license details. +// SPDX-License-Identifier: Apache-2.0 // Author: Kevin Laeufer <laeufer@cs.berkeley.edu> package firrtl.backends.experimental.smt |