source: examples/example_scripts/c @ 6f383ee

Name	Size	Rev	Age	Author	Last Change
../
tchunk.c	1.0 KB ​	97a6a36	12 years	Mei	1) added java to libabac using swig 2) added java examples …
tbasic.c	660 bytes ​	e3c7769	12 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
run_test	636 bytes ​	646e57e	12 years	Mei	1) add partial proof
run_prover	314 bytes ​	08b8da7	12 years	Mei	1) rework examples directory with Makefile 2) update scaling with …
Makefile	2.1 KB ​	09531ca	12 years	Mei	1) add config check for perl thread, and optional jni.h 2) tweak for …
abac_prover.c	1.5 KB ​	bf68132	12 years	Mei	1) get example directory to work with yap with use_malloc option 2) …
abac_attr_partial.c	3.0 KB ​	646e57e	12 years	Mei	1) add partial proof
abac_attr.c	3.0 KB ​	bea18ef	12 years	Mei	1) add more tiny prover tests in examples/example_scripts 2) reverted …

Property mode set to 040000