wip authored by Frédéric Bapst's avatar Frédéric Bapst
...@@ -61,18 +61,18 @@ following: ...@@ -61,18 +61,18 @@ following:
## 1.1 - Overview ## 1.1 - Overview
COJAC is in fact a two-fold tool: COJAC is in fact a two-fold tool:
- a *_"numerical sniffer"_* that detects anomalies arising in arithmetic operations, - a **_"numerical sniffer"_** that detects anomalies arising in arithmetic operations,
on either integers (eg overflow) or floating point numbers (eg on either integers (eg overflow) or floating point numbers (eg
cancellation or NaN outcome). This can be of great help to detect vicious bugs cancellation or NaN outcome). This can be of great help to detect vicious bugs
involving annoying events that normally happen silently in the Java Virtual involving annoying events that normally happen silently in the Java Virtual
Machine. See [§2](home#2-cojac-the-numerical-sniffer). This tool is pretty Machine. See [§2](home#2-cojac-the-numerical-sniffer). This tool is pretty
stable and efficient (but can't handle constant expressions evaluated at compile-time). stable and efficient (but can't handle constant expressions evaluated at compile-time).
- an *_"enriching wrapper"_* that automatically converts every float/double data - an **_"enriching wrapper"_** that automatically converts every float/double data
into richer number types, so that you can experiment, at a very low cost, some into richer number types, so that you can experiment, at a very low cost, some
beautiful models such as arbitrary precision numbers, interval computation, beautiful models such as arbitrary precision numbers, interval computation,
or even the marvelous automatic differentiation. or even the marvelous automatic differentiation.
See [§3](home#3-cojac-the-enriching-wrapper). This tool is still experimental (some See [§3](home#3-cojac-the-enriching-wrapper). This tool is fun but still experimental (some
[limitations](home#52-issues-with-the-wrapper), [limitations](home#52-issues-with-the-wrapper),
problems with Java8 lambdas, strong slowdown...). problems with Java8 lambdas, strong slowdown...).
... ...
......