source:
examples/example_scripts/java
@
4a8f84a
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| abac_attr.java | 2.4 KB | 4a8f84a | 12 years | 1) tweak java examples | |
| build.xml | 1.5 KB | ced90bc | 12 years | 1) add a single threaded java test prover script | |
| Makefile | 990 bytes | ced90bc | 12 years | 1) add a single threaded java test prover script | |
| prover_test.java | 1.7 KB | 4a8f84a | 12 years | 1) tweak java examples | |
| run_prover | 237 bytes | 97a6a36 | 12 years | 1) added java to libabac using swig 2) added java examples … | |
| run_test | 432 bytes | 97a6a36 | 12 years | 1) added java to libabac using swig 2) added java examples … | |
| run_thread | 241 bytes | ced90bc | 12 years | 1) add a single threaded java test prover script | |
| tbasic.java | 467 bytes | e3c7769 | 12 years | 1) wrap up java interface with swig/jni/abac linkup 2) java regression … | |
| tchunk.java | 918 bytes | e3c7769 | 12 years | 1) wrap up java interface with swig/jni/abac linkup 2) java regression … | |
| threaded_test.java | 2.2 KB | ced90bc | 12 years | 1) add a single threaded java test prover script | |
|
Note: See TracBrowser
for help on using the repository browser.
