source:
examples/example_scripts/c
@
e3c7769
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| abac_attr.c | 3.0 KB | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … | |
| abac_attr_partial.c | 3.0 KB | 646e57e | 12 years | 1) add partial proof | |
| abac_prover.c | 1.5 KB | bf68132 | 12 years | 1) get example directory to work with yap with use_malloc option 2) … | |
| Makefile | 2.0 KB | e3c7769 | 12 years | 1) wrap up java interface with swig/jni/abac linkup 2) java regression … | |
| run_prover | 314 bytes | 08b8da7 | 12 years | 1) rework examples directory with Makefile 2) update scaling with … | |
| run_test | 636 bytes | 646e57e | 12 years | 1) add partial proof | |
| tbasic.c | 660 bytes | e3c7769 | 12 years | 1) wrap up java interface with swig/jni/abac linkup 2) java regression … | |
| tchunk.c | 1.0 KB | 97a6a36 | 12 years | 1) added java to libabac using swig 2) added java examples … | |
|
Note: See TracBrowser
for help on using the repository browser.
