Timestamp:
Jun 29, 2012 2:32:17 AM (12 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1
Children:
549656e
Parents:
137b55f
Message:

1) fix the missing check for 'This' rt2.y when called from creddy/prover

combo

2) patch up the stringify of abac_term that is of time type.
3) update the testing to reflect the changes to baseline output

(No files)

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