KaSim 3.4 release

[Jean Krivine]

Dear all

We are glad to release KaSim 3.4 which can now perform strong compression on causal flows.

*Causality Analysis (causal flows)*

- Strong compression has been implemented ! Add the tag "strong" to the environment variable "displayCompression" to enable the computation of strongly compressed causal flows (please check the manual for more details).

- Various optimization of data-structures and algorithms to improve the precomputation step before causal flow compression.

*perturbation language*

- Perturbations using exact equality test on time as preconditions are now implemented. Note that only time dependent precondition of the form [T]=n (with n a real number) are allowed. 

*User manual*

-Updated with new information on perturbation and causal flows. 

*bug fixes*

- Minor bug fixes

*binaries*

- KaSim 3.4 binaries have been uploaded for win,mac os and linux. Check the bin/ folder of the source code.

All the best

JK and JF