Marc Sergent
|
b2f8911c89
Adding configure option --enable-calibration-heuristic which allows the user to set the maximum authorized deviation of the history-based calibrator
|
11 vuotta sitten |
Samuel Thibault
|
4c97a56f4f
Add --enable-spinlock-check configure option to enable
|
11 vuotta sitten |
Nathalie Furmento
|
f7e9a79f71
doc: document configure option enable-maxmicthreads
|
12 vuotta sitten |
Marc Sergent
|
778fb84218
Updates of ChangeLog and documentation linked to r10382 and r10386 : additional FxT lock traces and fix of a livelock issue
|
12 vuotta sitten |
Nathalie Furmento
|
645426b4b7
doc/doxygen: remove duplicate section
|
12 vuotta sitten |
Samuel Thibault
|
e0f117f5c6
Rework the way to pass parameters to ./mic-configure: parse them once for all, to pick up the already-existing prefix and coi-dir, add mic-host, and assume the user has the cross-compilation tools in PATH, which he already has to do anyway.
|
12 vuotta sitten |
Nathalie Furmento
|
418b020cef
doc: update dependencies for documentation generation
|
12 vuotta sitten |
Nathalie Furmento
|
3364527b32
doc/doxygen: fix contents
|
12 vuotta sitten |
Nathalie Furmento
|
aee3f3a0b0
doc/doxygen: improve doc
|
12 vuotta sitten |
Nathalie Furmento
|
77e3245fdc
doc/doxygen: improve contents
|
12 vuotta sitten |
Nathalie Furmento
|
15775902b0
doc/doxygen: improve doc
|
12 vuotta sitten |
Nathalie Furmento
|
fad14ebefa
doc/doxygen: improve doc
|
12 vuotta sitten |