GitLab

Start proving union interval with Colibri2

See merge request !19

  - Allow theories to define symbols to skip for trigger computation
  - Arithmetic skips <= < > >=

  - Makes Ite lazy
  - Partial fix for enumeration of reccursive ADT
  - Fix propagation of AST tests

Fix artifact path for colibri2

See merge request !18

Separate Abs and Sign

See merge request !17

  add some tests

    Add colibri_abs_real

In order to not keep some and simplify the debug gui

Fp/ieee

See merge request !16

     regroup all in one job