source:
examples/python_tests/alumni2_rt1
@
da73657
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
setup.py | 578 bytes | f824a9e | 12 years | 1) add more doc to python_tests | |
run_test | 699 bytes | f824a9e | 12 years | 1) add more doc to python_tests | |
README | 1.3 KB | f824a9e | 12 years | 1) add more doc to python_tests | |
query.py | 2.5 KB | 646e57e | 12 years | 1) add partial proof | |
attr.py | 4.4 KB | 646e57e | 12 years | 1) add partial proof | |
alumni2.save | 643 bytes | bf68132 | 12 years | 1) get example directory to work with yap with use_malloc option 2) … |
|
Note: See TracBrowser
for help on using the repository browser.