source: examples/scaling_tests/haystack/fruit_python/base @ 7751094

Name	Size	Rev	Age	Author	Last Change
../
ATTR.py	5.5 KB ​	373bf68	12 years	Mei	1) add the scaling test suite
QUERY.py	6.4 KB ​	646e57e	12 years	Mei	1) add partial proof
README	972 bytes ​	373bf68	12 years	Mei	1) add the scaling test suite
RESULT	4.0 KB ​	bf68132	12 years	Mei	1) get example directory to work with yap with use_malloc option 2) …
SETUP.py	716 bytes ​	373bf68	12 years	Mei	1) add the scaling test suite

Property mode set to 040000