Tail-call data now contains the intensional index of the call.
Fixed spaces in the CI pretty printer.
Added support for a restricted case of tail-calls in the code generator.
Removed duplicate type for nesting depths.
Sharing analysis can now be disabled by command-line flag, or by the presence of TCO.
Added helper functions to gather information for visible names in a module.
Removed extra formal.
The sharing analysis can now be (de)activated.
More cases of tail calls are now supported by the code generator (slot copies).
Added support for more than one parameters, to permit extra compiler flags.
Added LAR size check when determining tail calls statically.
Better implementation of the parallel assignment during tail calls.
Shorter names for imported functions.
Better handling of the different LAR representations and garbage collectors available.
Defunctionalization can now skip the sharing analysis when -no-sharing is given.
The layout field is now updated during tail calls.
Minor changes in imports for shorter names.
Enable LTO when compiling with gcc (and the gold linker exists).
Nullary defunctionalization is now disabled when doing separate compilation.
Formals are now annotated by evaluation order (by-value, by-name, lazy).