source: examples/example_scripts/c @ 0d6b61a

abac0-leakabac0-meimei-idmei-rt0-nmei_rt0tvf-new-xml
Name Size Rev Age Author Last Change
../
tchunk.c 1002 bytes 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
tbasic.c 484 bytes 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
run_test 416 bytes 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
run_prover 293 bytes 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
Makefile 1.3 KB 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
loader.c 2.6 KB 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
abac_prover.c 2.7 KB 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
abac_attr.c 2.6 KB 4721618   12 years Mei 1) tested out python and perl test scripts along with abac_chunk_t …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.