sail/test/mono/not-yet, 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)
Enable mono builtins test, tweak test output 2018-04-17T16:52:47+00:00 Brian Campbell 2018-04-17T16:52:37+00:00 71f2f7875235621ce155c8c7d7326fabdbc63b35 






Test now passes
2018-04-06T16:30:03+00:00

Brian Campbell

2018-04-06T15:39:55+00:00

f258215da67fe4a82f171c8ee1cbeee7a6f6f304












Merge funcls for Lem output, making it suitable for testing with OCaml
2018-03-13T14:39:05+00:00

Brian Campbell

2018-03-13T14:39:05+00:00

535f4736f3632e8959a7ebc7f5f43c8d6abc1325












Sort mono test cases, add missing files
2018-03-09T12:16:30+00:00

Brian Campbell

2018-03-09T12:16:30+00:00

fccf018feecf914c937dc4cc253a882f482943f2