source: examples/file_read_rt2_typed @ c586a3c

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Name Size Rev Age Author Last Change
../
Alpha_ID.pem 1.1 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Alpha_managerof_Joe__Bob_attr.der 754 bytes c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Alpha_ownerof_fileA__Joe_attr.der 714 bytes c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Alpha_private.pem 1.6 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Alpha_read_qF__alpha_managerof_qE_attr.der 836 bytes c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Bob_ID.pem 1.1 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Bob_private.pem 1.6 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
d 520 bytes e88c95b   12 years Mei 1) switch the order of terms within the rule clause. carl said more …
Joe_ID.pem 1.1 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Joe_private.pem 1.6 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Maryann_ID.pem 1.1 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
Maryann_private.pem 1.6 KB c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for …
README 2.5 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
rr 1.0 KB c469edf   12 years Mei 1) add examples/runall 2) modified examples/DIR/rr to use pwd …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.