summaryrefslogtreecommitdiff
path: root/src/initial_check.ml
diff options
context:
space:
mode:
authorKathy Gray2014-03-12 14:16:48 +0000
committerKathy Gray2014-03-12 14:16:48 +0000
commitc209835410c323f90258fcb8ccf84514dda831af (patch)
tree8c1ac68189d65f4ba99200f38239ae4362cbbb13 /src/initial_check.ml
parent9abe43c6edb3439c23490d09cae4b71ed64c98db (diff)
Correctly type checking and interpreting accesses of register "fields". Register-reading action isn't reading the subreg correctly still (seems to be making up a value though).
Corrects but to vectors.sail and power.sail use of plus. (A new bug in power.sail is exposed using a binary operator with one value)
Diffstat (limited to 'src/initial_check.ml')
0 files changed, 0 insertions, 0 deletions