source: examples/python_tests/access_rt2 @ 446b3ce

Name	Size	Rev	Age	Author	Last Change
../
setup.py	398 bytes ​	08c8a53	12 years	Mei	1) take out accidentally committed setup.py changes
run_test	712 bytes ​	05acf45	12 years	Mei	1) make diff skip that "Restoring file" output line that appears when …
run_prover	641 bytes ​	46df1bc	11 years	Mei	1) get ready for release 0.2.3 2) add forward function declaration in …
README	1.8 KB ​	bde4e91	12 years	Mei	1) add creddy_internal.h
query.py	3.1 KB ​	646e57e	12 years	Mei	1) add partial proof
attr.py	4.7 KB ​	646e57e	12 years	Mei	1) add partial proof
access.save	733 bytes ​	f2d67a5	12 years	Mei	1) put back that yap info line in the saved example output

Property mode set to 040000