source: examples/python_tests/payraise_rt1 @ e3c7769

Name	Size	Rev	Age	Author	Last Change
../
attr.py	5.5 KB ​	646e57e	12 years	Mei	1) add partial proof
pay.save	803 bytes ​	bf68132	12 years	Mei	1) get example directory to work with yap with use_malloc option 2) …
query.py	2.2 KB ​	646e57e	12 years	Mei	1) add partial proof
README	1.7 KB ​	f824a9e	12 years	Mei	1) add more doc to python_tests
run_test	681 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests
setup.py	593 bytes ​	f824a9e	12 years	Mei	1) add more doc to python_tests

Property mode set to 040000