From 4265d72a46759e930436bf0c6349982ecf0adabd Mon Sep 17 00:00:00 2001 From: Aviral Goel Date: Mon, 19 Dec 2016 02:23:12 -0500 Subject: Complete draft of the counters writeup --- .../increment-and-decrement-operations-commute.png | Bin 0 -> 22837 bytes ...ation-based-increment-and-decrement-counter.png | Bin 259325 -> 231349 bytes .../operation-based-increment-only-counter.png | Bin 236423 -> 275467 bytes ...sed-increment-and-decrement-counter-correct.png | Bin 250168 -> 302107 bytes ...ent-and-decrement-counter-incorrect-lattice.png | Bin 0 -> 42949 bytes ...d-increment-and-decrement-counter-incorrect.png | Bin 247402 -> 298653 bytes .../state-based-increment-only-counter-correct.png | Bin 240649 -> 282239 bytes ...tate-based-increment-only-counter-incorrect.png | Bin 241905 -> 283474 bytes 8 files changed, 0 insertions(+), 0 deletions(-) create mode 100644 chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png create mode 100644 chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png (limited to 'chapter/6/resources') 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 new file mode 100644 index 0000000..93b52bf Binary files /dev/null and b/chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png differ 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 index f046c0b..ddbc789 100644 Binary files a/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png and b/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png differ 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 index 398c562..1231b92 100644 Binary files a/chapter/6/resources/images/counters/operation-based-increment-only-counter.png and b/chapter/6/resources/images/counters/operation-based-increment-only-counter.png differ 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 index 0d6468b..880aee0 100644 Binary files a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png and b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png differ 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 new file mode 100644 index 0000000..d13dfaa Binary files /dev/null and b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png differ 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 index 3f7f1b9..7981767 100644 Binary files a/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png and b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png differ 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 index 4ca2843..c382f8b 100644 Binary files a/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png and b/chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png differ 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 index 3f95e59..3e79e42 100644 Binary files a/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png and b/chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png differ -- cgit v1.2.3