source: examples/example_scripts/c @ 94a4dd2

mei_rt2mei_rt2_fix_1
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_prover.c 1.4 KB 94a4dd2   12 years Mei 1) save a set of performance jpegs into examples/scaling_tests/plotting dir
Makefile 951 bytes 08b8da7   12 years Mei 1) rework examples directory with Makefile 2) update scaling with …
run_prover 314 bytes 08b8da7   12 years Mei 1) rework examples directory with Makefile 2) update scaling with …
run_test 418 bytes 928b1b7   12 years Mei 1) more tweaking on Makefile setup for examples
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.