From bb0b2df2f28e72a3077cc4529bf57c4411300fc5 Mon Sep 17 00:00:00 2001 From: dopamane Date: Sat, 27 Mar 2021 18:00:37 -0400 Subject: [PATCH] add dependency bounds, update CHANGELOG --- CHANGELOG.md | 6 ++++++ lion-formal/lion-formal.cabal | 6 +++--- lion-metric/lion-metric.cabal | 4 ++-- lion-soc/lion-soc.cabal | 12 ++++++------ lion.cabal | 14 +++++++------- 5 files changed, 24 insertions(+), 18 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 2e06f6d..e7aaf21 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,11 @@ # Revision history for lion +## 0.2.0.0 -- 2021-03-27 + +* Update core/memory/peripheral interface +* Configurable ALU: choose between SB_MAC16 or generic (+) and (-) +* Optimize branch path for better fMax + ## 0.1.0.0 -- 2021-02-28 * First version. diff --git a/lion-formal/lion-formal.cabal b/lion-formal/lion-formal.cabal index 39a55ea..69cecb2 100644 --- a/lion-formal/lion-formal.cabal +++ b/lion-formal/lion-formal.cabal @@ -16,10 +16,10 @@ library hs-source-dirs: src default-language: Haskell2010 build-depends: - base >= 4.13 && < 4.15, + base >= 4.13 && < 4.15, Cabal, - clash-prelude >= 1.4 && < 1.5, - lion >= 0.1 && < 0.2, + clash-prelude >= 1.4 && < 1.5, + lion >= 0.2 && < 0.3, ghc-typelits-natnormalise, ghc-typelits-extra, ghc-typelits-knownnat diff --git a/lion-metric/lion-metric.cabal b/lion-metric/lion-metric.cabal index 713a905..d68758e 100644 --- a/lion-metric/lion-metric.cabal +++ b/lion-metric/lion-metric.cabal @@ -15,10 +15,10 @@ library hs-source-dirs: src default-language: Haskell2010 build-depends: - base >= 4.13 && < 4.15, + base >= 4.13 && < 4.15, Cabal, clash-prelude >= 1.4 && < 1.5, - lion >= 0.1 && < 0.2, + lion >= 0.2 && < 0.3, ghc-typelits-natnormalise, ghc-typelits-extra, ghc-typelits-knownnat diff --git a/lion-soc/lion-soc.cabal b/lion-soc/lion-soc.cabal index 80ce03e..cf29317 100644 --- a/lion-soc/lion-soc.cabal +++ b/lion-soc/lion-soc.cabal @@ -20,14 +20,14 @@ library hs-source-dirs: src default-language: Haskell2010 build-depends: - base >= 4.13 && < 4.15, + base >= 4.13 && < 4.15, Cabal, - clash-prelude >= 1.4 && < 1.5, - generic-monoid, - ice40-prim >= 0.3 && < 0.4, + clash-prelude >= 1.4 && < 1.5, + generic-monoid >= 0.1 && < 0.2, + ice40-prim >= 0.3 && < 0.4, lens, - lion >= 0.1 && < 0.2, - mtl, + lion >= 0.2 && < 0.3, + mtl >= 2.2 && < 2.3, ghc-typelits-natnormalise, ghc-typelits-extra, ghc-typelits-knownnat diff --git a/lion.cabal b/lion.cabal index 467868c..3ad3850 100644 --- a/lion.cabal +++ b/lion.cabal @@ -1,6 +1,6 @@ cabal-version: 2.4 name: lion -version: 0.1.0.0 +version: 0.2.0.0 synopsis: RISC-V Core description: Lion is a formally verified, 5-stage pipeline [RISC-V](https://riscv.org) core. Lion targets the [VELDT FPGA development board](https://standardsemiconductor.com) and is written in Haskell using [Clash](https://clash-lang.org). bug-reports: https://github.com/standardsemiconductor/lion/issues @@ -27,13 +27,13 @@ library hs-source-dirs: src default-language: Haskell2010 build-depends: - base >= 4.13 && < 4.15, + base >= 4.13 && < 4.15, Cabal, - generic-monoid >= 0.1 && < 0.2, - mtl, - lens, - ice40-prim >= 0.3 && < 0.4, - clash-prelude >= 1.2.5 && < 1.5, + generic-monoid >= 0.1 && < 0.2, + mtl >= 2.2 && < 2.3, + lens >= 4.19 && < 5.1, + ice40-prim >= 0.3 && < 0.4, + clash-prelude >= 1.2.5 && < 1.5, ghc-typelits-natnormalise, ghc-typelits-extra, ghc-typelits-knownnat