http://cvc4.stanford.edu/w/index.php?action=history&feed=atom&title=Public%3AThird_Party_Applications 2026-04-05T18:19:18Z Revision history for this page on the wiki MediaWiki 1.26.4 http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=5683&oldid=prev 2017-09-25T13:04:11Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 13:04, 25 September 2017</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://multicore.doc.ic.ac.uk/tools/GPUVerify/ GPUVerify]: A tool for formal static analysis of GPU kernels written in OpenCL and CUDA. It can prove that kernels are free from defects such as data races and barrier divergence. It is built on top of the Boogie verification engine, using CVC4 as one of the available theorem provers.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://multicore.doc.ic.ac.uk/tools/GPUVerify/ GPUVerify]: A tool for formal static analysis of GPU kernels written in OpenCL and CUDA. It can prove that kernels are free from defects such as data races and barrier divergence. It is built on top of the Boogie verification engine, using CVC4 as one of the available theorem provers.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*[https://github.com/cristina-serban/inductor Inductor]: a theorem prover for entailments between inductive definitions in first order and separation logics.</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Please contact us and we'll add your applications here!'''</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Please contact us and we'll add your applications here!'''</div></td></tr> </table>

Ajreynol http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4660&oldid=prev 2013-07-11T20:38:04Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 20:38, 11 July 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del style="font-weight: bold; text-decoration: none;">*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.</del></div></td><td colspan="2">&#160;</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://multicore.doc.ic.ac.uk/tools/GPUVerify/ GPUVerify]: A tool for formal static analysis of GPU kernels written in OpenCL and CUDA. It can prove that kernels are free from defects such as data races and barrier divergence. It is built on top of the Boogie verification engine, using CVC4 as one of the available theorem provers.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://multicore.doc.ic.ac.uk/tools/GPUVerify/ GPUVerify]: A tool for formal static analysis of GPU kernels written in OpenCL and CUDA. It can prove that kernels are free from defects such as data races and barrier divergence. It is built on top of the Boogie verification engine, using CVC4 as one of the available theorem provers.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Please contact us and we'll add your applications here!'''</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Please contact us and we'll add your applications here!'''</div></td></tr> </table>

Mdeters http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4659&oldid=prev 2013-07-11T20:37:57Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 20:37, 11 July 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins style="font-weight: bold; text-decoration: none;">*[http://multicore.doc.ic.ac.uk/tools/GPUVerify/ GPUVerify]: A tool for formal static analysis of GPU kernels written in OpenCL and CUDA. It can prove that kernels are free from defects such as data races and barrier divergence. It is built on top of the Boogie verification engine, using CVC4 as one of the available theorem provers.</ins></div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Please contact us and we'll add your applications here!'''</div></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"><div>'''Please contact us and we'll add your applications here!'''</div></td></tr> </table>

Mdeters http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4658&oldid=prev 2013-07-06T18:32:42Z

<p></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 18:32, 6 July 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">No third party applications have yet been shared here</del>.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">*[http://stardust.qc.com Stardust]: Refinement typechecker for an ML-like language that uses CVC4 as a backend for solving constraints arising from indexed types</ins>.</div></td></tr> <tr><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td><td class='diff-marker'>&#160;</td><td style="background-color: #f9f9f9; color: #333333; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #e6e6e6; vertical-align: top; white-space: pre-wrap;"></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>'''<del class="diffchange diffchange-inline">This page is publicly-editable.'''&#160; </del>Please add your applications here<del class="diffchange diffchange-inline">.</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>'''Please <ins class="diffchange diffchange-inline">contact us and we'll </ins>add your applications here<ins class="diffchange diffchange-inline">!'''</ins></div></td></tr> </table>

Mdeters http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4657&oldid=prev 2013-06-01T16:58:41Z

<p>Undo revision 4654 by <a href="/wiki/Special:Contributions/198.61.225.140" title="Special:Contributions/198.61.225.140">198.61.225.140</a> (<a href="/w/index.php?title=User_talk:198.61.225.140&amp;action=edit&amp;redlink=1" class="new" title="User talk:198.61.225.140 (page does not exist)">Talk</a>)</p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 16:58, 1 June 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">&lt;a href=&quot;http://www</del>.<del class="diffchange diffchange-inline">anystatecarinsurance.com/cheap</del>-<del class="diffchange diffchange-inline">car-insurance-VT.html&quot;&gt;cheap car insurance VT&lt;/a&gt; :-)) &lt;a href=&quot;http://www.compareinsuroffersonline.com/&quot;&gt;state auto insurance&lt;/a&gt; 555791 &lt;a href=&quot;http://www.edtreatmentforyou.com/&quot;&gt;viagra&lt;/a&gt; sqdcza &lt;a href=&quot;http://www.forgetyoured.net/&quot;&gt;levitra shemale yasmin lee&lt;/a&gt; :-P &lt;a href=&quot;http://www.yourcarinsurancequotes.net/&quot;&gt;car insurance quotes&lt;/a&gt; texk &lt;a href=&quot;http://www</del>.<del class="diffchange diffchange-inline">edmedsshopping</del>.<del class="diffchange diffchange-inline">com/&quot;&gt;buying viagra&lt;/a&gt; 025</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">No third party applications have yet been shared here</ins>.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">'''This page is publicly</ins>-<ins class="diffchange diffchange-inline">editable</ins>.<ins class="diffchange diffchange-inline">'''&#160; Please add your applications here</ins>.</div></td></tr> </table>

Mdeters http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4656&oldid=prev 2013-06-01T16:58:24Z

<p>Reverted edits by <a href="/wiki/Special:Contributions/193.36.178.45" title="Special:Contributions/193.36.178.45">193.36.178.45</a> (<a href="/w/index.php?title=User_talk:193.36.178.45&amp;action=edit&amp;redlink=1" class="new" title="User talk:193.36.178.45 (page does not exist)">Talk</a>) to last revision by <a href="/w/index.php?title=User:198.61.225.140&amp;action=edit&amp;redlink=1" class="new" title="User:198.61.225.140 (page does not exist)">198.61.225.140</a></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 16:58, 1 June 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">comfortedmeds</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">buy cialis online</del>&lt;/a&gt; <del class="diffchange diffchange-inline">filn </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">accesstomedssavings</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">order prednisone online</del>&lt;/a&gt; <del class="diffchange diffchange-inline">zpjn </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">getyourerectionsback</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">purchase cialis on the internet</del>&lt;/a&gt; <del class="diffchange diffchange-inline">793681 </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">locateinsurdeals</del>.<del class="diffchange diffchange-inline">com</del>/&quot;&gt;<del class="diffchange diffchange-inline">car insurance qoutes</del>&lt;/a&gt; :<del class="diffchange diffchange-inline">DD </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">insureyourselfcheap</del>.<del class="diffchange diffchange-inline">com</del>/&quot;&gt;<del class="diffchange diffchange-inline">whole life </del>insurance <del class="diffchange diffchange-inline">policies&lt;/a&gt; 06529 &lt;a href=&quot;http://www.edremedies.net/&quot;&gt;cheapest cialis</del>&lt;/a&gt; <del class="diffchange diffchange-inline">islgfi </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">therapyfored</del>.com/&quot;&gt;viagra <del class="diffchange diffchange-inline">online</del>&lt;/a&gt; <del class="diffchange diffchange-inline">61576</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">anystatecarinsurance</ins>.com/<ins class="diffchange diffchange-inline">cheap-car-insurance-VT.html</ins>&quot;&gt;<ins class="diffchange diffchange-inline">cheap car insurance VT</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">:-)) </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">compareinsuroffersonline</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">state auto insurance</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">555791 </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">edtreatmentforyou</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">viagra</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">sqdcza </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">forgetyoured</ins>.<ins class="diffchange diffchange-inline">net</ins>/&quot;&gt;<ins class="diffchange diffchange-inline">levitra shemale yasmin lee</ins>&lt;/a&gt; :<ins class="diffchange diffchange-inline">-P </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">yourcarinsurancequotes</ins>.<ins class="diffchange diffchange-inline">net</ins>/&quot;&gt;<ins class="diffchange diffchange-inline">car </ins>insurance <ins class="diffchange diffchange-inline">quotes</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">texk </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">edmedsshopping</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">buying </ins>viagra&lt;/a&gt; <ins class="diffchange diffchange-inline">025</ins></div></td></tr> </table>

Mdeters http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4655&oldid=prev 2013-06-01T16:56:48Z

<p>BTsxDtFNcbTahH</p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 16:56, 1 June 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">anystatecarinsurance</del>.com/<del class="diffchange diffchange-inline">cheap-car-insurance-VT.html</del>&quot;&gt;<del class="diffchange diffchange-inline">cheap car insurance VT</del>&lt;/a&gt; <del class="diffchange diffchange-inline">:-)) </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">compareinsuroffersonline</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">state auto insurance</del>&lt;/a&gt; <del class="diffchange diffchange-inline">555791 </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">edtreatmentforyou</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">viagra</del>&lt;/a&gt; <del class="diffchange diffchange-inline">sqdcza </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">forgetyoured</del>.<del class="diffchange diffchange-inline">net</del>/&quot;&gt;<del class="diffchange diffchange-inline">levitra shemale yasmin lee</del>&lt;/a&gt; :<del class="diffchange diffchange-inline">-P </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">yourcarinsurancequotes</del>.<del class="diffchange diffchange-inline">net</del>/&quot;&gt;<del class="diffchange diffchange-inline">car </del>insurance <del class="diffchange diffchange-inline">quotes</del>&lt;/a&gt; <del class="diffchange diffchange-inline">texk </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">edmedsshopping</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">buying </del>viagra&lt;/a&gt; <del class="diffchange diffchange-inline">025</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">comfortedmeds</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">buy cialis online</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">filn </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">accesstomedssavings</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">order prednisone online</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">zpjn </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">getyourerectionsback</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">purchase cialis on the internet</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">793681 </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">locateinsurdeals</ins>.<ins class="diffchange diffchange-inline">com</ins>/&quot;&gt;<ins class="diffchange diffchange-inline">car insurance qoutes</ins>&lt;/a&gt; :<ins class="diffchange diffchange-inline">DD </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">insureyourselfcheap</ins>.<ins class="diffchange diffchange-inline">com</ins>/&quot;&gt;<ins class="diffchange diffchange-inline">whole life </ins>insurance <ins class="diffchange diffchange-inline">policies&lt;/a&gt; 06529 &lt;a href=&quot;http://www.edremedies.net/&quot;&gt;cheapest cialis</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">islgfi </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">therapyfored</ins>.com/&quot;&gt;viagra <ins class="diffchange diffchange-inline">online</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">61576</ins></div></td></tr> </table>

193.36.178.45 http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4654&oldid=prev 2013-06-01T16:56:47Z

<p>VgxeeLGUQujYJO</p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 16:56, 1 June 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">No third party applications have yet been shared here</del>.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">&lt;a href=&quot;http://www</ins>.<ins class="diffchange diffchange-inline">anystatecarinsurance.com/cheap</ins>-<ins class="diffchange diffchange-inline">car-insurance-VT.html&quot;&gt;cheap car insurance VT&lt;/a&gt; :-)) &lt;a href=&quot;http://www.compareinsuroffersonline.com/&quot;&gt;state auto insurance&lt;/a&gt; 555791 &lt;a href=&quot;http://www.edtreatmentforyou.com/&quot;&gt;viagra&lt;/a&gt; sqdcza &lt;a href=&quot;http://www.forgetyoured.net/&quot;&gt;levitra shemale yasmin lee&lt;/a&gt; :-P &lt;a href=&quot;http://www.yourcarinsurancequotes.net/&quot;&gt;car insurance quotes&lt;/a&gt; texk &lt;a href=&quot;http://www</ins>.<ins class="diffchange diffchange-inline">edmedsshopping</ins>.<ins class="diffchange diffchange-inline">com/&quot;&gt;buying viagra&lt;/a&gt; 025</ins></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&#160;</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">'''This page is publicly</del>-<del class="diffchange diffchange-inline">editable</del>.<del class="diffchange diffchange-inline">'''&#160; Please add your applications here</del>.</div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div></div></td></tr> </table>

198.61.225.140 http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4653&oldid=prev 2013-05-31T17:01:13Z

<p>Undo revision 4650 by <a href="/wiki/Special:Contributions/4.30.97.163" title="Special:Contributions/4.30.97.163">4.30.97.163</a> (<a href="/w/index.php?title=User_talk:4.30.97.163&amp;action=edit&amp;redlink=1" class="new" title="User talk:4.30.97.163 (page does not exist)">Talk</a>)</p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 17:01, 31 May 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div><del class="diffchange diffchange-inline">&lt;a href=&quot;http://www</del>.<del class="diffchange diffchange-inline">usaglobalquotes.com/auto-insurance-quotes-nevada.html&quot;&gt;auto insurance quotes Nevada&lt;/a&gt; 123 &lt;a href=&quot;http://www.comfortedmeds.com/&quot;&gt;cheap prices on cialis&lt;/a&gt; :(( &lt;a href=&quot;http://www.getyourerectionsback.com/&quot;&gt;cheap generic cialis&lt;/a&gt; =-PP &lt;a href=&quot;http://www.bestqualityedtreatment.com/&quot;&gt;cialis&lt;/a&gt; 032899 &lt;a href=&quot;http://www.youredmedsinfo.com/&quot;&gt;cialis online&lt;/a&gt; =</del>-<del class="diffchange diffchange-inline">PP &lt;a href=&quot;http://www</del>.<del class="diffchange diffchange-inline">edtreatmentforyou</del>.<del class="diffchange diffchange-inline">com/&quot;&gt;viagra&lt;/a&gt; atr</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">No third party applications have yet been shared here</ins>.</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&#160;</div></td></tr> <tr><td colspan="2">&#160;</td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div><ins class="diffchange diffchange-inline">'''This page is publicly</ins>-<ins class="diffchange diffchange-inline">editable</ins>.<ins class="diffchange diffchange-inline">'''&#160; Please add your applications here</ins>.</div></td></tr> </table>

Mdeters http://cvc4.stanford.edu/w/index.php?title=Public:Third_Party_Applications&diff=4652&oldid=prev 2013-05-31T17:01:01Z

<p>Reverted edits by <a href="/wiki/Special:Contributions/186.177.17.226" title="Special:Contributions/186.177.17.226">186.177.17.226</a> (<a href="/w/index.php?title=User_talk:186.177.17.226&amp;action=edit&amp;redlink=1" class="new" title="User talk:186.177.17.226 (page does not exist)">Talk</a>) to last revision by <a href="/w/index.php?title=User:4.30.97.163&amp;action=edit&amp;redlink=1" class="new" title="User:4.30.97.163 (page does not exist)">4.30.97.163</a></p> <table class='diff diff-contentalign-left'> <col class='diff-marker' /> <col class='diff-content' /> <col class='diff-marker' /> <col class='diff-content' /> <tr style='vertical-align: top;' lang='en'> <td colspan='2' style="background-color: white; color:black; text-align: center;">← Older revision</td> <td colspan='2' style="background-color: white; color:black; text-align: center;">Revision as of 17:01, 31 May 2013</td> </tr><tr><td colspan="2" class="diff-lineno" id="mw-diff-left-l1" >Line 1:</td> <td colspan="2" class="diff-lineno">Line 1:</td></tr> <tr><td class='diff-marker'>−</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #ffe49c; vertical-align: top; white-space: pre-wrap;"><div>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">edmedsonline4you</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">cialis</del>&lt;/a&gt; <del class="diffchange diffchange-inline">8-O </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">lookingforedmeds</del>.com/&quot;&gt;cialis <del class="diffchange diffchange-inline">for sale</del>&lt;/a<del class="diffchange diffchange-inline">&gt; </del>&gt;:<del class="diffchange diffchange-inline">] </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">onlinecollegeseasily</del>.com/&quot;&gt;<del class="diffchange diffchange-inline">college online</del>&lt;/a&gt; <del class="diffchange diffchange-inline">nlof </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">yourcarinsurancequotes</del>.<del class="diffchange diffchange-inline">net</del>/<del class="diffchange diffchange-inline">new-jersey-car-insurance-quotes</del>.<del class="diffchange diffchange-inline">html</del>&quot;&gt;<del class="diffchange diffchange-inline">car insurance quotes New Jersey</del>&lt;/a&gt; <del class="diffchange diffchange-inline">czhdtn </del>&lt;a href=&quot;http://www.<del class="diffchange diffchange-inline">therapyfored</del>.com/&quot;&gt;viagra <del class="diffchange diffchange-inline">without a prescription</del>&lt;/a&gt; <del class="diffchange diffchange-inline">uhq</del></div></td><td class='diff-marker'>+</td><td style="color:black; font-size: 88%; border-style: solid; border-width: 1px 1px 1px 4px; border-radius: 0.33em; border-color: #a3d3ff; vertical-align: top; white-space: pre-wrap;"><div>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">usaglobalquotes</ins>.com/<ins class="diffchange diffchange-inline">auto-insurance-quotes-nevada.html</ins>&quot;&gt;<ins class="diffchange diffchange-inline">auto insurance quotes Nevada</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">123 </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">comfortedmeds</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">cheap prices on </ins>cialis&lt;/a&gt; :<ins class="diffchange diffchange-inline">(( </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">getyourerectionsback</ins>.com/&quot;&gt;<ins class="diffchange diffchange-inline">cheap generic cialis</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">=-PP </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">bestqualityedtreatment</ins>.<ins class="diffchange diffchange-inline">com</ins>/<ins class="diffchange diffchange-inline">&quot;&gt;cialis&lt;/a&gt; 032899 &lt;a href=&quot;http://www</ins>.<ins class="diffchange diffchange-inline">youredmedsinfo.com/</ins>&quot;&gt;<ins class="diffchange diffchange-inline">cialis online</ins>&lt;/a&gt; <ins class="diffchange diffchange-inline">=-PP </ins>&lt;a href=&quot;http://www.<ins class="diffchange diffchange-inline">edtreatmentforyou</ins>.com/&quot;&gt;viagra&lt;/a&gt; <ins class="diffchange diffchange-inline">atr</ins></div></td></tr> </table>

Mdeters