source: examples/example_scripts/c @ 646e57e

Name	Size	Rev	Age	Author	Last Change
../
abac_attr.c	3.0 KB ​	bea18ef	12 years	Mei	1) add more tiny prover tests in examples/example_scripts 2) reverted …
abac_attr_partial.c	3.0 KB ​	646e57e	12 years	Mei	1) add partial proof
abac_prover.c	1.5 KB ​	bf68132	12 years	Mei	1) get example directory to work with yap with use_malloc option 2) …
Makefile	1.5 KB ​	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 …
run_test	636 bytes ​	646e57e	12 years	Mei	1) add partial proof

Property mode set to 040000