source: libabac @ bf68132

mei_rt2mei_rt2_fix_1
Name Size Rev Age Author Last Change
../
utlist.h 36.1 KB 15200be   14 years Mike Ryan move libabac into its own directory
uthash.h 63.0 KB 15200be   14 years Mike Ryan move libabac into its own directory
rt2.y 13.2 KB 7211a95   12 years Mei 1) add more python examples 2) add the missing linking role and …
rt2.l 8.4 KB 669b481   12 years Mei 1) finish test conversion from creddy-prover to python 2) update the …
prover_yap.c 2.4 KB 2efdff5   12 years Mei 1) fix the missing check for 'This' rt2.y when called from …
options.h 370 bytes 2efdff5   12 years Mei 1) fix the missing check for 'This' rt2.y when called from …
options.c 2.5 KB 2efdff5   12 years Mei 1) fix the missing check for 'This' rt2.y when called from …
abac_verifier.h 816 bytes ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
abac_verifier.c 33.3 KB 2485307   12 years Mei 1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) …
abac_util.h 849 bytes ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
abac_util.c 9.6 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_term.c 28.3 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_stack.h 953 bytes 7b548fa   12 years Mei 1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_stack.c 1.4 KB 7b548fa   12 years Mei 1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_set.h 435 bytes e2a0f26   14 years Mike Ryan derive edges from intersections
abac_set.c 2.1 KB e2a0f26   14 years Mike Ryan derive edges from intersections
abac_rt.h 930 bytes 8bd77b5   12 years Mei 1) convert parser and libabac to use id cred and attr cred like …
abac_pl_yy.h 3.5 KB 440ba20   12 years Mei 1) wrap up refactoring to move all the code gen to abac structure 2) …
abac_pl_yy.c 31.3 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_pl_yap.h 927 bytes d9c3886   12 years Mei 1) add 2 more query calls in abac.hh that take Role and Oset instead …
abac_pl_yap.c 12.4 KB bf68132   12 years Mei 1) get example directory to work with yap with use_malloc option 2) …
abac_pl_pre.c 8.9 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_pl_gen.c 22.3 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_m64.c 4.9 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_list.h 929 bytes 202a7f9   12 years Mei commited modified files for rt1
abac_list.c 1.4 KB 202a7f9   12 years Mei commited modified files for rt1
abac_key.c 6.5 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_internal.h 5.4 KB ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
abac_id.c 13.4 KB 94a4dd2   12 years Mei 1) save a set of performance jpegs into examples/scaling_tests/plotting dir
abac_common.h 1.4 KB 440ba20   12 years Mei 1) wrap up refactoring to move all the code gen to abac structure 2) …
abac_c.c 8.2 KB ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
abac_attribute.c 10.9 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_aspect.c 23.1 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac.hh 46.4 KB 8798f04   12 years faber Can't cast char * to int on amd64. %p prints'em
abac.h 10.5 KB ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
abac.c 15.2 KB 2485307   12 years Mei 1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.