util/nondecreasing.v · 9227bdb40408ded5514c98e408695404b982f237 · Lasse Blaauwbroek / PROSA - Formally Proven Schedulability Analysis

Forked from RT-PROOFS / PROSA - Formally Proven Schedulability Analysis

Source project has a limited visibility.

3 years ago

address deprecation warnings (iota_add -> iotaD) · 6f8121d5

mathcomp has deprecated `iota_add` in favor of `iotaD`.

However, `iotaD` wasn't added until mathcomp 1.12, so this patch breaks
compatibility with earlier versions.

6f8121d5

History

address deprecation warnings (iota_add -> iotaD)

Björn Brandenburg authored 3 years ago

mathcomp has deprecated `iota_add` in favor of `iotaD`.

However, `iotaD` wasn't added until mathcomp 1.12, so this patch breaks
compatibility with earlier versions.