sail/test/mono/pass/union-exist, branch sail2 Formal specification language for ISAs Get basic constructor monomorphisation working again 2019-04-25T16:12:37+00:00 Brian Campbell 2019-04-25T16:12:37+00:00 d750f3e9256bba43d2eca33f0a4e9ad52e33e72e - updates for type checking changes - handle a little more pattern matching in constant propagation - fix bug where false positive warnings were produced - ensure bitvectors in tuples are always monomorphised (to catch the case where the bitvectors only appear alone with a constant size) 
- updates for type checking changes
- handle a little more pattern matching in constant propagation
- fix bug where false positive warnings were produced
- ensure bitvectors in tuples are always monomorphised (to catch the case
  where the bitvectors only appear alone with a constant size)
Sort mono test cases, add missing files 2018-03-09T12:16:30+00:00 Brian Campbell 2018-03-09T12:16:30+00:00 fccf018feecf914c937dc4cc253a882f482943f2 






Change monomorphisation tests to proper output
2018-02-23T16:12:56+00:00

Brian Campbell

2018-02-23T16:12:46+00:00

cd37e0dd062f6af04c56e01103f2046fd390bbe6