source: libabac @ 08b8da7

mei_rt2mei_rt2_fix_1
Name Size Rev Age Author Last Change
../
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) …
abac.h 10.5 KB ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
abac.hh 46.4 KB 8798f04   12 years faber Can't cast char * to int on amd64. %p prints'em
abac_aspect.c 23.1 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_attribute.c 10.9 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_c.c 8.2 KB ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
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_id.c 13.4 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_key.c 6.5 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_list.c 1.4 KB 202a7f9   12 years Mei commited modified files for rt1
abac_list.h 929 bytes 202a7f9   12 years Mei commited modified files for rt1
abac_m64.c 4.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_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_yap.c 11.7 KB 08b8da7   12 years Mei 1) rework examples directory with Makefile 2) update scaling with …
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_yy.c 31.3 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
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_rt.h 930 bytes 8bd77b5   12 years Mei 1) convert parser and libabac to use id cred and attr cred like …
abac_set.c 2.1 KB e2a0f26   14 years Mike Ryan derive edges from intersections
abac_set.h 435 bytes e2a0f26   14 years Mike Ryan derive edges from intersections
abac_stack.c 1.4 KB 7b548fa   12 years Mei 1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_stack.h 953 bytes 7b548fa   12 years Mei 1) add time static constraint 2) add example balltime_rt2_typed 3) …
abac_term.c 28.3 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_util.c 9.6 KB b92a620   12 years Mei 1) route debug printf to stderr 2) add some check for swig in …
abac_util.h 849 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_verifier.h 816 bytes ba6027a   12 years Mei 1) modified code all around to add support for encrypted private key …
options.c 2.5 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 …
prover_yap.c 2.4 KB 2efdff5   12 years Mei 1) fix the missing check for 'This' rt2.y when called from …
rt2.l 8.4 KB 669b481   12 years Mei 1) finish test conversion from creddy-prover to python 2) update the …
rt2.y 13.2 KB 7211a95   12 years Mei 1) add more python examples 2) add the missing linking role and …
uthash.h 63.0 KB 15200be   14 years Mike Ryan move libabac into its own directory
utlist.h 36.1 KB 15200be   14 years Mike Ryan move libabac into its own directory
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.