Remove superfluous modulo operators from XCFA

ftsrg / theta

Generic, modular and configurable formal verification framework supporting various formalisms and algorithms

http://theta.inf.mit.bme.hu/

Apache License 2.0

49 stars 43 forks source link

Remove superfluous modulo operators from XCFA #327

Open AdamZsofi opened 2 weeks ago

AdamZsofi commented 2 weeks ago

We add superfluous modulo "bounds", e.g., when casting to a larger type. XCFAs have a surprising amount of modulos in unneeded places, which might hinder performance.