• Kunshan Wang's avatar
    Type inferer as class, and stricter static check. · f2aac08e
    Kunshan Wang authored
    Type inferer and predefined entities are no longer single objects.  They
    can be instantiated like other classes.
    
    An SSA variable now has an `inferred type` field which represents its
    type.  The type is filled in when loading a bundle, and can be dependedn
    on during execution.
    
    Added stricter static checking related to variable types.
    f2aac08e
Name
Last commit
Last update
..
UvmHailBasicTest.scala Loading commit data...
UvmHailHelloWorldTest.scala Loading commit data...
UvmHailTesterBase.scala Loading commit data...