source:
examples/python_tests/alice_rt1
@
4a72b30
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
alice.save | 1.3 KB | bf68132 | 12 years | 1) get example directory to work with yap with use_malloc option 2) … | |
attr.py | 13.3 KB | 646e57e | 12 years | 1) add partial proof | |
query.py | 2.3 KB | 646e57e | 12 years | 1) add partial proof | |
README | 9.5 KB | f824a9e | 12 years | 1) add more doc to python_tests | |
run_test | 686 bytes | f824a9e | 12 years | 1) add more doc to python_tests | |
setup.py | 817 bytes | f824a9e | 12 years | 1) add more doc to python_tests |
|
Note: See TracBrowser
for help on using the repository browser.