• 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
..
basic-tests.uir Loading commit data...
boot-image-echo.hail Loading commit data...
boot-image-echo.uir Loading commit data...
extra-big-func.uir Loading commit data...
futex-tests.uir Loading commit data...
gc-tests.uir Loading commit data...
getfieldireftest.uir Loading commit data...
int128-test.uir Loading commit data...
irbuilder-tests.hail Loading commit data...
irbuilder-tests.uir Loading commit data...
meta-tests.uir Loading commit data...
native-callback-tests.uir Loading commit data...
native-client-test.uir Loading commit data...
native-errno-test.uir Loading commit data...
native-tests.uir Loading commit data...
osr-tests-part2.uir Loading commit data...
osr-tests.uir Loading commit data...
primitives.uir Loading commit data...
proprietary-tests.uir Loading commit data...
redef-file1.uir Loading commit data...
redef-file2.uir Loading commit data...
redef-file3.uir Loading commit data...
simple-sum.uir Loading commit data...
simple-tests.uir Loading commit data...
transitive-closure.hail Loading commit data...
transitive-closure.uir Loading commit data...
uvm-mem-test-bundle.uir Loading commit data...