source: examples/example_scripts/c @ accd63d

Name	Size	Rev	Age	Author	Last Change
../
abac_attr.c	3.4 KB ​	d0efdec	11 years	Mei	1) less bsd compiler complaints
abac_attr_partial.c	3.0 KB ​	d0efdec	11 years	Mei	1) less bsd compiler complaints
abac_prover.c	3.0 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
attr.c	2.2 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
loader.c	2.7 KB ​	d0efdec	11 years	Mei	1) less bsd compiler complaints
Makefile	2.4 KB ​	2e9455f	11 years	Mei	1) added namespace 2) tweak ?This, 3) allowing linking role/oset as …
run_prover	314 bytes ​	08b8da7	12 years	Mei	1) rework examples directory with Makefile 2) update scaling with …
run_test	636 bytes ​	646e57e	12 years	Mei	1) add partial proof
tbasic.c	660 bytes ​	e3c7769	11 years	Mei	1) wrap up java interface with swig/jni/abac linkup 2) java regression …
tchunk.c	1.0 KB ​	97a6a36	12 years	Mei	1) added java to libabac using swig 2) added java examples …

Property mode set to 040000