generalized rdcss to arbitrary (unboxed) values

For the expected value at the A location we require that it is unboxed and for the expected value n1 at the B location we require that [InjLV n1] is unboxed.

[new_rdcss] now takes an initial value as argument.

added 1 commit

• 648260de - small fix in code description

Compare with previous version

added 1 commit

• 2bc1947a - some name changes as suggested by the MR #23 discussion, minor adjustment to is_rdcss

Compare with previous version

resolved all discussions

added 1 commit

• 787af146 - minor fixes; in some places changed ln/v to l_n, lm to l_m, ld to l_descr

Compare with previous version

resolved all discussions

Thanks!

mentioned in commit db346db7

merged