source:
examples/example_scripts/python
@
2485307
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
abac_attr.py | 2.6 KB | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … | |
abac_e_attr.py | 2.7 KB | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … | |
abac_keyid.py | 588 bytes | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … | |
abac_prover.py | 1.4 KB | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … | |
Makefile | 992 bytes | 2485307 | 12 years | 1) wrap up the changes on proof buffer's process in abac_pl_yap.c 2) … | |
run_prover | 288 bytes | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … | |
run_test | 1.0 KB | bea18ef | 12 years | 1) add more tiny prover tests in examples/example_scripts 2) reverted … |
|
Note: See TracBrowser
for help on using the repository browser.