source: libabac @ 9ac7fb4

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Name Size Rev Age Author Last Change
../
compat 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
options.h 319 bytes 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_util.h 392 bytes 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_set.h 435 bytes e2a0f26   14 years Mike Ryan derive edges from intersections
abac_verifier.h 448 bytes 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_xml.h 520 bytes 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
prover_plus.cc 735 bytes 55c272b   14 years Mike Ryan remove libabac_init and libabac_deinit
libabac_common.h 757 bytes 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_list.h 875 bytes 15200be   14 years Mike Ryan move libabac into its own directory
abac_openssl.h 1.1 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
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_util.c 1.5 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
options.c 1.5 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
prover.c 1.6 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_set.c 2.1 KB e2a0f26   14 years Mike Ryan derive edges from intersections
abac.c 7.3 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_id.c 7.3 KB 9ac7fb4   11 years Mei 1) work around some compilation warnings
abac_verifier.c 7.6 KB 9ac7fb4   11 years Mei 1) work around some compilation warnings
abac.h 8.6 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_role.c 8.8 KB 9a411d7   14 years Mike Ryan fold intersection into ordinary role object
abac_attribute.c 9.8 KB 9ac7fb4   11 years Mei 1) work around some compilation warnings
abac.hh 10.5 KB 461541a   11 years Mei 1) updated original rt0 to remove libstrongswan dependency a) …
abac_openssl.c 17.9 KB 9ac7fb4   11 years Mei 1) work around some compilation warnings
abac_graph.c 17.9 KB d4b3b52   12 years faber Better partial proofs
abac_xml.c 31.8 KB 9ac7fb4   11 years Mei 1) work around some compilation warnings
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
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.