sail/test/mono/pass/union-exist2, branch sail2 Formal specification language for ISAs More constructor monomorphisation support 2019-04-26T11:17:04+00:00 Brian Campbell 2019-04-26T11:17:04+00:00 383bf94704813ad3f417b6eaf59d329388ff5af6 - handle multiple bitvector length variables - more fine-grained unnecessary cast insertion checks - add tuple matching support to constant propagation (for the test) 
- handle multiple bitvector length variables
- more fine-grained unnecessary cast insertion checks
- add tuple matching support to constant propagation (for the test)