standardRules.key
Requires: \includeldt;
requires ldt
Requires: \includepropRule;
requires propRule
Requires: \includefirstOrderRules;
requires firstOrderRules
Requires: \includeifThenElseRules;
requires ifThenElseRules
Requires: \includeformulaNormalisationRules;
requires formulaNormalisationRules
Requires: \includeupdateRules;
requires updateRules
Requires: \includeintegerRulesCommon;
requires integerRulesCommon
Requires: \includeintRules,intRulesUncheckedSemantics,intRulesCheckedSemantics,intRulesJavaSemantics;
requires intRules
requires intRulesUncheckedSemantics
requires intRulesCheckedSemantics
requires intRulesJavaSemantics
Requires: \includeintegerSimplificationRules;
requires integerSimplificationRules
Requires: \includeintDiv;
requires intDiv
Requires: \includebsum,bprod;
requires bsum
requires bprod
Requires: \includebinaryAxioms,binaryLemmas;
requires binaryAxioms
requires binaryLemmas
Requires: \includeintPow;
requires intPow
Requires: \includefloatRulesCommon;
requires floatRulesCommon
Requires: \includefloatRules,floatRulesVerifyNormal,floatRulesAssumeStrictfp;
requires floatRules
requires floatRulesVerifyNormal
requires floatRulesAssumeStrictfp
Requires: \includegenericRules;
requires genericRules
Requires: \includebooleanRules;
requires booleanRules
Requires: \includeepsilon;
requires epsilon
Requires: \includelocSetsRules;
requires locSetsRules
Requires: \includeheapRules;
requires heapRules
Requires: \includepermissionRules;
requires permissionRules
Requires: \includereachRules;
requires reachRules
Requires: \includeseqCoreRules,seqRules;
requires seqCoreRules
requires seqRules
Requires: \includeseqPerm;
requires seqPerm
Requires: \includeseqPerm2;
requires seqPerm2
Requires: \includejavaRules;
requires javaRules
Requires: \includeloopRules;
requires loopRules
Requires: \includeactiveUse;
requires activeUse
Requires: \includeinstanceAllocation;
requires instanceAllocation
Requires: \includejava5;
requires java5
Requires: \includeintegerAssignment2UpdateRules;
requires integerAssignment2UpdateRules
Requires: \includefloatAssignment2UpdateRules;
requires floatAssignment2UpdateRules
Requires: \includebigint;
requires bigint
Requires: \includeadtProgramDecompositionRules;
requires adtProgramDecompositionRules
Requires: \includeprecRules;
requires precRules
Requires: \includecharListRules;
requires charListRules
Requires: \includeregExTheory;
requires regExTheory
Requires: \includeseqEq;
requires seqEq
Requires: \includeinfFlow;
requires infFlow
Requires: \includemapSize;
requires mapSize
Requires: \includewd;
requires wd
Requires: \includeloopInvariantRules;
requires loopInvariantRules
Requires: \includeforLoopRules;
requires forLoopRules
Requires: \includeexecRules;
requires execRules
Requires: \includeloopScopeRules;
requires loopScopeRules