"src/main/git@ic-gitlab.epfl.ch:lara/inox.git" did not exist on "5245e0e57e63fcef99be659da18b04cc4f6bf7a9"
Manos Koukoutos
authored
Fix isDeterministic, introduce evalOrderSensitive simplifyLets: Great simplifications, generalize LetTuple to LetPattern, use correct conditions. SimplifierWithPaths now handles IfExpr, Or, And, Require, Implies. Does not oversimplify LetPattern (simplifyLets does it soundly!) simplifyTautologies: Redundant, removed Simplifiers: rewrite to be more readable