source: tests/example_scripts/c @ c0fe894

abac0-leak
Name Size Rev Age Author Last Change
../
tchunk.c 795 bytes ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
tbasic.c 484 bytes ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
setup.sh 188 bytes 4f79997   11 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code …
run_prover 397 bytes 4f79997   11 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code …
Makefile.am 1.9 KB cd0ef61   11 years Mei 1) update some documentations for the 0.1.6
loader.c 2.6 KB ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
abac_prover.c 2.7 KB ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
abac_attr.c 2.6 KB ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.