source: libabac/prover_yap.c

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) @646e57e   12 years Mei 1) add partial proof mei_rt2mei_rt2_fix_1
(edit) @abf8d5d   12 years Mei 1) add backtrack/multiple solutions proof code changes and new examples. mei_rt2mei_rt2_fix_1
(edit) @2efdff5   12 years Mei 1) fix the missing check for 'This' rt2.y when called from … mei_rt2mei_rt2_fix_1
(edit) @5110d42   12 years Mei 1) reorganized the test directory to include python tests 2) attribute … mei_rt2mei_rt2_fix_1
(edit) @8bd77b5   12 years Mei 1) convert parser and libabac to use id cred and attr cred like … mei_rt2mei_rt2_fix_1
(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) @0d0c3a9   12 years Mei 1) adding missing extern forward declarations that is causing … 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
(edit) @202a7f9   12 years Mei commited modified files for rt1 mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(add) @e95d652   12 years Mei 1) added yap, flex, bison to bring in prolog backend mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2
Note: See TracRevisionLog for help on using the revision log.