sail/test/mono/tests, branch sail2 Formal specification language for ISAs Update more monomorphisation tests 2018-02-23T12:30:12+00:00 Brian Campbell 2018-02-23T12:30:05+00:00 218fb928767094cf11f801495fc29136016e3ed1 






Curtail at more false assertions
2018-02-22T18:43:05+00:00

Brian Campbell

2018-02-22T18:43:05+00:00

d08f0ac0ce1cfc79d6c53fb4a15575a178872c16

(plus some adjustments for the test case)





(plus some adjustments for the test case)







Start resurrecting monomorphisation tests
2018-02-22T17:04:58+00:00

Brian Campbell

2018-02-22T17:04:20+00:00

2c5d36351779c6c85b65f4896148060aeb7faa7c












Support monomorphisation with set constrained integers
2017-12-07T13:31:46+00:00

Brian Campbell

2017-12-07T13:31:46+00:00

19386b2b3e595e4b5bc95dfd06fb9d32d786143e

Also, to support this,
constant propagation for integer multiply,
fix substitution of concrete values for nvars,
size parameters in single argument functions,
fix kind for itself,
add eq_atom to prelude





Also, to support this,
constant propagation for integer multiply,
fix substitution of concrete values for nvars,
size parameters in single argument functions,
fix kind for itself,
add eq_atom to prelude







During monomorphisation always refine constructors,
2017-11-14T18:05:57+00:00

Brian Campbell

2017-11-14T18:05:57+00:00

5b8178b74d7dbe161f595d3a2236d8a04789da1c

not just when there's been a case split





not just when there's been a case split







Refine constructors during monomorphisation
2017-09-28T10:09:24+00:00

Brian Campbell

2017-09-28T10:09:24+00:00

b5969ea7ca7de19ea2b96c48b1765e2c51e5d2af












Bit more monomorphisation testing
2017-08-18T15:36:52+00:00

Brian Campbell

2017-08-18T15:36:52+00:00

bbdb011b8364ceaed867abb9d6b580ba8b2a60e8