Changeset 6244e28

Timestamp:
Sep 21, 2012 2:50:01 PM (12 years ago)
Author:
Mei <mei@…>
Branches:
mei_rt2, mei_rt2_fix_1
Children:
05f6d35
Parents:
b07eb3a
Message:

1) added extract_cn for abac_verifier.c
2) update example directory's save log for the new multi proof case

(No files)

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