source: tests/example_scripts/c

Name Size Rev Age Author Last Change
../
abac_attr.c 3.3 KB 1e2a19c   10 years faber Better diagnostics and use default validity time
abac_prover.c 2.8 KB 7764378   11 years Mei 1) tweak according valgrind's leak report
loader.c 2.6 KB ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
Makefile.am 2.3 KB 7764378   11 years Mei 1) tweak according valgrind's leak report
run_leak_prover 776 bytes 3f21704   11 years Mei 1) cleanup alittle X
run_prover 397 bytes 4f79997   11 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code …
setup.sh 188 bytes 4f79997   11 years Mei 1) add a new scaling test -haystack/ralphs 2) tweak some libabac code …
tbasic.c 484 bytes ec550f7   11 years Mei 1) reworked how API doc is generated 2) tweak top level Makefile.am 3) …
tchunk.c 795 bytes 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.