diff options
| author | Aviral Goel <goel.aviral@gmail.com> | 2016-12-19 02:23:12 -0500 |
|---|---|---|
| committer | Aviral Goel <goel.aviral@gmail.com> | 2016-12-19 02:23:12 -0500 |
| commit | 4265d72a46759e930436bf0c6349982ecf0adabd (patch) | |
| tree | 1ebc1d731675d75a87c6613a0026e1e257b93f2c /chapter/6/resources/images | |
| parent | 71d608e799f4f5674c8961e304719743d26066fc (diff) | |
Complete draft of the counters writeup
Diffstat (limited to 'chapter/6/resources/images')
| -rw-r--r-- | chapter/6/resources/images/counters/increment-and-decrement-operations-commute.png | bin | 0 -> 22837 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png | bin | 259325 -> 231349 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/operation-based-increment-only-counter.png | bin | 236423 -> 275467 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png | bin | 250168 -> 302107 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect-lattice.png | bin | 0 -> 42949 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-incorrect.png | bin | 247402 -> 298653 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-only-counter-correct.png | bin | 240649 -> 282239 bytes |
| -rw-r--r-- | chapter/6/resources/images/counters/state-based-increment-only-counter-incorrect.png | bin | 241905 -> 283474 bytes |
8 files changed, 0 insertions, 0 deletions
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/operation-based-increment-and-decrement-counter.png b/chapter/6/resources/images/counters/operation-based-increment-and-decrement-counter.png Binary files differindex f046c0b..ddbc789 100644 --- 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 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 differindex 398c562..1231b92 100644 --- a/chapter/6/resources/images/counters/operation-based-increment-only-counter.png +++ 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.png b/chapter/6/resources/images/counters/state-based-increment-and-decrement-counter-correct.png Binary files differindex 0d6468b..880aee0 100644 --- 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 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 differindex 3f7f1b9..7981767 100644 --- 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 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 differindex 4ca2843..c382f8b 100644 --- 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 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 differindex 3f95e59..3e79e42 100644 --- 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 |
