model: add support for modification orders
authorBrian Demsky <bdemsky@uci.edu>
Wed, 18 Jul 2012 05:03:01 +0000 (22:03 -0700)
committerBrian Norris <banorris@uci.edu>
Tue, 31 Jul 2012 23:15:58 +0000 (16:15 -0700)
commit21c976cef707ef9ccd33ec72f07a297b4cec057d
tree1b5afa1f50a96b9f9ba890aebd40188868d73292
parent7abd49a94a2096b0dbed4403ba4397b3ee96422b
model: add support for modification orders

This update adds support for modification orders and kills the bogus executions
seen before...

[Updated, split by Brian Norris]
main.cc
model.cc
model.h