Merge branch 'feature/kernel_services/filter_invariant' into 'master'

src/kernel_services/analysis/filter/field.ml

src/kernel_services/analysis/filter/finite.ml

src/kernel_services/analysis/filter/finite.mli

src/kernel_services/analysis/filter/linear.ml

src/kernel_services/analysis/filter/linear.mli

src/kernel_services/analysis/filter/linear_filter.ml

src/kernel_services/analysis/filter/linear_filter.mli

src/kernel_services/analysis/filter/linear_filter_test.ml

src/kernel_services/analysis/filter/linear_filter_test.mli

src/kernel_services/analysis/filter/nat.ml

src/kernel_services/analysis/filter/nat.mli

src/libraries/utils/parray.ml

src/libraries/utils/parray.mli

tests/float/linear_filter_test.i

tests/float/linear_filter_test.ml

tests/float/oracle/linear_filter_test.res.oracle