Florian Deljarry

This pr adds invariant feature. # Annotations To define a new class contract you need to use the `invariant` annotation. The principle is the same as the other contract `expect`...

This pr add contract usage in lib/core/collection. All assert that was used as a pre-post condition are replaced by contracts expects ensures.

This pr makes it possible to prevent that contracts in different threads to interfere with the same flag to know if a contract evaluation should be performed. Instead of using...

Here is the documentation for contracts. This is a little ahead of the current state of contracts.

Naive_interpreter : Adding object inspector

1

Add an object inspector to the naive interpreter. To use it, you call the .inspect_o method on the object you want to inspect. The interpreter will then display the object...