source: libabac @ da5afdf

mei_rt2mei_rt2_fix_1meiyap-rt1rt2
Name Size Rev Age Author Last Change
../
abac.c 9 bytes 202a7f9   12 years Mei commited modified files for rt1
abac.h 9 bytes 202a7f9   12 years Mei commited modified files for rt1
abac.hh 4.1 KB a70acc9   14 years Mike Ryan simplify Context::query logic a bit
abac_common.h 145 bytes 473dc8a   14 years Mike Ryan forgot to add this
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 da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_param.c 7.1 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_pl.c 7.4 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_pl.h 5.2 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_pl_gen.c 19.6 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_pl_yap.c 11.6 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_pl_yap.h 757 bytes 202a7f9   12 years Mei commited modified files for rt1
abac_pl_yy.c 36.7 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_pl_yy.h 920 bytes da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_role.c 14.0 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_rt.h 932 bytes da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
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 da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_stack.h 954 bytes da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_util.c 885 bytes 9a411d7   14 years Mike Ryan fold intersection into ordinary role object
abac_util.h 335 bytes 9a411d7   14 years Mike Ryan fold intersection into ordinary role object
abac_verifier.c 17.4 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
abac_verifier.h 524 bytes 202a7f9   12 years Mei commited modified files for rt1
options.c 2.2 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
options.h 353 bytes da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
prover_yap.c 1.9 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
rt2.l 8.2 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
rt2.y 13.6 KB da5afdf   12 years Mei 1) add static contraint (limited to integer at this time)
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.