source: examples/example_scripts/java @ 20eaefe

Name	Size	Rev	Age	Author	Last Change
../
threaded_test.java	2.2 KB ​	ced90bc	12 years	Mei	1) add a single threaded java test prover script
tchunk.java	918 bytes ​	e3c7769	12 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
tbasic.java	467 bytes ​	e3c7769	12 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
run_thread	241 bytes ​	ced90bc	12 years	Mei	1) add a single threaded java test prover script
run_test	837 bytes ​	46df1bc	12 years	Mei	1) get ready for release 0.2.3 2) add forward function declaration in …
run_prover	237 bytes ​	97a6a36	12 years	Mei	1) added java to libabac using swig 2) added java examples …
prover_test.java	1.7 KB ​	4a8f84a	12 years	Mei	1) tweak java examples
Makefile	990 bytes ​	ced90bc	12 years	Mei	1) add a single threaded java test prover script
build.xml	1.5 KB ​	ced90bc	12 years	Mei	1) add a single threaded java test prover script
abac_attr.java	2.4 KB ​	4a8f84a	12 years	Mei	1) tweak java examples

Property mode set to 040000