source:
examples/example_scripts/c
@
d0efdec
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
tchunk.c | 1.0 KB | 97a6a36 | 12 years | 1) added java to libabac using swig 2) added java examples … | |
tbasic.c | 660 bytes | e3c7769 | 12 years | 1) wrap up java interface with swig/jni/abac linkup 2) java regression … | |
run_test | 636 bytes | 646e57e | 12 years | 1) add partial proof | |
run_prover | 314 bytes | 08b8da7 | 12 years | 1) rework examples directory with Makefile 2) update scaling with … | |
Makefile | 2.4 KB | 2e9455f | 11 years | 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … | |
loader.c | 2.7 KB | d0efdec | 11 years | 1) less bsd compiler complaints | |
attr.c | 2.2 KB | 2e9455f | 11 years | 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … | |
abac_prover.c | 3.0 KB | 2e9455f | 11 years | 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … | |
abac_attr_partial.c | 3.0 KB | d0efdec | 11 years | 1) less bsd compiler complaints | |
abac_attr.c | 3.4 KB | d0efdec | 11 years | 1) less bsd compiler complaints |
|
Note: See TracBrowser
for help on using the repository browser.