source: examples/example_scripts/java @ d34f7ef

Name	Size	Rev	Age	Author	Last Change
../
abac_attr.java	2.6 KB ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
bad_prover.c	3.6 KB ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
build.xml	1.5 KB ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
Makefile	1014 bytes ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
prover_test.java	1.7 KB ​	4a8f84a	12 years	Mei	1) tweak java examples
run_prover	202 bytes ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
run_test	1.1 KB ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
run_thread	206 bytes ​	91ecdfa	11 years	Mei	1) fixed the java's LD_LIBRARY_PATH 2) move the inserting of …
tbasic.java	467 bytes ​	e3c7769	12 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
tchunk.java	918 bytes ​	e3c7769	12 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
threaded_test.java	2.2 KB ​	ced90bc	12 years	Mei	1) add a single threaded java test prover script

Property mode set to 040000