source: examples/python_tests/acme_rockets_rt0 @ 47d5cf9

mei_rt2mei_rt2_fix_1
Name Size Rev Age Author Last Change
../
setup.py 369 bytes 5f551d3   12 years Mei 1) add more python examples
run_test 777 bytes 669b481   12 years Mei 1) finish test conversion from creddy-prover to python 2) update the …
rocket.save 550 bytes 5f551d3   12 years Mei 1) add more python examples
README 1.4 KB 5f551d3   12 years Mei 1) add more python examples
query.py 1.9 KB 5f551d3   12 years Mei 1) add more python examples
attr.py 1.4 KB 5f551d3   12 years Mei 1) add more python examples
  • Property mode set to 040000
Note: See TracBrowser for help on using the repository browser.