Changes

Page history
toc authored by Frédéric Bapst's avatar Frédéric Bapst
Show whitespace changes
Inline Side-by-side
home.md
View page @ c97ec833
...@@ -5,35 +5,45 @@ ...@@ -5,35 +5,45 @@
1. [Overview](home#11-overview) 1. [Overview](home#11-overview)
1. [Launching an application with COJAC](home#12-launching-an-application-with-cojac) 2. [Launching an application with COJAC](home#12-launching-an-application-with-cojac)
1. [Links and notes](home#13-links-and-notes) 3. [Links and notes](home#13-links-and-notes)
2. [COJAC: the numerical sniffer](home#2-cojac-the-numerical-sniffer) 2. [COJAC: the numerical sniffer](home#2-cojac-the-numerical-sniffer)
1. [What COJAC considers suspicious](home#21-what-cojac-considers-suspicious) 1. [What COJAC considers suspicious](home#21-what-cojac-considers-suspicious)
1. [Configuring what COJAC will detect](home#22-configuring-what-cojac-will-detect) 2. [Configuring what COJAC will detect](home#22-configuring-what-cojac-will-detect)
1. []() 3. [Configuring how COJAC will signal the detected problems](home#23-configuring-how-cojac-will-signal-the-detected-problems)
1. []() 4. [Instrumenting without executing](home#4-instrumenting-without-executing)
1. []() 5. [Example](home#5-example)
3. []() 6. [JMX feature](home#6-jmx-feature)
1. []() 3. [COJAC: the enriching wrapper](home#3-cojac-the-enriching-wrapper)
1. []() 1. [Our wrapping mechanism](home#31-our-wrapping-mechanism)
1. []() 2. [Number model "BigDecimal"](home#32-number-model-bigdecimal)
1. []() 3. [Number model "Interval computation"](home#33-number-model-interval-computation)
1. []() 4. [Number model "Discrete stochastic arithmetic"](home#34-number-model-discrete-stochastic-arithmetic)
4. []() 5. [Number model "Automatic differentiation"](home#35-number-model-automatic-differentiation)
4. [Detailed usage](home#4-detailed-usage)
5. [Limitations and known issues](home#5-limitations-and-known-issues)
1. [Issues with the sniffer](home#51-issues-with-the-sniffer)
2. [Issues with the wrapper](home#52-issues-with-the-wrapper)
6. [And now...](home#6-and-now)
-------------------------------------------------- --------------------------------------------------
# 1 - Introduction # 1 - Introduction
...@@ -206,7 +216,7 @@ be finally synthesized (with occurrences count). ...@@ -206,7 +216,7 @@ be finally synthesized (with occurrences count).
-------------------------------------------------- --------------------------------------------------
## 2.5 - Instrumenting without executing ## 2.4 - Instrumenting without executing
Early versions of COJAC were able to create "offline" an instrumented version of the Early versions of COJAC were able to create "offline" an instrumented version of the
application code (that can later be executed). We no longer provide this feature: application code (that can later be executed). We no longer provide this feature:
...@@ -214,7 +224,7 @@ COJAC is designed to apply on-the-fly instrumentation, we advocate its use ...@@ -214,7 +224,7 @@ COJAC is designed to apply on-the-fly instrumentation, we advocate its use
as a diagnostic-enabled java launching means. as a diagnostic-enabled java launching means.
-------------------------------------------------- --------------------------------------------------
## 2.6 - Example ## 2.5 - Example
Here is a small example of what COJAC can do. Let's take a simple class like that: Here is a small example of what COJAC can do. Let's take a simple class like that:
... ...
......