2 commits

Author	SHA1	Message	Date
Yehowshua Immanuel	5efef8b19c	quieter builds, more type uniformity, full compiles ... - made builds less verbose on Mac by removing `-cpp` - made type constructors for most instances of `(UInt (TLog n))` - addressed cases where types built upon `(UInt (TLog n))` may have a max value of `n`, which necessitates changing the type to ` (UInt (TLog (TAdd 1 n)))` - compiler wouldn't fully evaluate types unless mkBus was instantiated	2025-04-10 20:46:53 -04:00
Yehowshua Immanuel	cf68a5e683	converted to bluespec haskell	2024-05-19 22:16:33 -04:00