modified:   model/execute.py
	deleted:    scripts/ccomp.py
	deleted:    scripts/cdyncommit.py
	modified:   scripts/validate.py
	deleted:    scripts/vpaxos.py