[COMPOSE-HPC-Commits] compose-hpc branch master updated. 23b7bcb915109f54783b32ba3892be331e99a73a

[T. D. <tld...@us...>]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "compose-hpc".

The branch, master has been updated
       via  23b7bcb915109f54783b32ba3892be331e99a73a (commit)
       via  c97e455314bfe26cf7e43d2dc1611dde5d1214ee (commit)
       via  03030682420621ea2d5d40da594c881973bfe3b9 (commit)
      from  a91a5609010fec866f50c04287929e31ceea3263 (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit 23b7bcb915109f54783b32ba3892be331e99a73a
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Sep 28 17:51:40 2012 -0700

    Snapshot of invariants generation refinements.

commit c97e455314bfe26cf7e43d2dc1611dde5d1214ee
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Sep 28 16:56:07 2012 -0700

    Updated a couple of notes files.

commit 03030682420621ea2d5d40da594c881973bfe3b9
Author: T. Dahlgren <dah...@ll...>
Date:   Fri Sep 28 13:45:23 2012 -0700

    Provided more information in documentation main page.

-----------------------------------------------------------------------

Summary of changes:
 pcontracts/TODO                              |   17 ++++-------
 pcontracts/WARNING                           |    3 +-
 pcontracts/examples/ContractInstrumenter.cpp |   42 +++++++++++++++++++-------
 pcontracts/examples/Knapsack.cpp             |    1 +
 pcontracts/examples/UnlabeledKnapsack.cpp    |    1 +
 pcontracts/mainpage.dox                      |   30 +++++++++++++++++-
 6 files changed, 68 insertions(+), 26 deletions(-)


hooks/post-receive
-- 
compose-hpc