diff options
Diffstat (limited to 'exampleData/headlessRuns')
-rw-r--r-- | exampleData/headlessRuns/.gitignore | 2 | ||||
-rw-r--r-- | exampleData/headlessRuns/README.md | 5 | ||||
-rw-r--r-- | exampleData/headlessRuns/basicRun.json | 8 | ||||
-rw-r--r-- | exampleData/headlessRuns/basic_report/byRule.html | 128 | ||||
-rw-r--r-- | exampleData/headlessRuns/basic_report/byURL.html | 96 | ||||
-rw-r--r-- | exampleData/headlessRuns/basic_report/summary.html | 73 | ||||
-rw-r--r-- | exampleData/headlessRuns/galois.log | 818 | ||||
-rw-r--r-- | exampleData/headlessRuns/galoisRun.json | 9 | ||||
-rw-r--r-- | exampleData/headlessRuns/galois_report/byRule.html | 1203 | ||||
-rw-r--r-- | exampleData/headlessRuns/galois_report/byURL.html | 885 | ||||
-rw-r--r-- | exampleData/headlessRuns/galois_report/summary.html | 253 | ||||
-rwxr-xr-x | exampleData/headlessRuns/runExample.sh | 8 |
12 files changed, 3488 insertions, 0 deletions
diff --git a/exampleData/headlessRuns/.gitignore b/exampleData/headlessRuns/.gitignore new file mode 100644 index 0000000..d4c79ef --- /dev/null +++ b/exampleData/headlessRuns/.gitignore @@ -0,0 +1,2 @@ +*.out +reports diff --git a/exampleData/headlessRuns/README.md b/exampleData/headlessRuns/README.md new file mode 100644 index 0000000..d6f27b4 --- /dev/null +++ b/exampleData/headlessRuns/README.md @@ -0,0 +1,5 @@ +# Example Headless Run Configurations # + +The examples run configuration files in this directory require a +local websever to be running on port 8000 hosting the HTML files in +$FIVEUI_ROOT/exampleData/sites/. diff --git a/exampleData/headlessRuns/basicRun.json b/exampleData/headlessRuns/basicRun.json new file mode 100644 index 0000000..eb05baf --- /dev/null +++ b/exampleData/headlessRuns/basicRun.json @@ -0,0 +1,8 @@ +{ + 'rulePath' : '../ruleSets/', + 'crawlType' : 'none', + 'runs': [ + { 'url': 'http://localhost:8000/testColorRules.html', 'ruleSet': 'colorRules.json' }, + { 'url': 'http://localhost:8000/testFontRules.html', 'ruleSet': 'fontRules.json' } + ] +} diff --git a/exampleData/headlessRuns/basic_report/byRule.html b/exampleData/headlessRuns/basic_report/byRule.html new file mode 100644 index 0000000..561ac75 --- /dev/null +++ b/exampleData/headlessRuns/basic_report/byRule.html @@ -0,0 +1,128 @@ + +<html> + <head> + <title>Results sorted by rule + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }li { margin: 5 0 0 0; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; } +td.pass-number{ text-align: right;color: green; } +td.fail-number{ text-align: right;color: red; } +td.text{ text-align: left; } +th { font-weight: bold; } +td, th { border: 1px solid grey; } +.hlRow { background: #EEEEEE; } +.regRow { background: #FFFFFF; } + + </style> + </head> + <body> + <h1>Results by Rule + </h1> + <ul> + <li> + <b>Color Guidelines + </b>: Foreground/background color guidelines + <ul> + <li class="regRow">Problem: Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: //*[@id="nav-left"] + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul/li + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: foreground color: #EE / Rule Desc: null / XPath: /html/body/div/ul/li/a + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul/li[2] + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: foreground color: #EE / Rule Desc: null / XPath: /html/body/div/ul/li[2]/a + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul/li[3] + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: foreground color: #EE / Rule Desc: null / XPath: /html/body/div/ul/li[3]/a + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: foreground color: #FFFFF1 / Rule Desc: null / XPath: /html/body/div[2]/p + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: foreground color: #CCCCCC / Rule Desc: null / XPath: /html/body/div[2]/p[2] + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: foreground color: #808080 / Rule Desc: null / XPath: /html/body/div[2]/hr + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: foreground color: #808080 / Rule Desc: null / XPath: /html/body/div[2]/hr[2] + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: foreground color: #C7C7C7 / Rule Desc: null / XPath: //*[@id="content"] + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: non-standard header color: #000000 / Rule Desc: null / XPath: /html/body/div[2]/h1 + <br/>URL: + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </li> + </ul> + </li> + <li> + <b>Fonts + </b>: Guidelines regarding site fonts + <ul> + <li class="regRow">Problem: Rule Name: non-standard font: serif, 32, bold / Rule Desc: null / XPath: /html/body/h1 + <br/>URL: + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: non-standard font: Verdana, 24, normal / Rule Desc: null / XPath: /html/body/p[2] + <br/>URL: + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: non-standard font: Times, 16, normal / Rule Desc: null / XPath: /html/body/p[3] + <br/>URL: + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: non-standard font: Times, 24, normal / Rule Desc: null / XPath: /html/body/p[4] + <br/>URL: + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </li> + <li class="regRow">Problem: Rule Name: non-standard font: Times, 36, normal / Rule Desc: null / XPath: /html/body/p[5] + <br/>URL: + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </li> + </ul> + </li> + </ul>
\ No newline at end of file diff --git a/exampleData/headlessRuns/basic_report/byURL.html b/exampleData/headlessRuns/basic_report/byURL.html new file mode 100644 index 0000000..2054b9f --- /dev/null +++ b/exampleData/headlessRuns/basic_report/byURL.html @@ -0,0 +1,96 @@ + +<html> + <head> + <title>Results sorted by URL + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }li { margin: 5 0 0 0; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; } +td.pass-number{ text-align: right;color: green; } +td.fail-number{ text-align: right;color: red; } +td.text{ text-align: left; } +th { font-weight: bold; } +td, th { border: 1px solid grey; } +.hlRow { background: #EEEEEE; } +.regRow { background: #FFFFFF; } + + </style> + </head> + <body> + <body> + <h1>Results by URL + </h1> + <ol> + <li> + <h2> + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </h2> + <ul> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: //*[@id="nav-left"] + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul + </li> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul/li + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #EE / Rule Desc: null / XPath: /html/body/div/ul/li/a + </li> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul/li[2] + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #EE / Rule Desc: null / XPath: /html/body/div/ul/li[2]/a + </li> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #C3C2C5 / Rule Desc: null / XPath: /html/body/div/ul/li[3] + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #EE / Rule Desc: null / XPath: /html/body/div/ul/li[3]/a + </li> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #FFFFF1 / Rule Desc: null / XPath: /html/body/div[2]/p + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #CCCCCC / Rule Desc: null / XPath: /html/body/div[2]/p[2] + </li> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #808080 / Rule Desc: null / XPath: /html/body/div[2]/hr + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #808080 / Rule Desc: null / XPath: /html/body/div[2]/hr[2] + </li> + <li class="regRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: foreground color: #C7C7C7 / Rule Desc: null / XPath: //*[@id="content"] + </li> + <li class="hlRow">Color Guidelines: Foreground/background color guidelines + <br/>Rule Name: non-standard header color: #000000 / Rule Desc: null / XPath: /html/body/div[2]/h1 + </li> + </ul> + </li> + <li> + <h2> + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </h2> + <ul> + <li class="regRow">Fonts: Guidelines regarding site fonts + <br/>Rule Name: non-standard font: serif, 32, bold / Rule Desc: null / XPath: /html/body/h1 + </li> + <li class="hlRow">Fonts: Guidelines regarding site fonts + <br/>Rule Name: non-standard font: Verdana, 24, normal / Rule Desc: null / XPath: /html/body/p[2] + </li> + <li class="regRow">Fonts: Guidelines regarding site fonts + <br/>Rule Name: non-standard font: Times, 16, normal / Rule Desc: null / XPath: /html/body/p[3] + </li> + <li class="hlRow">Fonts: Guidelines regarding site fonts + <br/>Rule Name: non-standard font: Times, 24, normal / Rule Desc: null / XPath: /html/body/p[4] + </li> + <li class="regRow">Fonts: Guidelines regarding site fonts + <br/>Rule Name: non-standard font: Times, 36, normal / Rule Desc: null / XPath: /html/body/p[5] + </li> + </ul> + </li> + </ol> + </body>
\ No newline at end of file diff --git a/exampleData/headlessRuns/basic_report/summary.html b/exampleData/headlessRuns/basic_report/summary.html new file mode 100644 index 0000000..2477983 --- /dev/null +++ b/exampleData/headlessRuns/basic_report/summary.html @@ -0,0 +1,73 @@ + +<html> + <head> + <title>Summary of Results + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }li { margin: 5 0 0 0; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; } +td.pass-number{ text-align: right;color: green; } +td.fail-number{ text-align: right;color: red; } +td.text{ text-align: left; } +th { font-weight: bold; } +td, th { border: 1px solid grey; } +.hlRow { background: #EEEEEE; } +.regRow { background: #FFFFFF; } + + </style> + </head> + <body> + <h1>Headless Run Summary + </h1> + <p> + <ul> + <li> + <a href="byurl.html">Results organized by URL + </a> + </li> + <li> + <a href="byrule.html">Results organized by Rule + </a> + </li> + </ul> + </p> + <p> + <div id="stats"> + <p> + <h3>Unique URLs: + <span class="number">2 + </span> + </h3> + </p> + <p> + <table id="stats-table"> + <tr> + <th>URL + </th> + <th>Pass + </th> + <th>Fail + </th> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://localhost:8000/testColorRules.html">http://localhost:8000/testColorRules.html + </a> + </td> + <td class="pass-number">0 + </td> + <td class="fail-number">14 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://localhost:8000/testFontRules.html">http://localhost:8000/testFontRules.html + </a> + </td> + <td class="pass-number">0 + </td> + <td class="fail-number">5 + </td> + </tr> + </table> + </p> + </div> + </p>
\ No newline at end of file diff --git a/exampleData/headlessRuns/galois.log b/exampleData/headlessRuns/galois.log new file mode 100644 index 0000000..0ebb4e5 --- /dev/null +++ b/exampleData/headlessRuns/galois.log @@ -0,0 +1,818 @@ +0 [main] INFO com.galois.fiveui.HeadlessRunner - report directory already exists! +41 [main] ERROR com.galois.fiveui.HeadlessRunDescription - HeadlessAtom.parse: error parsing ruleSet file: ../ruleSets/headingRules.json (No such file or directory) +1085 [main] DEBUG com.galois.fiveui.HeadlessRunner - invoking headless run... +1086 [main] DEBUG com.galois.fiveui.BatchRunner - initializing BatchRunner ... +1087 [main] DEBUG com.galois.fiveui.CrawlParameters - setting depth: 2 +1087 [main] DEBUG com.galois.fiveui.CrawlParameters - setting maxFetch: 20 +1087 [main] DEBUG com.galois.fiveui.CrawlParameters - setting politeness: 500 +1087 [main] DEBUG com.galois.fiveui.CrawlParameters - setting match: *.galois.com* +1089 [main] DEBUG com.galois.fiveui.BatchRunner - setting seed URL for crawl: http://corp.galois.com +1090 [main] DEBUG com.galois.fiveui.BatchRunner - tmp directory for crawl data: /var/folders/xf/5mv8974j7y90czd24z53ggg00000gp/T/1354930155630-0 +1090 [main] DEBUG com.galois.fiveui.BatchRunner - starting webcrawl controller ... +Deleting content of: /var/folders/xf/5mv8974j7y90czd24z53ggg00000gp/T/1354930155630-0/frontier +2082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/people/ +2082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/cryptol-course +2083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/about-us/ +2083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/solutions/ +2084 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/john-launchbury +2084 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +2084 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +2084 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/research/ +2085 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +2085 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/were-open/ +2085 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/technologies/ +2086 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to https://www.acsac.org/2012/workshops/law/ +2086 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html +2087 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +2087 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/ +2087 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +2087 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +2088 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 +2088 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/terms-and-conditions +2089 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/events +2089 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html +2089 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Empowering%20the%20Experts_web.pdf +2089 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/services/ +2090 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/ +2090 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html +2091 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +2091 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/careers/ +2091 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/images/Portland_HomePageImage.jpg +2092 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 1 +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/ +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/' +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: null +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 2797 +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 17307 +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 29 +2093 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +2548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/melissa-angeli/ +2549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/matt-sottile/ +2549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Trevor.jpg +2549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/jef-bell/ +2550 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Simon_Winwood.jpg +2550 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Lindsay_Errington.jpg +2550 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +2550 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/dylan-mcnamee/ +2551 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/mark-tullsen/ +2551 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/isaac-potoczny-jones/ +2551 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/jean-herbst/ +2552 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +2552 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +2552 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Aaron.jpg +2553 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Markupdated.jpg +2553 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/lee-pike/ +2553 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Pat_Hickey.jpg +2554 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/jodee-leroux/ +2554 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Jason.jpg +2554 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +2555 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/people +2555 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/adam-foltzer/ +2556 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/jason-dagit/ +2556 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Ledah.jpg +2557 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/trevor-elliott/ +2557 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/JoeHX.jpg +2557 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +2557 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Jef.jpg +2558 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/david-archer/ +2558 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Benjamin_Jones.jpg +2558 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Iavor.jpg +2559 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Leah.jpg +2559 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Tom_DuBuisson.jpg +2559 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/john-launchbury/ +2559 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Matt.jpg +2560 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/benjamin-jones/ +2560 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Melissa_Angeli.jpg +2560 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/AnneMarie_McClaran.jpg +2561 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/sally-browning/ +2561 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Getty_Ritter.jpg +2561 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Eric.jpg +2561 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/David%20II.jpg +2562 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/christine-uri/ +2562 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/david-burke/ +2563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Lee.jpg +2563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/careers +2563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +2563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/jonathan-daugherty/ +2564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads +2564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/paul.jpg +2564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/eric-mertens/ +2565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Rogan.jpg +2565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/ledah-casburn/ +2565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/John.jpeg +2566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/tom-dubuisson/ +2566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Sally.jpg +2566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Adam_Foltzer.jpg +2566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/David.jpg +2567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +2567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/aaron-tomb/ +2567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +2567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/anne-marie-mcclaran/ +2568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/were-open +2568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/leah-daniels/ +2569 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/lindsay-errington/ +2569 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/paul-heinlein/ +2569 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/rogan-creswick/ +2570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/adam-wick/ +2570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/getty-ritter/ +2571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/simon-winwood/ +2571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/pat-hickey/ +2571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Jodee.jpg +2572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Adam.jpg +2572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/iavor-diatchki/ +2572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Isaac.jpg +2572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Jonathan.jpg +2572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Jean_Herbst.jpg +2573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +2573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Christine_Uri.jpg +2573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/Dylan.jpg +2573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/joe-hendrix/ +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 2 +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/people/ +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/people/' +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 3015 +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 20488 +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 94 +2574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +3030 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Cryptol_CourseFlyer.pdf +3031 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +3031 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +3031 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +3031 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 3 +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/cryptol-course +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/cryptol-course' +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 2506 +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 15105 +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 21 +3032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +3544 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +3544 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/secure-virtualization +3544 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +3545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +3545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/core-principles +3545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +3545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/scientific-computing +3546 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +3546 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +3546 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +3546 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/software-trust-assurance +3546 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/cyber-physical-systems +3547 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/ais-research +3547 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://en.wikipedia.org/wiki/%C3%89variste_Galois +3547 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +3547 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/networking +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Galois_TechnologyCatalog.pdf +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/formal-methods +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/programming-languages +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 4 +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/about-us/ +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/about-us/' +3548 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +3549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 4964 +3549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 20532 +3549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 37 +3549 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +4034 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/trusted-collaboration +4035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +4035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/policy-management +4035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +4035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/critical-systems +4035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +4036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +4036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/mobile-security +4036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Cryptol_Casestudy.pdf +4036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/research-and-discovery +4036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +4037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +4037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +4037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/information-security +4037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/compliance +4038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/licensing +4038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +4038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/training +4038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/why-are-quotes-anonymous +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 5 +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/solutions/ +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/solutions/' +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 3841 +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 18884 +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 32 +4039 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +4645 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/How%20to%20Give%20a%20Good%20Research%20Talk.pdf +4645 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Recursive%20Mondaic%20Bindings.pdf +4646 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Monadic%20State.pdf +4646 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/A%20Recursive%20Do%20for%20Haskell.pdf +4646 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +4646 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Embedding%20a%20Microprocessor%20Specification%20Language.pdf +4646 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +4647 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +4647 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Reversing%20Abstract%20Interpretations.pdf +4647 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Elementary%20Microarchitectural%20Algebra.pdf +4647 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +4647 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +4648 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.linkedin.com/pub/john-launchbury/10/a9a/1b1 +4648 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Disposable%20Memo-Functions.pdf +4648 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Trust-Relationship-Modeling-for-Software-Assurance.pdf +4648 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Implicit%20Parameters.pdf +4648 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/short%20cut%20deforestation.pdf +4648 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +4649 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.acm.org/ +4649 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Unboxed%20Values%20as%20First%20Class%20Citizens.pdf +4649 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/people/John.jpeg +4649 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://code.galois.com/paper/2010/Hask-Orc-DRAFT.pdf +4649 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Warm%20Fusion.pdf +4650 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/programming-languages-research +4650 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Structuring%20DFS%20Algorithms.pdf +4650 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +4650 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +4650 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Implementing%20Projection%20Based%20Strictness%20Analysis.pdf +4650 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Bridging%20the%20Gulf.pdf +4651 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Parametricity%20and%20Unboxing%20with%20Unpointed%20Types.pdf +4651 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Microporocessor%20Specification%20in%20Hawk.pdf +4651 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Formal%20Verification%20of%20Explicitly%20Parallel%20Microprocessors.pdf +4651 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Constructing%20Natural%20Language%20Interpreters.pdf +4651 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/State%20in%20Haskell.pdf +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/Natural%20Semantics%20for%20Lazy%20Evaluation.pdf +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/publications-jl/lazy-functional-state-threads.pdf +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 6 +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/john-launchbury +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/john-launchbury' +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 12800 +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 30693 +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 55 +4652 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +5034 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Trust-Relationship-Modeling-for-Software-Assurance.pdf +5034 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Copilot_Whitepaper.pdf +5035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +5035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +5035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +5035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +5035 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/FM_Whitepaper_Composable-Packages-for-Higher-Order-Logic-Theories.pdf +5036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/cryptography-research +5036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +5036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +5036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +5037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://blogs.forbes.com/andygreenberg/2011/04/06/darpa-will-spend-20-million-to-search-for-cryptos-holy-grail/?feed=rss_tickers +5037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/secure-communications +5037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.ok-labs.com/releases/release/ok-labs-and-galois-partner-in-original-research-for-ultra-secure-systems/ +5037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 7 +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/research/ +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/research/' +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 4636 +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 21033 +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 36 +5038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +5533 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +5533 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +5533 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +5533 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +5533 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/open-source +5534 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +5534 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +5534 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +5534 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Galois_TechnologyCatalog.pdf +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://en.wikipedia.org/wiki/Open_innovation +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 8 +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/were-open/ +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/were-open/' +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 4667 +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 18875 +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 30 +5535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +6121 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/identity-management +6121 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +6121 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +6122 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +6122 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +6122 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/ais +6122 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://player.vimeo.com/video/22669718?byline=0&color=ffffff&portrait=0 +6122 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/systems-software +6123 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +6123 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Whitepaper_SecureHistorianAccessInSCADASystems.pdf +6123 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +6123 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/cryptography +6123 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Empowering%20the%20Experts_web.pdf +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 9 +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/technologies/ +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/technologies/' +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +6124 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 5748 +6125 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 21495 +6125 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 36 +6125 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +6563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/open-source +6563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/atom.xml +6563 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/rss.xml +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/author/diatchki +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/tech-talks +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/assured-information-sharing +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/security +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/domain-specific-languages +6564 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/functional-programming +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/technology +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/universal/images/transparent.png +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/formal-methods +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/community +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/haskell +6565 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptography +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/video +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/white-papers +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +6566 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/galois-news +6567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/events +6567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/trackback/31454645 +6567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/rdf.xml +6567 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptol +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.aclu-or.org/ +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 10 +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html' +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 6757 +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 31746 +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 46 +6568 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +7079 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +7079 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +7079 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/cryptography/ +7080 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +7080 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +7080 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/universal/images/transparent.png +7080 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/networking/ +7080 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/formal-methods/ +7081 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +7081 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/scientific-computing/ +7081 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +7081 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +7082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/assured-information-sharing/ +7082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +7082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/cyber-physical-systems/ +7082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/Galois_TechnologyCatalog.pdf +7082 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/downloads/programming-languages/ +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 11 +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/downloads/ +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/downloads/' +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 3418 +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 20811 +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 36 +7083 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +7570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 12 +7570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 +7570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +7570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +7570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/universal/styles/squarespace-gallery-slideshow.css' +7570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +7571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 4591 +7571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 4592 +7571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 0 +7571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +8036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +8036 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +8037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +8037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +8037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +8037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +8037 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/privacy-policy +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 13 +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/terms-and-conditions +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/terms-and-conditions' +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 15283 +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 29983 +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 21 +8038 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +8598 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/open-source +8598 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/tech-talks +8598 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +8598 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/assured-information-sharing +8598 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +8598 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/technology +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/formal-methods +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/haskell +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptography +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/video +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contributor/20421909 +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.bicycling.com/news/advocacy/americas-best-bike-city-portland-oregon +8599 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +8600 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/events +8600 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/galois-news +8600 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://btaoregon.org/wp-content/uploads/2012/10/Non-Profits-25-991.pdf +8600 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://bikecommutechallenge.com/ +8600 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +8600 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://ohmcycles.com/electric-bikes/ +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/security +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/functional-programming +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/domain-specific-languages +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/universal/images/transparent.png +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/community +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +8601 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/white-papers +8602 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/author/heinlein +8602 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptol +8602 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +8602 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/trackback/29805067 +8602 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 14 +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/blog/2012/10/12/2012-bike-commute-challenge.html' +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 6558 +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 32173 +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 51 +8603 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +9074 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +9074 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +9074 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/cybersecurity-risk-management +9074 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +9074 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +9075 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +9075 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +9075 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +9075 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/advanced-development +9075 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/partnering +9076 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/transition-support +9076 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 15 +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/services/ +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/services/' +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 3857 +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 18605 +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 30 +9077 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +9570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/open-source +9570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/2012/9/26/galois-at-icfp-2012.html +9570 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/tech-talks +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/assured-information-sharing +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.cs.indiana.edu/~rrnewton/papers/2012-ICFP_meta-par.pdf +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/technology +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/formal-methods +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/haskell +9571 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptography +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/video +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.bicycling.com/news/advocacy/americas-best-bike-city-portland-oregon +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/galois-news +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/events +9572 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/author/galois +9573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://btaoregon.org/wp-content/uploads/2012/10/Non-Profits-25-991.pdf +9573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/2012/9/26/galois-is-hiring.html +9573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://bikecommutechallenge.com/ +9573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/author/diatchki +9573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +9573 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.youtube.com/watch?v=I79PwWpUx9c +9574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/security +9574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/functional-programming +9574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/domain-specific-languages +9574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/universal/images/transparent.png +9574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/community +9574 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/?currentPage=42 +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.cs.indiana.edu/~lepike/pubs/pike-icfp12.pdf +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/white-papers +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/author/heinlein +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/lee-pike +9575 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/?currentPage=3 +9576 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/?currentPage=2 +9576 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/?currentPage=5 +9576 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/?currentPage=4 +9576 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptol +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.aclu-or.org/ +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.youtube.com/watch?v=7zXhP--9axQ +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/storage/files/downloads/icfp47-launchbury.pdf +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/rsd.xml +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.youtube.com/watch?v=SGMKv9DxpZs +9577 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 16 +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/blog/ +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/blog/' +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 12482 +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 39142 +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 67 +9578 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +10107 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/open-source +10108 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/author/diatchki +10108 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +10108 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/tech-talks +10108 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/assured-information-sharing +10108 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +10109 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/trackback/29739331 +10109 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/security +10109 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/domain-specific-languages +10109 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +10109 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/functional-programming +10109 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/technology +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/universal/images/transparent.png +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/formal-methods +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/community +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/haskell +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptography +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/video +10110 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +10111 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/white-papers +10111 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +10111 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/galois-news +10111 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/events +10111 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/cryptol +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 17 +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html' +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 6806 +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 31733 +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 46 +10112 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +10535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/blog/rss.xml +10535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://twitter.com/ +10535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.acm.org/press-room/news-releases/2010/fellows-2010 +10535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact +10535 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.linkedin.com/company/galois-inc.?trk=fc_badge +10536 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/display/common.css?CE=74&RK=1348245772293&styleId=1150632 +10536 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.inc.com/inc5000/2007/company-profile.html?id=200719620 +10536 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/principal-investigator +10536 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.greenlightgreaterportland.com/ +10536 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/project-lead +10536 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.vimeo.com/galois +10537 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://corp.galois.com/favicon.png +10537 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.facebook.com/pages/galois/433286370012 +10537 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://static01.linkedin.com/scds/common/u/img/webpromo/btn_cofollow_badge.png +10537 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/software-engineer +10537 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/blog/category/press-releases +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://www.gencubed.com/what-we-do/programs-conferences/next-generation-companies/nominate-a-next-generation-company/ +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://galois.squarespace.com/storage/files/downloads/2010-Portland-Prosperity-Index.pdf +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://money.cnn.com/magazines/fsb/bestplaces/2008/ +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying yes to http://corp.galois.com/contact/ +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - saying no to http://blog.ezyang.com/2010/08/day-in-the-life-of-a-galois-intern/ +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 18 +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/careers/ +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/careers/' +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/ +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 5467 +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 20848 +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 38 +10538 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +11032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 19 +11032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/melissa-angeli/ +11032 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/melissa-angeli/' +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/people/ +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 2060 +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 15303 +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 27 +11033 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Docid: 20 +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - URL: http://corp.galois.com/matt-sottile/ +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Domain: 'galois.com' +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Sub-domain: 'corp' +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Path: '/matt-sottile/' +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - Parent page: http://corp.galois.com/people/ +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Text length: 10985 +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Html length: 26305 +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - -- Number of outgoing links: 31 +11545 [Crawler 1] DEBUG com.galois.fiveui.BasicCrawler - - ============= +41923 [main] DEBUG com.galois.fiveui.BatchRunner - adding urls list to cache +41923 [main] DEBUG com.galois.fiveui.BatchRunner - URLs: [http://corp.galois.com/, http://corp.galois.com/people/, http://corp.galois.com/cryptol-course, http://corp.galois.com/about-us/, http://corp.galois.com/solutions/, http://corp.galois.com/john-launchbury, http://corp.galois.com/research/, http://corp.galois.com/were-open/, http://corp.galois.com/technologies/, http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html, http://corp.galois.com/downloads/, http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74, http://corp.galois.com/terms-and-conditions, http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html, http://corp.galois.com/services/, http://corp.galois.com/blog/, http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html, http://corp.galois.com/careers/, http://corp.galois.com/melissa-angeli/, http://corp.galois.com/matt-sottile/] +Deleting content of: /var/folders/xf/5mv8974j7y90czd24z53ggg00000gp/T/1354930155630-0 +Deleting content of: /var/folders/xf/5mv8974j7y90czd24z53ggg00000gp/T/1354930155630-0/frontier +41924 [main] DEBUG com.galois.fiveui.BatchRunner - building webdrivers ... +53543 [main] DEBUG com.galois.fiveui.BatchRunner - built: [FirefoxDriver: firefox on MAC (edb28488-c1ce-7440-b2d1-2e3aaeeafb95)] +53544 [main] DEBUG com.galois.fiveui.BatchRunner - registering new webdriver... +53544 [main] DEBUG com.galois.fiveui.BatchRunner - root path for webdriver is ../..// +53544 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/ for ruleset run ... +54955 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +55090 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/, ruleSet="Misc" +56218 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +56719 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/people/ for ruleset run ... +58077 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +58290 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/people/, ruleSet="Misc" +59420 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +59921 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/cryptol-course for ruleset run ... +60311 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +60417 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/cryptol-course, ruleSet="Misc" +61547 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +62048 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/about-us/ for ruleset run ... +62580 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +62597 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/about-us/, ruleSet="Misc" +63733 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +64234 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/solutions/ for ruleset run ... +64588 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +64602 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/solutions/, ruleSet="Misc" +65761 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +66262 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/john-launchbury for ruleset run ... +66746 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +66762 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/john-launchbury, ruleSet="Misc" +67913 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +68414 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/research/ for ruleset run ... +68756 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +68770 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/research/, ruleSet="Misc" +69918 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +70419 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/were-open/ for ruleset run ... +70910 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +70924 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/were-open/, ruleSet="Misc" +72077 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +72579 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/technologies/ for ruleset run ... +73282 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +73289 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/technologies/, ruleSet="Misc" +74398 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +74899 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html for ruleset run ... +75478 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +75486 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html, ruleSet="Misc" +76605 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +77106 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/downloads/ for ruleset run ... +77604 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +77613 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/downloads/, ruleSet="Misc" +78763 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +79264 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 for ruleset run ... +79353 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +79366 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74, ruleSet="Misc" +80490 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +80991 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/terms-and-conditions for ruleset run ... +81343 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +81353 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/terms-and-conditions, ruleSet="Misc" +82474 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +82975 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html for ruleset run ... +83387 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +83403 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html, ruleSet="Misc" +84521 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +85022 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/services/ for ruleset run ... +85622 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +85637 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/services/, ruleSet="Misc" +86770 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +87271 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/ for ruleset run ... +87652 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +87681 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/, ruleSet="Misc" +88809 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +89310 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html for ruleset run ... +89861 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +89887 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html, ruleSet="Misc" +91019 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +91519 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/careers/ for ruleset run ... +91899 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +91907 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/careers/, ruleSet="Misc" +93032 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +93533 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/melissa-angeli/ for ruleset run ... +94231 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +94250 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/melissa-angeli/, ruleSet="Misc" +95392 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +95893 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/matt-sottile/ for ruleset run ... +96223 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Misc" +96237 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/matt-sottile/, ruleSet="Misc" +97369 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +98257 [main] DEBUG com.galois.fiveui.BatchRunner - setting seed URL for crawl: http://corp.galois.com +98257 [main] DEBUG com.galois.fiveui.BatchRunner - retreiving urls list from cache +98257 [main] DEBUG com.galois.fiveui.BatchRunner - building webdrivers ... +104199 [main] DEBUG com.galois.fiveui.BatchRunner - built: [FirefoxDriver: firefox on MAC (ea89ebb6-9f22-8940-bf44-eb6d9d15c236)] +104199 [main] DEBUG com.galois.fiveui.BatchRunner - registering new webdriver... +104199 [main] DEBUG com.galois.fiveui.BatchRunner - root path for webdriver is ../..// +104199 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/ for ruleset run ... +105417 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +105632 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/, ruleSet="Text capitalization guidelines" +106791 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +107292 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/people/ for ruleset run ... +108432 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +108440 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/people/, ruleSet="Text capitalization guidelines" +109892 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +110393 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/cryptol-course for ruleset run ... +110898 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +110914 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/cryptol-course, ruleSet="Text capitalization guidelines" +112136 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +112636 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/about-us/ for ruleset run ... +113105 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +113118 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/about-us/, ruleSet="Text capitalization guidelines" +114285 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +114785 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/solutions/ for ruleset run ... +115113 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +115126 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/solutions/, ruleSet="Text capitalization guidelines" +116287 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +116788 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/john-launchbury for ruleset run ... +117276 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +117303 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/john-launchbury, ruleSet="Text capitalization guidelines" +118517 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +119018 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/research/ for ruleset run ... +119365 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +119379 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/research/, ruleSet="Text capitalization guidelines" +120563 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +121064 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/were-open/ for ruleset run ... +121556 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +121570 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/were-open/, ruleSet="Text capitalization guidelines" +122749 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +123250 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/technologies/ for ruleset run ... +123998 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +124007 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/technologies/, ruleSet="Text capitalization guidelines" +125166 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +125668 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html for ruleset run ... +126104 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +126126 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html, ruleSet="Text capitalization guidelines" +127266 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +127767 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/downloads/ for ruleset run ... +128172 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +128180 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/downloads/, ruleSet="Text capitalization guidelines" +129383 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +129884 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 for ruleset run ... +129982 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +129998 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74, ruleSet="Text capitalization guidelines" +131119 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +131620 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/terms-and-conditions for ruleset run ... +131969 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +131983 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/terms-and-conditions, ruleSet="Text capitalization guidelines" +133230 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +133731 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html for ruleset run ... +134210 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +134228 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html, ruleSet="Text capitalization guidelines" +135413 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +135914 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/services/ for ruleset run ... +136301 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +136315 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/services/, ruleSet="Text capitalization guidelines" +137459 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +137961 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/ for ruleset run ... +138302 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +138328 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/, ruleSet="Text capitalization guidelines" +139625 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +140126 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html for ruleset run ... +140580 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +140607 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html, ruleSet="Text capitalization guidelines" +141745 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +142246 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/careers/ for ruleset run ... +142622 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +142647 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/careers/, ruleSet="Text capitalization guidelines" +143842 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +144343 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/melissa-angeli/ for ruleset run ... +145391 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +145403 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/melissa-angeli/, ruleSet="Text capitalization guidelines" +146619 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +147121 [main] INFO com.galois.fiveui.BatchRunner - loading http://corp.galois.com/matt-sottile/ for ruleset run ... +147454 [main] INFO com.galois.fiveui.BatchRunner - running ruleset "Text capitalization guidelines" +147481 [main] DEBUG com.galois.fiveui.BatchRunner - runRule: url=http://corp.galois.com/matt-sottile/, ruleSet="Text capitalization guidelines" +148751 [main] DEBUG com.galois.fiveui.BatchRunner - being polite for 500 millis... +149616 [main] DEBUG com.galois.fiveui.HeadlessRunner - runHeadless returned 234 results diff --git a/exampleData/headlessRuns/galoisRun.json b/exampleData/headlessRuns/galoisRun.json new file mode 100644 index 0000000..c05c9b5 --- /dev/null +++ b/exampleData/headlessRuns/galoisRun.json @@ -0,0 +1,9 @@ +{ + 'rulePath' : '../ruleSets/', + 'crawlType' : '2 20 500 *.galois.com*', + 'runs': [ + { 'url': 'http://corp.galois.com', 'ruleSet': 'headingRules.json' }, + { 'url': 'http://corp.galois.com', 'ruleSet': 'miscRules.json' }, + { 'url': 'http://corp.galois.com', 'ruleSet': 'textRules.json' } + ] +} diff --git a/exampleData/headlessRuns/galois_report/byRule.html b/exampleData/headlessRuns/galois_report/byRule.html new file mode 100644 index 0000000..5c71251 --- /dev/null +++ b/exampleData/headlessRuns/galois_report/byRule.html @@ -0,0 +1,1203 @@ + +<html> + <head> + <title>Results sorted by rule + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }li { margin: 5 0 0 0; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; } +td.pass-number{ text-align: right;color: green; } +td.fail-number{ text-align: right;color: red; } +td.text{ text-align: left; } +th { font-weight: bold; } +td, th { border: 1px solid grey; } +.hlRow { background: #EEEEEE; } +.regRow { background: #FFFFFF; } + + </style> + </head> + <body> + <h1>Results by Rule + </h1> + <ul> + <li> + <b>Misc + </b>: Miscellaneous rules + <ul> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: Main content is too narrow: null / Rule Desc: Main content div should be between 520px and 1200px wide / XPath: null + <br/>URL: + <a href="http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74">http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + </ul> + </li> + <li> + <b>Text capitalization guidelines + </b>: Guidelines regarding capitalization of text withing the page + <ul> + <li class="regRow">Problem: Rule Name: The heading: "Empowering the Experts: High-Assurance, High-Performance, High-Level Design with Cryptol." is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Latest News" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div[2]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Featured Events" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Learn to Develop High-Assurance, High-Performance Cryptographic Modules" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div[4]/div/div/h2 + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Innovation with Integrity" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h1 + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10363962"] + <br/>URL: + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "People (aka Galwegians)" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "John Launchbury, Chief Scientist (Interim CEO)" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul/li/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Research Leads" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2[2] + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "David Archer" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "David Burke" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[2]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Dylan McNamee" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[3]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Lee Pike" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[4]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Isaac Potoczny-Jones" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[5]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Matt Sottile" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[6]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Adam Wick" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[7]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Researchers and Engineers" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2[3] + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Jef Bell" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Sally Browning" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[2]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Ledah Casburn" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[3]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "E. Rogan Creswick" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[4]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Jason Dagit" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[5]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Jonathan Daugherty" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[6]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Iavor Diatchki" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[7]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Tom DuBuisson" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[8]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Trevor Elliott" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[9]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Lindsay Errington" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[10]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Adam Foltzer" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[11]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Joe Hendrix" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[12]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Pat Hickey" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[13]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Benjamin Jones" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[14]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Eric Mertens" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[15]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Getty Ritter" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[16]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Aaron Tomb" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[17]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Mark Tullsen" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[18]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Simon Winwood" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[19]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Melissa Angeli" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Leah Daniels" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[2]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Paul Heinlein" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[3]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Jean Herbst" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[4]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Jodee LeRoux" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[5]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Anne Marie McClaran" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[6]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Christine Uri" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[7]/a/h2 + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11302603"] + <br/>URL: + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Cryptol Course: High-Assurance Cryptographic Development Using the Cryptol Workbench" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage12082986"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[4] + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[4]/a + <br/>URL: + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "About Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Leaders in high assurance research and development. We create trustworthiness in critical systems." is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h4 + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Mission Statement" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Galois' Core Principles" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[2] + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Our Name" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[3] + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307310"] + <br/>URL: + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Solution Areas" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Galois Solutions" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Collaborate with Us" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307301"] + <br/>URL: + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "John Launchbury" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h2 + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "At Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[2] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "My Background" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[3] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11066918"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/p + <br/>URL: + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Research Areas" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Research at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Collaborate with Us" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307305"] + <br/>URL: + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "WE'RE OPEN!" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Open Innovation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Open Culture" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[2] + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Open Source at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[3] + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10357613"] + <br/>URL: + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Tech Talk: Computers and privacy, ACLU of Oregon discusses their 2013 agenda" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/div/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Reader Comments" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Post a New Comment" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[4]/form/div/h3 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + <br/>URL: + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Assured Information Sharing" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li/div[2]/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Cyber-Physical Systems" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[3]/div[2]/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Formal Methods" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[4]/div[2]/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Programming Languages" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[6]/div[2]/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Scientific Computing" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[7]/div[2]/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Open Source Library" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10357632"] + <br/>URL: + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li class="hlRow">Problem: + <br/>URL: + <a href="http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74">http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Website Terms and Conditions" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage17702204"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[12] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[12]/a + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18]/span + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18]/span/span + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18]/span/span/a + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[29] + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[29]/span + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[29]/span/span + <br/>URL: + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "2012 Bike Commute Challenge" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/div/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Reader Comments (1)" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Post a New Comment" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[4]/form/div/h3 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Let's Work Together" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Services at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Collaborate with Us" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307308"] + <br/>URL: + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Tech Talk: Computers and privacy, ACLU of Oregon discusses their 2013 agenda" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "2012 Bike Commute Challenge" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[2]/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Tech Talk: Towards a Formally Verified Component Platform" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[3]/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Skills & Requirements" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2]/h4 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Galois at ICFP 2012" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Efficient Lookup-Table Protocol in Secure Multiparty Computation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h4 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Video Presentation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h6 + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Experience Report: A Do-It-Yourself High Assurance Compiler" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h4[2] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Video Presentation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h6[3] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "A Meta-Scheduler for the Par-Monad" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h4[3] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Video Presentation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h6[5] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="item29376529"] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2]/p[8] + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2]/p[8]/a + <br/>URL: + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Tech Talk: Towards a Formally Verified Component Platform" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/div/div/div[3]/h2 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Reader Comments" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Post a New Comment" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[4]/form/div/h3 + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + <br/>URL: + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Fun Facts About Portland" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[3]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Careers at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Current Openings" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10357616"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[5] + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[5]/a + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[5]/a/span + <br/>URL: + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Melissa Angeli" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h2 + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11066997"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/p + <br/>URL: + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "Matt Sottile" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h2 + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="regRow">Problem: Rule Name: The heading: "At Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[2] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: The heading: "My Background" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[3] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11066996"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="regRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li class="hlRow">Problem: Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/p + <br/>URL: + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + </ul> + </li> + </ul>
\ No newline at end of file diff --git a/exampleData/headlessRuns/galois_report/byURL.html b/exampleData/headlessRuns/galois_report/byURL.html new file mode 100644 index 0000000..4583bbf --- /dev/null +++ b/exampleData/headlessRuns/galois_report/byURL.html @@ -0,0 +1,885 @@ + +<html> + <head> + <title>Results sorted by URL + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }li { margin: 5 0 0 0; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; } +td.pass-number{ text-align: right;color: green; } +td.fail-number{ text-align: right;color: red; } +td.text{ text-align: left; } +th { font-weight: bold; } +td, th { border: 1px solid grey; } +.hlRow { background: #EEEEEE; } +.regRow { background: #FFFFFF; } + + </style> + </head> + <body> + <body> + <h1>Results by URL + </h1> + <ol> + <li> + <h2> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Empowering the Experts: High-Assurance, High-Performance, High-Level Design with Cryptol." is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Latest News" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div[2]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Featured Events" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div[3]/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Learn to Develop High-Assurance, High-Performance Cryptographic Modules" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div[4]/div/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Innovation with Integrity" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h1 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10363962"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "About Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Leaders in high assurance research and development. We create trustworthiness in critical systems." is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Mission Statement" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Galois' Core Principles" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[2] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Our Name" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[3] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307310"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Tech Talk: Computers and privacy, ACLU of Oregon discusses their 2013 agenda" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div/div/div[3]/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "2012 Bike Commute Challenge" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[2]/div/div[3]/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Tech Talk: Towards a Formally Verified Component Platform" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[3]/div/div[3]/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Skills & Requirements" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2]/h4 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Galois at ICFP 2012" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Efficient Lookup-Table Protocol in Secure Multiparty Computation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h4 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Video Presentation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h6 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Experience Report: A Do-It-Yourself High Assurance Compiler" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h4[2] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Video Presentation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h6[3] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "A Meta-Scheduler for the Par-Monad" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h4[3] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Video Presentation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[5]/div/div[3]/div[2]/h6[5] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="item29376529"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2]/p[8] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/div[4]/div/div[3]/div[2]/p[8]/a + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "2012 Bike Commute Challenge" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/div/div/div[3]/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Reader Comments (1)" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Post a New Comment" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[4]/form/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Tech Talk: Towards a Formally Verified Component Platform" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/div/div/div[3]/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Reader Comments" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Post a New Comment" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[4]/form/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Tech Talk: Computers and privacy, ACLU of Oregon discusses their 2013 agenda" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/div/div/div[3]/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Reader Comments" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Post a New Comment" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[4]/form/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11316143"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Fun Facts About Portland" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[3]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Careers at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Current Openings" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10357616"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[5] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[5]/a + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[5]/a/span + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Cryptol Course: High-Assurance Cryptographic Development Using the Cryptol Workbench" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage12082986"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[4] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[4]/a + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Assured Information Sharing" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li/div[2]/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Cyber-Physical Systems" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[3]/div[2]/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Formal Methods" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[4]/div[2]/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Programming Languages" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[6]/div[2]/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Scientific Computing" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[2]/ul/li[7]/div[2]/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Open Source Library" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div[3]/div/h3 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10357632"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "John Launchbury" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "At Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[2] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "My Background" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[3] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11066918"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/p + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Matt Sottile" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "At Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[2] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "My Background" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h3[3] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11066996"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/p + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Melissa Angeli" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11066997"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/div/p + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "People (aka Galwegians)" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "John Launchbury, Chief Scientist (Interim CEO)" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul/li/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Research Leads" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2[2] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "David Archer" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "David Burke" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[2]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Dylan McNamee" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[3]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Lee Pike" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[4]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Isaac Potoczny-Jones" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[5]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Matt Sottile" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[6]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Adam Wick" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[2]/li[7]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Researchers and Engineers" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2[3] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Jef Bell" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Sally Browning" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[2]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Ledah Casburn" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[3]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "E. Rogan Creswick" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[4]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Jason Dagit" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[5]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Jonathan Daugherty" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[6]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Iavor Diatchki" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[7]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Tom DuBuisson" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[8]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Trevor Elliott" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[9]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Lindsay Errington" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[10]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Adam Foltzer" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[11]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Joe Hendrix" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[12]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Pat Hickey" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[13]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Benjamin Jones" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[14]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Eric Mertens" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[15]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Getty Ritter" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[16]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Aaron Tomb" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[17]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Mark Tullsen" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[18]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Simon Winwood" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[3]/li[19]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Melissa Angeli" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Leah Daniels" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[2]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Paul Heinlein" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[3]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Jean Herbst" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[4]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Jodee LeRoux" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[5]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Anne Marie McClaran" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[6]/a/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Christine Uri" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/ul[4]/li[7]/a/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage11302603"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Research Areas" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Research at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Collaborate with Us" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307305"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Let's Work Together" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Services at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Collaborate with Us" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307308"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Solution Areas" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Galois Solutions" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Collaborate with Us" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10307301"] + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/> + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Website Terms and Conditions" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage17702204"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvasWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="canvas"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBodyWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="pageBody"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="contentWrapper"] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="content"] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[12] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[12]/a + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18]/span + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18]/span/span + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[18]/span/span/a + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[29] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[29]/span + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html/body/div/div/div[3]/div/div[3]/div/p[29]/span/span + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74">http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/>Rule Name: Main content is too narrow: null / Rule Desc: Main content div should be between 520px and 1200px wide / XPath: null + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/> + </li> + </ul> + </li> + <li> + <h2> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </h2> + <ul> + <li class="regRow">Misc: Miscellaneous rules + <br/> + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Get to Know Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div/div/div/div/div/div/div[2]/div/div/div/div/div/div[2]/div/div/h4 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "WE'RE OPEN!" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h2 + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Open Innovation" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3 + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Open Culture" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[2] + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: The heading: "Open Source at Galois" is not in sentence case. / Rule Desc: Titles should be written in sentence case / XPath: /html/body/div/div/div[3]/div/div[3]/div/h3[3] + </li> + <li class="regRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: /html + </li> + <li class="hlRow">Text capitalization guidelines: Guidelines regarding capitalization of text withing the page + <br/>Rule Name: "Galois" should be capitalized / Rule Desc: Capitalize "Galois" and "Galwegian" when referring to the company / XPath: //*[@id="modulePage10357613"] + </li> + </ul> + </li> + </ol> + </body>
\ No newline at end of file diff --git a/exampleData/headlessRuns/galois_report/summary.html b/exampleData/headlessRuns/galois_report/summary.html new file mode 100644 index 0000000..3530f00 --- /dev/null +++ b/exampleData/headlessRuns/galois_report/summary.html @@ -0,0 +1,253 @@ + +<html> + <head> + <title>Summary of Results + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }li { margin: 5 0 0 0; }table { border: 1px solid grey; cellpadding: 5%; width: 200px; } +td.pass-number{ text-align: right;color: green; } +td.fail-number{ text-align: right;color: red; } +td.text{ text-align: left; } +th { font-weight: bold; } +td, th { border: 1px solid grey; } +.hlRow { background: #EEEEEE; } +.regRow { background: #FFFFFF; } + + </style> + </head> + <body> + <h1>Headless Run Summary + </h1> + <p> + <ul> + <li> + <a href="byurl.html">Results organized by URL + </a> + </li> + <li> + <a href="byrule.html">Results organized by Rule + </a> + </li> + </ul> + </p> + <p> + <div id="stats"> + <p> + <h3>Unique URLs: + <span class="number">20 + </span> + </h3> + </p> + <p> + <table id="stats-table"> + <tr> + <th>URL + </th> + <th>Pass + </th> + <th>Fail + </th> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">7 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">8 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">26 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html">http://corp.galois.com/blog/2012/10/12/2012-bike-commute-challenge.html + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">5 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html">http://corp.galois.com/blog/2012/10/9/tech-talk-towards-a-formally-verified-component-platform.html + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">5 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html">http://corp.galois.com/blog/2012/11/29/tech-talk-computers-and-privacy-aclu-of-oregon-discusses-the.html + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">5 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">15 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">11 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">10 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">14 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">14 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">12 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">40 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">5 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">5 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">5 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/ + </a> + </td> + <td class="pass-number">4 + </td> + <td class="fail-number">0 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">18 + </td> + </tr> + <tr class="hlRow"> + <td class="text"> + <a href="http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74">http://corp.galois.com/universal/styles/squarespace-gallery-slideshow.css?CE=74 + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">1 + </td> + </tr> + <tr class="regRow"> + <td class="text"> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </td> + <td class="pass-number">2 + </td> + <td class="fail-number">7 + </td> + </tr> + </table> + </p> + </div> + </p>
\ No newline at end of file diff --git a/exampleData/headlessRuns/runExample.sh b/exampleData/headlessRuns/runExample.sh new file mode 100755 index 0000000..dd11b03 --- /dev/null +++ b/exampleData/headlessRuns/runExample.sh @@ -0,0 +1,8 @@ +#!/usr/bin/env bash +export FIVEUI_ROOT_PATH=../../ +export FIREFOX_BIN_PATH='/Applications/Firefox 10.0.7esr.app/Contents/MacOS/firefox' + +java -DFIVEUI_ROOT_PATH=$FIVEUI_ROOT_PATH \ + -DFIREFOX_BIN_PATH="$FIREFOX_BIN_PATH" \ + -jar $FIVEUI_ROOT_PATH/headless/target/HeadlessRunner-0.0.1-SNAPSHOT.one-jar.jar \ + $* |