diff options
| author | Heather Miller <heather.miller@epfl.ch> | 2017-01-02 16:10:10 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2017-01-02 16:10:10 +0100 |
| commit | 8428c40f79060169e85bdf740a9432b933a47160 (patch) | |
| tree | 9950fdb91b93a3c37c4de8e03d4e853493b59deb /chapter/6/resources/images/counters | |
| parent | 67118db13c3acb378da9a853d8119e82e20d306a (diff) | |
| parent | f27ba2bd06be195a06fe11b571aebd9a7c1ef930 (diff) | |
Merge pull request #17 from aviralg/master
Added images for counter example, need to work on text
Diffstat (limited to 'chapter/6/resources/images/counters')
11 files changed, 0 insertions, 0 deletions
diff --git a/chapter/6/resources/images/counters/decrement-operation.png b/chapter/6/resources/images/counters/decrement-operation.png Binary files differnew file mode 100644 index 0000000..a2d3f1a --- /dev/null +++ b/chapter/6/resources/images/counters/decrement-operation.png diff --git a/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png b/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png Binary files differnew file mode 100644 index 0000000..93b52bf --- /dev/null +++ b/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png diff --git a/chapter/6/resources/images/counters/increment-operation.png b/chapter/6/resources/images/counters/increment-operation.png Binary files differnew file mode 100644 index 0000000..f016c23 --- /dev/null +++ b/chapter/6/resources/images/counters/increment-operation.png diff --git a/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png b/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png Binary files differnew file mode 100644 index 0000000..ddbc789 --- /dev/null +++ b/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png diff --git a/chapter/6/resources/images/counters/operation-based-increment-only-counter.png b/chapter/6/resources/images/counters/operation-based-increment-only-counter.png Binary files differnew file mode 100644 index 0000000..1231b92 --- /dev/null +++ b/chapter/6/resources/images/counters/operation-based-increment-only-counter.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png Binary files differnew file mode 100644 index 0000000..2bbcf6b --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct-lattice.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png Binary files differnew file mode 100644 index 0000000..880aee0 --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png Binary files differnew file mode 100644 index 0000000..d13dfaa --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png diff --git a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png Binary files differnew file mode 100644 index 0000000..7981767 --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png diff --git a/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png b/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png Binary files differnew file mode 100644 index 0000000..c382f8b --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png diff --git a/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png b/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png Binary files differnew file mode 100644 index 0000000..3e79e42 --- /dev/null +++ b/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png |
