source: tests/example_scripts/c @ f2622ee

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 2.2 KB f2622ee   11 years Mei 1) ran with valgrind and did some leak patching
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 3.0 KB f2622ee   11 years Mei 1) ran with valgrind and did some leak patching
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.