GitLab

Squashed commit of the following:

commit 808e72db2022d05a4e34818b33cc9af17aaa4df0
Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date:   Fri Sep 17 14:53:39 2021 +0200

    selectOp for comp0

commit f38e1f15359cceb3c0764635336125a1ceae78ff
Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date:   Fri Sep 17 14:49:45 2021 +0200

    SelectOp for ccomp0 ok

commit ca969280380a593aef590a1fe2ec6f0fc112c2f5
Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date:   Fri Sep 17 14:46:01 2021 +0200

    progress

commit e60a970f541ae6be30ec51cf95d60eb672ade829
Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date:   Fri Sep 17 14:40:49 2021 +0200

    progres sur ltu etc.

commit 6f7d51e59a61d43fca06b1b4bad6dedada6e031e
Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date:   Fri Sep 17 14:13:07 2021 +0200

    change selection

commit c2af349c6dd3e09fec25f3a96e1272377b6450ef
Author: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date:   Fri Sep 17 14:03:31 2021 +0200

    begin rewrite selector