source: libabac/abac_pl_yap.c

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @d0efdec   11 years Mei 1) less bsd compiler complaints mei_rt2
(edit) @2e9455f   11 years Mei 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … mei_rt2
(edit) @4f40c3e   11 years Mei 1) add a yap patch file for 6.2.2 for FreeBSD platform 2) update … mei_rt2mei_rt2_fix_1
(edit) @4e09ac5   11 years Mei 1) take out a debug flag mei_rt2mei_rt2_fix_1
(edit) @46df1bc   11 years Mei 1) get ready for release 0.2.3 2) add forward function declaration in … mei_rt2mei_rt2_fix_1
(edit) @f2d67a5   12 years Mei 1) put back that yap info line in the saved example output mei_rt2mei_rt2_fix_1
(edit) @c3c73bd   12 years Mei 1) work around the hang in scaling test for freebsd8, it is because … mei_rt2mei_rt2_fix_1
(edit) @a59bc06   12 years Mei 1) tweak partial proof's example output mei_rt2mei_rt2_fix_1
(edit) @646e57e   12 years Mei 1) add partial proof mei_rt2mei_rt2_fix_1
(edit) @5d1b6dc   12 years Mei 1) add yap comment around db's du mei_rt2mei_rt2_fix_1
(edit) @a7f03f3   12 years Mei 1) add the new yap porting directory and some of code 2) add parital … mei_rt2mei_rt2_fix_1
(edit) @dfe6b61   12 years Mei 1) added ID_chunk() and Attribute_chunk() to abac.hh mei_rt2mei_rt2_fix_1
(edit) @fc943ee   12 years Mei 1) getting ready to make a releaseZ mei_rt2mei_rt2_fix_1
(edit) @05f6d35   12 years Mei 1) remove returns for YAP_WriteBuffer call mei_rt2mei_rt2_fix_1
(edit) @6244e28   12 years Mei 1) added extract_cn for abac_verifier.c 2) update example directory's … 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) @1e51e1b   12 years Mei 1) update plotting to include standard deviation and increase … mei_rt2mei_rt2_fix_1
(edit) @bf68132   12 years Mei 1) get example directory to work with yap with use_malloc option 2) … mei_rt2mei_rt2_fix_1
(edit) @08b8da7   12 years Mei 1) rework examples directory with Makefile 2) update scaling with … mei_rt2mei_rt2_fix_1
(edit) @b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in … mei_rt2mei_rt2_fix_1
(edit) @2485307   12 years Mei 1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) … mei_rt2mei_rt2_fix_1
(edit) @5730a10   12 years Mei 1) fix up the sample scripts under swig and added some docs for them mei_rt2mei_rt2_fix_1 libabac-0.2.1
(edit) @9b43fc3   12 years Mei 1) add code to load id into context with both cert chunk and privkey … 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) @d9c3886   12 years Mei 1) add 2 more query calls in abac.hh that take Role and Oset instead … 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) @440ba20   12 years Mei 1) wrap up refactoring to move all the code gen to abac structure 2) … mei_rt2mei_rt2_fix_1
(edit) @d037f54   12 years Mei 1) able to programmatially build structure, bake attribute credential … 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) @9335cfa   12 years Mei 1) add handling of 'this' data term for the principal type 2) add … mei_rt2mei_rt2_fix_1
(edit) @7727f26   12 years Mei 1) add environment variables DUMP_DB, ABAC_CN. ABAC_CN will switch … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @7b548fa   12 years Mei 1) add time static constraint 2) add example balltime_rt2_typed 3) … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @f0eb81d   12 years Mei 1) modified example's runall so a better tools to do complete run … mei_rt2mei_rt2_fix_1meiyap-rt1rt2
(edit) @acf3ff9   12 years Mei 1) add alumni3_rt1_typed (multiple static target range constraint - … 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) @36b100a   12 years Mei 1) fix up fruits_rt2_typed example to test different types of strings … 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) @0d0c3a9   12 years Mei 1) adding missing extern forward declarations that is causing … 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) @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
(edit) @53e540d   13 years Mei 1) adding appendL to do the credential list appending mei_rt2mei_rt2_fix_1meiyap-rt1meiyap1rt2 yap_rt0
(add) @e95d652   13 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.