projects
/
model-checker.git
/ commitdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
| inline |
side by side
(from:
e023a28
)
model: rework the release sequence fixups
author
Brian Norris
<banorris@uci.edu>
Fri, 15 Feb 2013 20:54:25 +0000
(12:54 -0800)
committer
Brian Norris
<banorris@uci.edu>
Fri, 15 Feb 2013 23:46:47 +0000
(15:46 -0800)
It makes more sense to pull the release sequence fixups out of the main
execution loop and only perform them after all other actions are
complete.
There's still some more cleanup to be done here, but it appears that
end-of-execution release sequence fixups are functional again.
No differences found