Translating the trace predicates produced by TLC to B predicates.

Former-commit-id: 08770ec68cd39ac0ddc05e363e92caf269b6cfca
updated version


Former-commit-id: c0cb18dc6bb1e569341005ae2df31cffc9ddd83a
Modified version of the partial function definition.

Former-commit-id: 8cb270ff4810deac6110de5e849037e3e3e431d3
Relational Image.

Former-commit-id: 3f7667bc0d85dcf9f98e8a791a2bd1cd03771447
Some fixes

Former-commit-id: 7117bd8f90306e3d27eec00acae5820af1a165ac
Integration tests

Former-commit-id: 5025c3dbe3e7aeb9eb51ae6cf9835ce107f86367
Fixing file names.

Former-commit-id: 71989e82ed8814f7d8e8d81f8c993b551b65629e
Finding a bug running on jenkins ...(1)

Former-commit-id: fa800519d1d4fda08952d47a7404a03507cf828c
Finding a bug running on jenkins ...(2)

Former-commit-id: 5ca92b7d9cc6a9588c253e07c9a4437ed955055f
Tests are running in a single JVM.

Former-commit-id: 7962a277c354d1911205b8445b380a240d401ccd
Modified B-TLC output.

Former-commit-id: b0c4ac66b46c4d35d9162fe6ec43d4f3cd4687a7
Some adaptions to the TLCOutput parser

Former-commit-id: 0e09d81ad7cbe8ccb07ca52f33c3d52ce20254d5
Added the translation for the LET substitution.

Former-commit-id: 517bb9e700af0dac8370a9eeb60e70c25644e6c1
Fixed a bug in the TLCOutputParser

Former-commit-id: 148f7273cc153e85513f5408871bf955217af24e
add missing class

Former-commit-id: b9f2687a4ec3d612a30b14979b1d7d3baa048d90
More expressive error messages for the sequential operators
Take-First-Elements and Drop-First-Elements

Former-commit-id: de7505b929599839ce7fb2360e372510d4b881ef
Modified the type restriction algorithm.

Former-commit-id: e915cece943e1795a97f3c3ac44d01350b5b03b5
Transforming B constants to B definitions (AST transformation)

Former-commit-id: a937b15cbfbba01efe57f9c9c7fd43df4caf5d1c
Sorting of B definitions.

Former-commit-id: 1ae6a601b31138b5435a455e9bd54dd292300b13