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
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 …
run_leak_prover 776 bytes 3f21704   11 years Mei 1) cleanup alittle X
Makefile.am 2.3 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) …
abac_prover.c 2.8 KB 7764378   11 years Mei 1) tweak according valgrind's leak report
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.