source:
examples/python_tests/partial_proof_rt1
@
54758a7
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
setup.py | 921 bytes | da73657 | 12 years | 1) example for partial proof | |
run_test | 791 bytes | 2e9455f | 12 years | 1) added namespace 2) tweak ?This, 3) allowing linking role/oset as … | |
rocket.save | 3.0 KB | f2d67a5 | 12 years | 1) put back that yap info line in the saved example output | |
README | 1.7 KB | da73657 | 12 years | 1) example for partial proof | |
query.py | 4.8 KB | da73657 | 12 years | 1) example for partial proof | |
dump_db.py | 430 bytes | da73657 | 12 years | 1) example for partial proof | |
attr.py | 4.7 KB | da73657 | 12 years | 1) example for partial proof |
|
Note: See TracBrowser
for help on using the repository browser.