Timeline
Dec 7, 2011:
- 12:40 PM Changeset [6e73091]meiyap1 by
- 1) add 3 smaller testing scripts
- 10:52 AM Changeset [53e540d]mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2yap_rt0 by
- 1) adding appendL to do the credential list appending
- 10:50 AM Changeset [e08bf83]mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2 by
- 1) update to use appendL in clauses
Dec 6, 2011:
- 2:51 PM Changeset [44b0c79]mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2 by
- 1) add flex/bison rule to process intersection roles 2) remove some …
Dec 4, 2011:
- 11:08 AM Changeset [e95d652]mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2 by
- 1) added yap, flex, bison to bring in prolog backend
Nov 22, 2011:
- 1:49 PM Changeset [605ee1d]abac0-leakabac0-meicompt_changesgec13mei-idmei-rt0-nmei_rt0tvf-new-xml by
- be clear when a proof has failed
Note: See TracTimeline
for information about the timeline view.
