Update tristan-unified-access-page.html (#49)

Added description of the two AbsInt tools, TimeWeaver and CompCert.
openhwgroup · Mar 18, 2024 · 3631526 · 3631526
1 parent 9ad3ec8
commit 3631526
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tristan-unified-access-page.html b/tristan-unified-access-page.html
@@ -294,7 +294,7 @@ <h3 id="software">SOFTWARE</h3>
 <td>WI4.1.5</td>
 <td>AbsInt</td>
 <td>Waiting for WI4.1.3 / WI2.2.1</td>
-<td></td>
+<td>TimeWeaver is a hybrid measurement-based timing analysis tool to determine the WCET of safety-critical embedded software. As part of TRISTAN, it will be ported to include support for RISC-V processors using the TRISTAN Trace-IP.</td>
 <td>proprietary</td>
 </tr>
 <tr>
@@ -303,7 +303,7 @@ <h3 id="software">SOFTWARE</h3>
 <td>WI4.2.4</td>
 <td>AbsInt</td>
 <td>Waiting for WI2.5.4</td>
-<td></td>
+<td>CompCert is a formally-verified optimizing C compiler. As part of TRISTAN, it will be extended to support the HSI (hardware-supported instrumentation) interface of the TRISTAN Trace-IP.</td>
 <td>dual licensed (see repository)</td>
 </tr>
 <tr>