update deps

NakajoLab · May 18, 2024 · 8d98bf3 · 8d98bf3
1 parent 41210ec
commit 8d98bf3
Show file tree

Hide file tree

Showing 4 changed files with 7 additions and 7 deletions.
diff --git a/build.sbt b/build.sbt
@@ -2,9 +2,9 @@ addCommandAlias("fmt", "; scalafmtAll ; scalafmtSbt")
 addCommandAlias("fmtCheck", "; scalafmtCheckAll ; scalafmtSbtCheck")
 
 name := "B4SMT-project"
-scalaVersion := "2.13.13"
+scalaVersion := "2.13.14"
 
-val chiselVersion = "6.2.0"
+val chiselVersion = "6.3.0"
 val chiselTestVersion = "6.0.0"
 
 val commonSettings = Seq(

diff --git a/flake.lock b/flake.lock
diff --git a/flake.nix b/flake.nix
@@ -24,7 +24,7 @@
           b4smtGen = final.callPackage ./nix/b4smtgen.nix {
             riscv-programs = self.packages.${system}.default;
           };
-          b4smt = final.b4smtGen { hash = "sha256-9AOjT7Y9G88PJ+Lg9hp2uVSX4Na4cnzGY2hNTMwbZlQ="; };
+          b4smt = final.b4smtGen { hash = "sha256-pLOGYMGH3H96EOQhb6wmJG0wYbTRoXx801/GWYmw/es="; };
           sbt = prev.sbt.override { jre = final.jre_headless; };
         };
         pkgs = import nixpkgs {

diff --git a/project/build.properties b/project/build.properties
@@ -1 +1 @@
-sbt.version=1.9.9
+sbt.version=1.10.0