diff options
Diffstat (limited to 'exampleData/headlessRuns/galois_report/byRule.html')
| -rw-r--r-- | exampleData/headlessRuns/galois_report/byRule.html | 968 |
1 files changed, 968 insertions, 0 deletions
diff --git a/exampleData/headlessRuns/galois_report/byRule.html b/exampleData/headlessRuns/galois_report/byRule.html new file mode 100644 index 0000000..5180448 --- /dev/null +++ b/exampleData/headlessRuns/galois_report/byRule.html @@ -0,0 +1,968 @@ + +<html> + <head> + <title>Results sorted by rule + </title> + <style type="text/css">h1 { font-size: 150%; }h2 { font-size: 110%; }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; } +tr.hlRow { background: #EEEEEE; } + + </style> + </head> + <body> + <h1>Results by Rule + </h1> + <ul> + <li> + <h2>Misc + </h2> + <ul> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/ + </a> + </li> + <li> + <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> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <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> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <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> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <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> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + </ul> + </li> + <li> + <h2>Text capitalization guidelines + </h2> + <ul> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/">http://corp.galois.com/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/people/">http://corp.galois.com/people/ + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/cryptol-course">http://corp.galois.com/cryptol-course + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/about-us/">http://corp.galois.com/about-us/ + </a> + </li> + <li> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li> + <a href="http://corp.galois.com/solutions/">http://corp.galois.com/solutions/ + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/john-launchbury">http://corp.galois.com/john-launchbury + </a> + </li> + <li> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li> + <a href="http://corp.galois.com/research/">http://corp.galois.com/research/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/were-open/">http://corp.galois.com/were-open/ + </a> + </li> + <li> + <a href="http://corp.galois.com/technologies/">http://corp.galois.com/technologies/ + </a> + </li> + <li> + <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> + <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> + <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> + <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> + <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> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <a href="http://corp.galois.com/downloads/">http://corp.galois.com/downloads/ + </a> + </li> + <li> + <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> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <a href="http://corp.galois.com/terms-and-conditions">http://corp.galois.com/terms-and-conditions + </a> + </li> + <li> + <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> + <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> + <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> + <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> + <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> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li> + <a href="http://corp.galois.com/services/">http://corp.galois.com/services/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <a href="http://corp.galois.com/blog/">http://corp.galois.com/blog/ + </a> + </li> + <li> + <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> + <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> + <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> + <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> + <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> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/careers/">http://corp.galois.com/careers/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/melissa-angeli/">http://corp.galois.com/melissa-angeli/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <a href="http://corp.galois.com/matt-sottile/">http://corp.galois.com/matt-sottile/ + </a> + </li> + <li> + <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 |