source: libabac @ d4b3b52

abac0-leakabac0-meicompt_changesmei-idmei-rt0-nmei_rt0tvf-new-xml
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
prover_plus.cc 735 bytes 55c272b   14 years Mike Ryan remove libabac_init and libabac_deinit
prover.c 964 bytes 605ee1d   12 years Mike Ryan be clear when a proof has failed
options.h 299 bytes 06d7b3a   14 years Mike Ryan forgot to add these d'oh
options.c 1.3 KB 06d7b3a   14 years Mike Ryan forgot to add these d'oh
abac_verifier.h 469 bytes 0779c99   14 years Mike Ryan return meaningful error codes when loading certificates
abac_verifier.c 8.1 KB 55c272b   14 years Mike Ryan remove libabac_init and libabac_deinit
abac_util.h 335 bytes 9a411d7   14 years Mike Ryan fold intersection into ordinary role object
abac_util.c 885 bytes 9a411d7   14 years Mike Ryan fold intersection into ordinary role object
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_role.c 8.8 KB 9a411d7   14 years Mike Ryan fold intersection into ordinary role object
abac_list.h 875 bytes 15200be   14 years Mike Ryan move libabac into its own directory
abac_list.c 1.1 KB 15200be   14 years Mike Ryan move libabac into its own directory
abac_graph.h 1.3 KB d4b3b52   12 years faber Better partial proofs
abac_graph.c 17.9 KB d4b3b52   12 years faber Better partial proofs
abac_common.h 145 bytes 473dc8a   14 years Mike Ryan forgot to add this
abac.hh 4.1 KB a70acc9   14 years Mike Ryan simplify Context::query logic a bit
abac.h 2.9 KB 11e3eb7   14 years Mike Ryan return binary representations of ID and attr certs in abac_chunk_t …
abac.c 6.9 KB d4b3b52   12 years faber Better partial proofs
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.