source: libabac/rt2.l

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2e9455f   11 years Mei 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … mei_rt2
(edit) @669b481   12 years Mei 1) finish test conversion from creddy-prover to python 2) update the … mei_rt2mei_rt2_fix_1
(edit) @efacf92   12 years Mei 1) add hyphens as valid character in rolename and osetname mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @9806e76   12 years Mei 1) add handling for typed anonymous term, [int:?] 2) make a pass … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @4b8e1c9   12 years Mei 1) add boolean static range constraint handling 2) add boolean range … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @d5bbd3e   12 years Mei 1) add alumni2_rt1_typed (target static range constraint) 2) add … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @c586a3c   12 years Mei 1) add support for float static range constraint 2) add a testcase for … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @b5a3da4   12 years Mei 1) add abac_oset.c 2) reorganized some yyparse related files mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @e88c95b   12 years Mei 1) switch the order of terms within the rule clause. carl said more … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @da5afdf   12 years Mei 1) add static contraint (limited to integer at this time) mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(add) @718ad924   12 years Mei able to parse rt1 without condition updated examples mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Note: See TracRevisionLog for help on using the revision log.