Timestamp:
Feb 23, 2012 1:59:31 PM (13 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1, meiyap-rt1, rt2
Children:
21aa410
Parents:
fb2f449
Message:

1) add support for float static range constraint
2) add a testcase for testing float static range constraint
3) add runall-fast (skipping the creddy part)

(No files)

Note: See TracChangeset for help on using the changeset viewer.