Skip to content

Commit

Permalink
update deps
Browse files Browse the repository at this point in the history
  • Loading branch information
pineapplehunter committed Jun 10, 2024
1 parent 2f5ff45 commit 97592a0
Show file tree
Hide file tree
Showing 3 changed files with 5 additions and 5 deletions.
2 changes: 1 addition & 1 deletion build.sbt
Original file line number Diff line number Diff line change
Expand Up @@ -4,7 +4,7 @@ addCommandAlias("fmtCheck", "; scalafmtCheckAll ; scalafmtSbtCheck")
name := "B4SMT-project"
scalaVersion := "2.13.14"

val chiselVersion = "6.3.0"
val chiselVersion = "6.4.0"
val chiselTestVersion = "6.0.0"

val commonSettings = Seq(
Expand Down
6 changes: 3 additions & 3 deletions flake.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

2 changes: 1 addition & 1 deletion flake.nix
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,7 @@
b4smtGen = final.callPackage ./nix/b4smtgen.nix {
riscv-programs = self.packages.${system}.default;
};
b4smt = final.b4smtGen { hash = "sha256-ZSeAjhrVFxIne3UfS05K6Mt5b3Kf4V1FCZqLOL/G+U4="; };
b4smt = final.b4smtGen { hash = "sha256-zQBZlFNFLPZL1O31+p2ICGV1AKahRwYtXZhqCsrkrCo="; };
sbt = prev.sbt.override { jre = final.jre_headless; };
};
pkgs = import nixpkgs {
Expand Down

0 comments on commit 97592a0

Please sign in to comment.