diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2016-11-25 17:44:15 -0800 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2016-11-25 17:44:15 -0800 |
| commit | f222051e01e05f2e9666235a5664536cb772d230 (patch) | |
| tree | 358ac8bd6b98ed137ad496d1b8e3ddf1668d67c2 /html/036refcount.cc.html | |
| parent | 8bd3f99fc3e448f3ec5e396a8775454eb111d5c6 (diff) | |
| download | mu-f222051e01e05f2e9666235a5664536cb772d230.tar.gz | |
3689
Diffstat (limited to 'html/036refcount.cc.html')
| -rw-r--r-- | html/036refcount.cc.html | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/html/036refcount.cc.html b/html/036refcount.cc.html index fb44f1f0..dda4e250 100644 --- a/html/036refcount.cc.html +++ b/html/036refcount.cc.html @@ -16,7 +16,7 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Constant { color: #00a0a0; } .cSpecial { color: #008000; } .muRecipe { color: #ff8700; } -.Todo { color: #000000; background-color: #ffff00; padding-bottom: 1px; } +.SalientComment { color: #00ffff; } .Comment { color: #9090ff; } .Delimiter { color: #800080; } .Special { color: #c00000; } @@ -24,7 +24,6 @@ body { font-size: 12pt; font-family: monospace; color: #eeeeee; background-color .Normal { color: #eeeeee; background-color: #080808; padding-bottom: 1px; } .muData { color: #ffff00; } .Identifier { color: #c0a020; } -.SalientComment { color: #00ffff; } --> </style> @@ -221,7 +220,7 @@ update_any_refcounts<span class="Delimiter">(</span>element<span class="Delimite <span class="traceContains">+mem: incrementing refcount of 1000: 2 -> 3</span> <span class="Delimiter">:(after "Write Memory in Successful MAYBE_CONVERT")</span> -<span class="Comment">// </span><span class="Todo">TODO</span><span class="Comment">: double-check data here as well</span> +<span class="Comment">// todo: double-check data here as well</span> vector<<span class="Normal">double</span>> data<span class="Delimiter">;</span> <span class="Normal">for</span> <span class="Delimiter">(</span><span class="Normal">int</span> i = <span class="Constant">0</span><span class="Delimiter">;</span> i < size_of<span class="Delimiter">(</span>product<span class="Delimiter">);</span> ++i<span class="Delimiter">)</span> data<span class="Delimiter">.</span>push_back<span class="Delimiter">(</span>get_or_insert<span class="Delimiter">(</span>Memory<span class="Delimiter">,</span> base_address+<span class="Comment">/*</span><span class="Comment">skip tag</span><span class="Comment">*/</span><span class="Constant">1</span>+i<span class="Delimiter">));</span> |