Start implementing strong compression.
=> Computing which substitutions can be applied before each event.
Stong compression: alpha-test period is open.
Strong compression: bug fix.
Bug fix: Strong compression: substitutions were not properly taken into accound in the grid output.
Strong compression: 2 bug fixes.
1) GC of KaSim was incompatible with strong compression.
=> We reallocate agent id so that they are used only once in traces.
2) Projection of a minimal solution is not necessarily a minimal solution.
Now we give priority so that to ensure that real events are discussed first.
A list of known bugs.
Strong Compression: -> Bug fix
-> Efficiency: strong compression start with the result of the weak compression
-> Soundness: problem with permutations and links solved.
New examples for regression tests
XLS output for grid (before weak/strong compression), for debugging.
XLS output for stories:
Export macros instead of a matrix.
-> Sparse output
-> Obs are highlighted
Bug fix:
The module Set was not satisfying its specification.
Adding an existing element to a set could rebalance the set (making physical equality test fail).

A patched module has been added.
Bug fix in handling links in strong compression.
Strong compression: bug fix.
less profiling
XLS output for grids.
Strong compression: Bug fix (wrong order of actions when a permutable agent with a specified link is removed)
Update the todo list.
Code cleaning.
Better layout for xls output.
Cleaning code.