Skip to content

Commit

Permalink
Merge branch 'master' of github.com:doofin/dependentChisel
Browse files Browse the repository at this point in the history
  • Loading branch information
doofin committed Apr 22, 2024
2 parents f92464a + 5a39b54 commit 29ec833
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion README.md
Original file line number Diff line number Diff line change
@@ -1,5 +1,6 @@
# dependentChisel
This is the Master thesis : Dependent Chisel: Statically-checked hardware designs based on Chisel and Scala 3, by Yuchen du
https://github.com/doofin/dependentChisel/blob/master/Msc_Thesis_yuchen.pdf

It uses partial dependent types in Scala 3 to provide early error message for Chisel.

Expand Down Expand Up @@ -39,4 +40,4 @@ with

git ls-files | grep '\.scala$' | xargs wc -l

chisel has 60927 total loc
chisel has 60927 total loc

0 comments on commit 29ec833

Please sign in to comment.