source: examples/evaluator_rt1_typed/ISI_employee__John_attr.der @ c586a3c

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Last change on this file since c586a3c was c586a3c, checked in by Mei <mei@…>, 12 years ago

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)
  • Property mode set to 100644
File size: 678 bytes

HTML preview not available, since no preview renderer could handle it. Try downloading the file instead.

Note: See TracBrowser for help on using the repository browser.