Login | Register
My pages Projects Community openCollabNet

Discussions > commits > svn commit: r33 - trunk/jbraid/doc

jbraid
Discussion topic

Back to topic list

svn commit: r33 - trunk/jbraid/doc

Reply

Author nitsan
Full name Nitsan Seniak
Date 2008-12-27 02:16:41 PST
Message Author: Nitsan
Date: 2008-12-27 02:16:41-0800
New Revision: 33

Added:
   trunk/jbraid/doc/index-www.html
Modified:
   trunk/jbraid/doc/index.html

Log:


Added: trunk/jbraid/doc/index-www.html
Url: http://jbraid.tigris​.org/source/browse/j​braid/trunk/jbraid/d​oc/index-www.html?vi​ew=markup&pathre​v3
====================​====================​====================​=================---​ (empty file)
+++ trunk/jbraid/doc/index-www.html 2008-12-27 02:16:41-0800
@@ -0,0 +1,279 @@
+<html>
+
+<head>
+<meta http-equiv=Content-Type content="text/html; charset=windows-1252">
+<meta name=Generator content="Microsoft Word 12 (filtered)">
+<style>
+<!--
+ /* Font Definitions */
+ @font-face
+ {font-family:Wingdings;
+ panose-1:5 0 0 0 0 0 0 0 0 0;}
+@font-face
+ {font-family:"Cambria Math";
+ panose-1:2 4 5 3 5 4 6 3 2 4;}
+@font-face
+ {font-family:Tahoma;
+ panose-1:2 11 6 4 3 5 4 4 2 4;}
+@font-face
+ {font-family:"Gill Sans MT";
+ panose-1:2 11 5 2 2 1 4 2 2 3;}
+ /* Style Definitions */
+ p.MsoNormal, li.MsoNormal, div.MsoNormal
+ {margin-top:0in;
+ margin-right:0in;
+ margin-bottom:10.0pt;
+ margin-left:0in;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+h1
+ {mso-style-link:"Heading 1 Char";
+ margin-top:24.0pt;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:0in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ page-break-after:avoid;
+ font-size:14.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#2A6C7D;}
+h2
+ {mso-style-link:"Heading 2 Char";
+ margin-top:10.0pt;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:0in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ page-break-after:avoid;
+ font-size:13.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3891A7;}
+p.MsoToc1, li.MsoToc1, div.MsoToc1
+ {margin-top:0in;
+ margin-right:0in;
+ margin-bottom:5.0pt;
+ margin-left:0in;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.MsoToc2, li.MsoToc2, div.MsoToc2
+ {margin-top:0in;
+ margin-right:0in;
+ margin-bottom:5.0pt;
+ margin-left:11.0pt;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.MsoTitle, li.MsoTitle, div.MsoTitle
+ {mso-style-link:"Title Char";
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:15.0pt;
+ margin-left:0in;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+a:link, span.MsoHyperlink
+ {color:#8DC765;
+ text-decoration:underline;}
+a:visited, span.MsoHyperlinkFollowed
+ {color:#AA8A14;
+ text-decoration:underline;}
+pre
+ {mso-style-link:"HTML Preformatted Char";
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:4.5pt;
+ margin-bottom:.0001pt;
+ font-size:10.0pt;
+ font-family:"Courier New";
+ color:black;}
+p.MsoAcetate, li.MsoAcetate, div.MsoAcetate
+ {mso-style-link:"Balloon Text Char";
+ margin:0in;
+ margin-bottom:.0001pt;
+ font-size:8.0pt;
+ font-family:"Tahoma"​,"sans-serif";}
+p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
+ {margin-top:0in;
+ margin-right:0in;
+ margin-bottom:10.0pt;
+ margin-left:.5in;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.MsoTocHeading, li.MsoTocHeading, div.MsoTocHeading
+ {margin-top:24.0pt;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:0in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ page-break-after:avoid;
+ font-size:14.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#2A6C7D;
+ font-weight:bold;}
+span.Heading1Char
+ {mso-style-name:"Heading 1 Char";
+ mso-style-link:"Heading 1";
+ font-family:"Gill Sans MT","sans-serif";
+ color:#2A6C7D;
+ font-weight:bold;}
+span.Heading2Char
+ {mso-style-name:"Heading 2 Char";
+ mso-style-link:"Heading 2";
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3891A7;
+ font-weight:bold;}
+span.HTMLPreformattedChar
+ {mso-style-name:"HTML Preformatted Char";
+ mso-style-link:"HTML Preformatted";
+ font-family:"Courier New";
+ color:black;}
+span.TitleChar
+ {mso-style-name:"Title Char";
+ mso-style-link:Title;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+span.BalloonTextChar
+ {mso-style-name:"Balloon Text Char";
+ mso-style-link:"Balloon Text";
+ font-family:"Tahoma"​,"sans-serif";}
+p.msotitlecxspfirst, li.msotitlecxspfirst, div.msotitlecxspfirst
+ {mso-style-name:msot​itlecxspfirst;
+ mso-style-link:"Title Char";
+ margin:0in;
+ margin-bottom:.0001pt;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+p.msotitlecxspmiddle, li.msotitlecxspmiddle, div.msotitlecxspmiddle
+ {mso-style-name:msot​itlecxspmiddle;
+ mso-style-link:"Title Char";
+ margin:0in;
+ margin-bottom:.0001pt;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+p.msotitlecxsplast, li.msotitlecxsplast, div.msotitlecxsplast
+ {mso-style-name:msot​itlecxsplast;
+ mso-style-link:"Title Char";
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:15.0pt;
+ margin-left:0in;
+ font-size:26.0pt;
+ font-family:"Gill Sans MT","sans-serif";
+ color:#3B1D15;
+ letter-spacing:.25pt;}
+p.msolistparagraphcxspfirst, li.msolistparagraphcxspfirst, div.msolistparagraphcxspfirst
+ {mso-style-name:msol​istparagraphcxspfirs​t;
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:.5in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.msolistparagraphcxspmiddle, li.msolistparagraphcxspmiddle, div.msolistparagraphcxspmiddle
+ {mso-style-name:msol​istparagraphcxspmidd​le;
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:0in;
+ margin-left:.5in;
+ margin-bottom:.0001pt;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.msolistparagraphcxsplast, li.msolistparagraphcxsplast, div.msolistparagraphcxsplast
+ {mso-style-name:msol​istparagraphcxsplast​;
+ margin-top:0in;
+ margin-right:0in;
+ margin-bottom:10.0pt;
+ margin-left:.5in;
+ line-height:115%;
+ font-size:11.0pt;
+ font-family:"Gill Sans MT","sans-serif";}
+p.msochpdefault, li.msochpdefault, div.msochpdefault
+ {mso-style-name:msochpdefault;
+ margin-right:0in;
+ margin-left:0in;
+ font-size:10.0pt;
+ font-family:"Times New Roman","serif";}
+.MsoChpDefault
+ {font-size:10.0pt;}
+@page Section1
+ {size:8.5in 11.0in;
+ margin:1.0in 1.0in 1.0in 1.0in;}
+div.Section1
+ {page:Section1;}
+ /* List Definitions */
+ ol
+ {margin-bottom:0in;}
+ul
+ {margin-bottom:0in;}
+-->
+</style>
+
+</head>
+
+<body lang=EN-US link="#8DC765" vlink="#AA8A14">
+
+<div class=Section1>
+
+<h1><a name="_Toc197421982"​></a><a name="_Toc196485038"​></a><a
+name="_Toc196485037​"></a>What is JBraid?</h1>
+
+<p class=MsoNormal><br>
+JBraid is a runtime analysis tool that finds multi-threading bugs in Java
+programs. JBraid monitors memory accesses and thread synchronizations in a
+running program, and detects concurrency bug patterns.</p>
+
+<p class=MsoNormal>Concurrency bugs are often non-deterministic because their
+occurrence depends on the way threads are scheduled, which varies from an
+execution to another. However JBraid is deterministic and only one run is
+necessary to find all potential problems. JBraid does not require the bugs to
+actually occur during this run; by mixing and matching memory accesses and
+thread synchronizations, JBraid can anticipate problems that could occur in all
+possible executions.</p>
+
+<p class=MsoNormal>For more information, see the </p>
+
+<h1 style='margin-bottom​:14.0pt'><span​ lang=FR>Documenta​tion</span>​</h1>
+
+<p class=MsoListParagraph style='text-indent:-​.25in'><span style='font-family:
+Symbol'>·<span style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;
+</span></s​pan><a href="user-manual.ht​ml"><span lang=FR>User Manual</span>​</a></p>
+
+<p class=MsoListParagraph style='text-indent:-​.25in'><span style='font-family:
+Symbol'>·<span style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;
+</span></s​pan><a href="nonav/api/inde​x.html"><span lang=FR>API reference</span​></a></p​>
+
+<p class=MsoListParagraph style='text-indent:-​.25in'><span style='font-family:
+Symbol'>·<span style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;
+</span></s​pan><a href="release-notes.​html"><span lang=FR>Release notes</span>​</a></p>
+
+<h1><span lang=FR>Download​</span></h1​>
+
+<p class=MsoNormal><span lang=FR><br>
+Latest version of JBraid: <a
+href="http://jbraid.tigris​.org/files/documents​/6459/44580/jbraid1b​eta3.zip">JBraid
+1.0 beta 3</a></span​></p>
+
+<p class=MsoNormal>​&nbsp;</p>
+
+</div>
+
+</body>
+
+</html>

Modified: trunk/jbraid/doc/index.html
Url: http://jbraid.tigris​.org/source/browse/j​braid/trunk/jbraid/d​oc/index.html?view=d​iff&pathrev3​&r12&r23
====================​====================​====================​=================---​ trunk/jbraid/doc/index.html (original)
+++ trunk/jbraid/doc/index.html 2008-12-27 02:16:41-0800
@@ -7,9 +7,6 @@
 <!--
  /* Font Definitions */
  @font-face
- {font-family:Wingdings;
- panose-1:5 0 0 0 0 0 0 0 0 0;}
-@font-face
     {font-family:"Cambria Math";
     panose-1:2 4 5 3 5 4 6 3 2 4;}
 @font-face
@@ -217,11 +214,6 @@
     margin:1.0in 1.0in 1.0in 1.0in;}
 div.Section1
     {page:Section1;}
- /* List Definitions */
- ol
- {margin-bottom:0in;}
-ul
- {margin-bottom:0in;}
 -->
 </style>

@@ -256,17 +248,19 @@
 <h1 style='margin-bottom​:14.0pt'><span​ lang=FR>Documenta​tion</span>​</h1>

 <p class=MsoListParagraph style='margin-left:3​8.25pt;text-indent:-​20.25pt'><span​
-style='font-family:​Symbol'>·<span​ style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;
-</span></s​pan><a href="user-manual.ht​ml"><span lang=FR>User Manual</span>​</a></p>
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;
+</span><a href="user-manual.ht​ml"><span lang=FR>User Manual</span>​</a></p>

 <p class=MsoListParagraph style='margin-left:3​8.25pt;text-indent:-​20.25pt'><span​
-style='font-family:​Symbol'>·<span​ style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;
-</span></s​pan><a href="api/index.html" target="_blank"><span lang=FR>API
-reference</span​></a></p​>
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;
+</span><a href="api/index.html​"><span lang=FR>API reference</span​></a></p​>

 <p class=MsoListParagraph style='margin-left:3​8.25pt;text-indent:-​20.25pt'><span​
-style='font-family:​Symbol'>·<span​ style='font:7.0pt "Times New Roman"'>&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;&nbsp;&nbsp​;
-</span></s​pan><a href="release-notes.​html"><span lang=FR>Release notes</span>​</a></p>
+style='font-family:​Symbol'>·</spa​n><span style='font-size:7.0​pt;line-height:
+115%;font-family:"Times New Roman","serif"'>​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;&nbsp;​&nbsp;
+</span><a href="release-notes.​html"><span lang=FR>Release notes</span>​</a></p>

 <h1><span lang=FR>License​</span></h1​>

« Previous message in topic | 1 of 1 | Next message in topic »

Messages

Show all messages in topic

svn commit: r33 - trunk/jbraid/doc nitsan Nitsan Seniak 2008-12-27 02:16:41 PST
Messages per page: