javadoc

UQ-PAC · Feb 23, 2024 · 29996c2 · 29996c2
1 parent 1acdef4
commit 29996c2
Show file tree

Hide file tree

Showing 773 changed files with 237,544 additions and 0 deletions.
diff --git a/javadoc/_empty_/Main$$Config.html b/javadoc/_empty_/Main$$Config.html
diff --git a/javadoc/_empty_/Main$.html b/javadoc/_empty_/Main$.html
diff --git a/javadoc/analysis.html b/javadoc/analysis.html
diff --git a/javadoc/analysis/AAlloc.html b/javadoc/analysis/AAlloc.html
diff --git a/javadoc/analysis/AddressValue.html b/javadoc/analysis/AddressValue.html
diff --git a/javadoc/analysis/AllocVariable.html b/javadoc/analysis/AllocVariable.html
diff --git a/javadoc/analysis/Analysis.html b/javadoc/analysis/Analysis.html
diff --git a/javadoc/analysis/AnalysisResult.html b/javadoc/analysis/AnalysisResult.html
diff --git a/javadoc/analysis/BackwardIDEAnalysis.html b/javadoc/analysis/BackwardIDEAnalysis.html
diff --git a/javadoc/analysis/BitVectorEval$.html b/javadoc/analysis/BitVectorEval$.html
diff --git a/javadoc/analysis/Bottom$.html b/javadoc/analysis/Bottom$.html
diff --git a/javadoc/analysis/CfgCallNoReturnNode.html b/javadoc/analysis/CfgCallNoReturnNode.html
diff --git a/javadoc/analysis/CfgCallReturnNode.html b/javadoc/analysis/CfgCallReturnNode.html
diff --git a/javadoc/analysis/CfgCommandNode.html b/javadoc/analysis/CfgCommandNode.html
diff --git a/javadoc/analysis/CfgFunctionEntryNode.html b/javadoc/analysis/CfgFunctionEntryNode.html
diff --git a/javadoc/analysis/CfgFunctionExitNode.html b/javadoc/analysis/CfgFunctionExitNode.html
diff --git a/javadoc/analysis/CfgGhostNode.html b/javadoc/analysis/CfgGhostNode.html
diff --git a/javadoc/analysis/CfgJumpNode.html b/javadoc/analysis/CfgJumpNode.html
diff --git a/javadoc/analysis/CfgNode$.html b/javadoc/analysis/CfgNode$.html
diff --git a/javadoc/analysis/CfgNode.html b/javadoc/analysis/CfgNode.html
diff --git a/javadoc/analysis/CfgNodeWithData.html b/javadoc/analysis/CfgNodeWithData.html
diff --git a/javadoc/analysis/CfgProcedureReturnNode.html b/javadoc/analysis/CfgProcedureReturnNode.html
diff --git a/javadoc/analysis/CfgStatementNode.html b/javadoc/analysis/CfgStatementNode.html
diff --git a/javadoc/analysis/ConstantPropagation.html b/javadoc/analysis/ConstantPropagation.html
diff --git a/javadoc/analysis/ConstantPropagationLattice.html b/javadoc/analysis/ConstantPropagationLattice.html
diff --git a/javadoc/analysis/ConstantPropagationSolver.html b/javadoc/analysis/ConstantPropagationSolver.html
diff --git a/javadoc/analysis/DataRegion.html b/javadoc/analysis/DataRegion.html
diff --git a/javadoc/analysis/Dependencies.html b/javadoc/analysis/Dependencies.html
diff --git a/javadoc/analysis/EdgeFunction.html b/javadoc/analysis/EdgeFunction.html
diff --git a/javadoc/analysis/EdgeFunctionLattice$ConstEdge.html b/javadoc/analysis/EdgeFunctionLattice$ConstEdge.html
diff --git a/javadoc/analysis/EdgeFunctionLattice$IdEdge.html b/javadoc/analysis/EdgeFunctionLattice$IdEdge.html
diff --git a/javadoc/analysis/EdgeFunctionLattice.html b/javadoc/analysis/EdgeFunctionLattice.html
diff --git a/javadoc/analysis/ExpressionVariable.html b/javadoc/analysis/ExpressionVariable.html
diff --git a/javadoc/analysis/FlatEl.html b/javadoc/analysis/FlatEl.html
diff --git a/javadoc/analysis/FlatElement.html b/javadoc/analysis/FlatElement.html
diff --git a/javadoc/analysis/FlatLattice.html b/javadoc/analysis/FlatLattice.html
diff --git a/javadoc/analysis/ForwardIDEAnalysis.html b/javadoc/analysis/ForwardIDEAnalysis.html
diff --git a/javadoc/analysis/Fresh$.html b/javadoc/analysis/Fresh$.html
diff --git a/javadoc/analysis/FreshVariable.html b/javadoc/analysis/FreshVariable.html
diff --git a/javadoc/analysis/GlobalAddress.html b/javadoc/analysis/GlobalAddress.html
diff --git a/javadoc/analysis/HeapRegion.html b/javadoc/analysis/HeapRegion.html
diff --git a/javadoc/analysis/IDEAnalysis.html b/javadoc/analysis/IDEAnalysis.html
diff --git a/javadoc/analysis/ILValueAnalysisMisc.html b/javadoc/analysis/ILValueAnalysisMisc.html
diff --git a/javadoc/analysis/IRInterproceduralBackwardDependencies.html b/javadoc/analysis/IRInterproceduralBackwardDependencies.html
diff --git a/javadoc/analysis/IRInterproceduralForwardDependencies.html b/javadoc/analysis/IRInterproceduralForwardDependencies.html
diff --git a/javadoc/analysis/IRIntraproceduralBackwardDependencies.html b/javadoc/analysis/IRIntraproceduralBackwardDependencies.html
diff --git a/javadoc/analysis/IRIntraproceduralForwardDependencies.html b/javadoc/analysis/IRIntraproceduralForwardDependencies.html
diff --git a/javadoc/analysis/IRSimpleValueAnalysis$$Solver.html b/javadoc/analysis/IRSimpleValueAnalysis$$Solver.html
diff --git a/javadoc/analysis/IRSimpleValueAnalysis$.html b/javadoc/analysis/IRSimpleValueAnalysis$.html
diff --git a/javadoc/analysis/IdentifierVariable.html b/javadoc/analysis/IdentifierVariable.html
diff --git a/javadoc/analysis/InterLiveVarsAnalysis$.html b/javadoc/analysis/InterLiveVarsAnalysis$.html
diff --git a/javadoc/analysis/InterLiveVarsAnalysis.html b/javadoc/analysis/InterLiveVarsAnalysis.html
diff --git a/javadoc/analysis/InterproceduralForwardDependencies.html b/javadoc/analysis/InterproceduralForwardDependencies.html
diff --git a/javadoc/analysis/IntraLiveVarsAnalysis.html b/javadoc/analysis/IntraLiveVarsAnalysis.html
diff --git a/javadoc/analysis/IntraproceduralBackwardDependencies.html b/javadoc/analysis/IntraproceduralBackwardDependencies.html
diff --git a/javadoc/analysis/IntraproceduralForwardDependencies.html b/javadoc/analysis/IntraproceduralForwardDependencies.html
diff --git a/javadoc/analysis/Lambda.html b/javadoc/analysis/Lambda.html
diff --git a/javadoc/analysis/Lattice.html b/javadoc/analysis/Lattice.html
diff --git a/javadoc/analysis/Lift.html b/javadoc/analysis/Lift.html
diff --git a/javadoc/analysis/LiftLattice.html b/javadoc/analysis/LiftLattice.html
diff --git a/javadoc/analysis/LiftedBottom$.html b/javadoc/analysis/LiftedBottom$.html
diff --git a/javadoc/analysis/LiftedElement.html b/javadoc/analysis/LiftedElement.html
diff --git a/javadoc/analysis/LiteralValue.html b/javadoc/analysis/LiteralValue.html
diff --git a/javadoc/analysis/LiveVarsAnalysisFunctions.html b/javadoc/analysis/LiveVarsAnalysisFunctions.html
diff --git a/javadoc/analysis/LivenessAnalysis.html b/javadoc/analysis/LivenessAnalysis.html
diff --git a/javadoc/analysis/LocalAddress.html b/javadoc/analysis/LocalAddress.html
diff --git a/javadoc/analysis/Loop.html b/javadoc/analysis/Loop.html
diff --git a/javadoc/analysis/LoopDetector.html b/javadoc/analysis/LoopDetector.html
diff --git a/javadoc/analysis/LoopEdge.html b/javadoc/analysis/LoopEdge.html
diff --git a/javadoc/analysis/LoopTransform.html b/javadoc/analysis/LoopTransform.html
diff --git a/javadoc/analysis/MapLattice.html b/javadoc/analysis/MapLattice.html
diff --git a/javadoc/analysis/MemoryModelMap.html b/javadoc/analysis/MemoryModelMap.html
diff --git a/javadoc/analysis/MemoryRegion.html b/javadoc/analysis/MemoryRegion.html
diff --git a/javadoc/analysis/MemoryRegionAnalysis.html b/javadoc/analysis/MemoryRegionAnalysis.html
diff --git a/javadoc/analysis/MemoryRegionAnalysisSolver.html b/javadoc/analysis/MemoryRegionAnalysisSolver.html
diff --git a/javadoc/analysis/ParamAnalysis$.html b/javadoc/analysis/ParamAnalysis$.html
diff --git a/javadoc/analysis/ParamAnalysis.html b/javadoc/analysis/ParamAnalysis.html
diff --git a/javadoc/analysis/PointerRef.html b/javadoc/analysis/PointerRef.html
diff --git a/javadoc/analysis/PowersetLattice.html b/javadoc/analysis/PowersetLattice.html
diff --git a/javadoc/analysis/ProgramCfg.html b/javadoc/analysis/ProgramCfg.html
diff --git a/javadoc/analysis/ProgramCfgFactory.html b/javadoc/analysis/ProgramCfgFactory.html
diff --git a/javadoc/analysis/RangeKey.html b/javadoc/analysis/RangeKey.html
diff --git a/javadoc/analysis/RegionToRangesMap.html b/javadoc/analysis/RegionToRangesMap.html
diff --git a/javadoc/analysis/StTerm.html b/javadoc/analysis/StTerm.html
diff --git a/javadoc/analysis/StackRegion.html b/javadoc/analysis/StackRegion.html
diff --git a/javadoc/analysis/SteensgaardAnalysis.html b/javadoc/analysis/SteensgaardAnalysis.html
diff --git a/javadoc/analysis/Top$.html b/javadoc/analysis/Top$.html
diff --git a/javadoc/analysis/TwoElementLattice.html b/javadoc/analysis/TwoElementLattice.html
diff --git a/javadoc/analysis/Value.html b/javadoc/analysis/Value.html
diff --git a/javadoc/analysis/ValueSetAnalysis.html b/javadoc/analysis/ValueSetAnalysis.html
diff --git a/javadoc/analysis/ValueSetAnalysisSolver.html b/javadoc/analysis/ValueSetAnalysisSolver.html
diff --git a/javadoc/analysis/solvers.html b/javadoc/analysis/solvers.html
diff --git a/javadoc/analysis/solvers/BackwardIDESolver.html b/javadoc/analysis/solvers/BackwardIDESolver.html
diff --git a/javadoc/analysis/solvers/Cons.html b/javadoc/analysis/solvers/Cons.html
diff --git a/javadoc/analysis/solvers/ForwardIDESolver.html b/javadoc/analysis/solvers/ForwardIDESolver.html
diff --git a/javadoc/analysis/solvers/IDESolver.html b/javadoc/analysis/solvers/IDESolver.html
diff --git a/javadoc/analysis/solvers/LatticeSolver.html b/javadoc/analysis/solvers/LatticeSolver.html
diff --git a/javadoc/analysis/solvers/LinkedHashSetWorklist.html b/javadoc/analysis/solvers/LinkedHashSetWorklist.html
diff --git a/javadoc/analysis/solvers/ListSetWorklist.html b/javadoc/analysis/solvers/ListSetWorklist.html
diff --git a/javadoc/analysis/solvers/MapLatticeSolver.html b/javadoc/analysis/solvers/MapLatticeSolver.html
diff --git a/javadoc/analysis/solvers/MapLiftLatticeSolver.html b/javadoc/analysis/solvers/MapLiftLatticeSolver.html
diff --git a/javadoc/analysis/solvers/Mu.html b/javadoc/analysis/solvers/Mu.html
diff --git a/javadoc/analysis/solvers/PushDownWorklistFixpointSolver.html b/javadoc/analysis/solvers/PushDownWorklistFixpointSolver.html
diff --git a/javadoc/analysis/solvers/SimpleMonotonicSolver.html b/javadoc/analysis/solvers/SimpleMonotonicSolver.html
diff --git a/javadoc/analysis/solvers/SimplePushDownWorklistFixpointSolver.html b/javadoc/analysis/solvers/SimplePushDownWorklistFixpointSolver.html
diff --git a/javadoc/analysis/solvers/SimpleWorklistFixpointSolver.html b/javadoc/analysis/solvers/SimpleWorklistFixpointSolver.html
diff --git a/javadoc/analysis/solvers/Term.html b/javadoc/analysis/solvers/Term.html
diff --git a/javadoc/analysis/solvers/TermOps.html b/javadoc/analysis/solvers/TermOps.html
diff --git a/javadoc/analysis/solvers/UnificationFailure.html b/javadoc/analysis/solvers/UnificationFailure.html
diff --git a/javadoc/analysis/solvers/UnionFindSolver.html b/javadoc/analysis/solvers/UnionFindSolver.html
diff --git a/javadoc/analysis/solvers/Var.html b/javadoc/analysis/solvers/Var.html
diff --git a/javadoc/analysis/solvers/Worklist.html b/javadoc/analysis/solvers/Worklist.html
diff --git a/javadoc/analysis/solvers/WorklistFixPointFunctions.html b/javadoc/analysis/solvers/WorklistFixPointFunctions.html
diff --git a/javadoc/analysis/solvers/WorklistFixpointSolver.html b/javadoc/analysis/solvers/WorklistFixpointSolver.html
diff --git a/javadoc/analysis/solvers/WorklistFixpointSolverWithReachability.html b/javadoc/analysis/solvers/WorklistFixpointSolverWithReachability.html
diff --git a/javadoc/bap.html b/javadoc/bap.html
diff --git a/javadoc/bap/AND$.html b/javadoc/bap/AND$.html
diff --git a/javadoc/bap/ARSHIFT$.html b/javadoc/bap/ARSHIFT$.html
diff --git a/javadoc/bap/BAPAssign.html b/javadoc/bap/BAPAssign.html
diff --git a/javadoc/bap/BAPBinOp.html b/javadoc/bap/BAPBinOp.html
diff --git a/javadoc/bap/BAPBinOperator$.html b/javadoc/bap/BAPBinOperator$.html
diff --git a/javadoc/bap/BAPBinOperator.html b/javadoc/bap/BAPBinOperator.html
diff --git a/javadoc/bap/BAPBlock.html b/javadoc/bap/BAPBlock.html
diff --git a/javadoc/bap/BAPConcat.html b/javadoc/bap/BAPConcat.html
diff --git a/javadoc/bap/BAPDirectCall.html b/javadoc/bap/BAPDirectCall.html
diff --git a/javadoc/bap/BAPExpr.html b/javadoc/bap/BAPExpr.html
diff --git a/javadoc/bap/BAPExtract.html b/javadoc/bap/BAPExtract.html
diff --git a/javadoc/bap/BAPGoTo.html b/javadoc/bap/BAPGoTo.html
diff --git a/javadoc/bap/BAPHighCast$.html b/javadoc/bap/BAPHighCast$.html
diff --git a/javadoc/bap/BAPIndirectCall.html b/javadoc/bap/BAPIndirectCall.html
diff --git a/javadoc/bap/BAPJump.html b/javadoc/bap/BAPJump.html
diff --git a/javadoc/bap/BAPLiteral.html b/javadoc/bap/BAPLiteral.html
diff --git a/javadoc/bap/BAPLocalAssign.html b/javadoc/bap/BAPLocalAssign.html
diff --git a/javadoc/bap/BAPLocalVar.html b/javadoc/bap/BAPLocalVar.html
diff --git a/javadoc/bap/BAPLowCast$.html b/javadoc/bap/BAPLowCast$.html
diff --git a/javadoc/bap/BAPMemAccess.html b/javadoc/bap/BAPMemAccess.html
diff --git a/javadoc/bap/BAPMemAssign.html b/javadoc/bap/BAPMemAssign.html
diff --git a/javadoc/bap/BAPMemory.html b/javadoc/bap/BAPMemory.html
diff --git a/javadoc/bap/BAPMemorySection.html b/javadoc/bap/BAPMemorySection.html
diff --git a/javadoc/bap/BAPParameter.html b/javadoc/bap/BAPParameter.html
diff --git a/javadoc/bap/BAPProgram.html b/javadoc/bap/BAPProgram.html
diff --git a/javadoc/bap/BAPRegister.html b/javadoc/bap/BAPRegister.html
diff --git a/javadoc/bap/BAPSignedExtend.html b/javadoc/bap/BAPSignedExtend.html
diff --git a/javadoc/bap/BAPStatement.html b/javadoc/bap/BAPStatement.html
diff --git a/javadoc/bap/BAPStore.html b/javadoc/bap/BAPStore.html
diff --git a/javadoc/bap/BAPSubroutine.html b/javadoc/bap/BAPSubroutine.html
diff --git a/javadoc/bap/BAPUnOp.html b/javadoc/bap/BAPUnOp.html
diff --git a/javadoc/bap/BAPUnOperator$.html b/javadoc/bap/BAPUnOperator$.html
diff --git a/javadoc/bap/BAPUnOperator.html b/javadoc/bap/BAPUnOperator.html
diff --git a/javadoc/bap/BAPUnsignedExtend.html b/javadoc/bap/BAPUnsignedExtend.html
diff --git a/javadoc/bap/BAPVar.html b/javadoc/bap/BAPVar.html
diff --git a/javadoc/bap/BAPVariable.html b/javadoc/bap/BAPVariable.html
diff --git a/javadoc/bap/DIVIDE$.html b/javadoc/bap/DIVIDE$.html
diff --git a/javadoc/bap/EQ$.html b/javadoc/bap/EQ$.html
diff --git a/javadoc/bap/LE$.html b/javadoc/bap/LE$.html
diff --git a/javadoc/bap/LSHIFT$.html b/javadoc/bap/LSHIFT$.html
diff --git a/javadoc/bap/LT$.html b/javadoc/bap/LT$.html
diff --git a/javadoc/bap/MINUS$.html b/javadoc/bap/MINUS$.html
diff --git a/javadoc/bap/MOD$.html b/javadoc/bap/MOD$.html
diff --git a/javadoc/bap/NEG$.html b/javadoc/bap/NEG$.html
diff --git a/javadoc/bap/NEQ$.html b/javadoc/bap/NEQ$.html
diff --git a/javadoc/bap/NOT$.html b/javadoc/bap/NOT$.html
diff --git a/javadoc/bap/OR$.html b/javadoc/bap/OR$.html
diff --git a/javadoc/bap/PLUS$.html b/javadoc/bap/PLUS$.html
diff --git a/javadoc/bap/RSHIFT$.html b/javadoc/bap/RSHIFT$.html
diff --git a/javadoc/bap/SDIVIDE$.html b/javadoc/bap/SDIVIDE$.html
diff --git a/javadoc/bap/SLE$.html b/javadoc/bap/SLE$.html
diff --git a/javadoc/bap/SLT$.html b/javadoc/bap/SLT$.html
diff --git a/javadoc/bap/SMOD$.html b/javadoc/bap/SMOD$.html
diff --git a/javadoc/bap/TIMES$.html b/javadoc/bap/TIMES$.html
diff --git a/javadoc/bap/XOR$.html b/javadoc/bap/XOR$.html
diff --git a/javadoc/boogie.html b/javadoc/boogie.html
diff --git a/javadoc/boogie/AssignCmd$.html b/javadoc/boogie/AssignCmd$.html
diff --git a/javadoc/boogie/AssignCmd.html b/javadoc/boogie/AssignCmd.html
diff --git a/javadoc/boogie/BAssert.html b/javadoc/boogie/BAssert.html
diff --git a/javadoc/boogie/BAssume.html b/javadoc/boogie/BAssume.html
diff --git a/javadoc/boogie/BAttribute.html b/javadoc/boogie/BAttribute.html
diff --git a/javadoc/boogie/BAxiom.html b/javadoc/boogie/BAxiom.html
diff --git a/javadoc/boogie/BBlock.html b/javadoc/boogie/BBlock.html
diff --git a/javadoc/boogie/BByteExtract.html b/javadoc/boogie/BByteExtract.html
diff --git a/javadoc/boogie/BCmd.html b/javadoc/boogie/BCmd.html
diff --git a/javadoc/boogie/BCmdOrBlock.html b/javadoc/boogie/BCmdOrBlock.html
diff --git a/javadoc/boogie/BConstAxiomPair.html b/javadoc/boogie/BConstAxiomPair.html
diff --git a/javadoc/boogie/BDeclaration.html b/javadoc/boogie/BDeclaration.html
diff --git a/javadoc/boogie/BDirectExpr.html b/javadoc/boogie/BDirectExpr.html
diff --git a/javadoc/boogie/BExpr.html b/javadoc/boogie/BExpr.html
diff --git a/javadoc/boogie/BFunction.html b/javadoc/boogie/BFunction.html
diff --git a/javadoc/boogie/BFunctionCall.html b/javadoc/boogie/BFunctionCall.html
diff --git a/javadoc/boogie/BInBounds.html b/javadoc/boogie/BInBounds.html
diff --git a/javadoc/boogie/BLiteral.html b/javadoc/boogie/BLiteral.html
diff --git a/javadoc/boogie/BMapVar.html b/javadoc/boogie/BMapVar.html
diff --git a/javadoc/boogie/BMemoryLoad.html b/javadoc/boogie/BMemoryLoad.html
diff --git a/javadoc/boogie/BMemoryStore.html b/javadoc/boogie/BMemoryStore.html
diff --git a/javadoc/boogie/BParam$.html b/javadoc/boogie/BParam$.html
diff --git a/javadoc/boogie/BProcedure.html b/javadoc/boogie/BProcedure.html
diff --git a/javadoc/boogie/BProcedureCall.html b/javadoc/boogie/BProcedureCall.html
diff --git a/javadoc/boogie/BProgram.html b/javadoc/boogie/BProgram.html
diff --git a/javadoc/boogie/BType.html b/javadoc/boogie/BType.html
diff --git a/javadoc/boogie/BVExtract.html b/javadoc/boogie/BVExtract.html
diff --git a/javadoc/boogie/BVFunctionOp.html b/javadoc/boogie/BVFunctionOp.html
diff --git a/javadoc/boogie/BVRepeat.html b/javadoc/boogie/BVRepeat.html
diff --git a/javadoc/boogie/BVSignExtend.html b/javadoc/boogie/BVSignExtend.html
diff --git a/javadoc/boogie/BVZeroExtend.html b/javadoc/boogie/BVZeroExtend.html
diff --git a/javadoc/boogie/BVar.html b/javadoc/boogie/BVar.html
diff --git a/javadoc/boogie/BVarDecl.html b/javadoc/boogie/BVarDecl.html
diff --git a/javadoc/boogie/BVariable.html b/javadoc/boogie/BVariable.html
diff --git a/javadoc/boogie/BinaryBExpr.html b/javadoc/boogie/BinaryBExpr.html
diff --git a/javadoc/boogie/BitVecBLiteral.html b/javadoc/boogie/BitVecBLiteral.html
diff --git a/javadoc/boogie/BitVecBType.html b/javadoc/boogie/BitVecBType.html
diff --git a/javadoc/boogie/BoolBLiteral.html b/javadoc/boogie/BoolBLiteral.html
diff --git a/javadoc/boogie/BoolBType$.html b/javadoc/boogie/BoolBType$.html
diff --git a/javadoc/boogie/ByteExtract.html b/javadoc/boogie/ByteExtract.html
diff --git a/javadoc/boogie/Comment.html b/javadoc/boogie/Comment.html
diff --git a/javadoc/boogie/Exists.html b/javadoc/boogie/Exists.html
diff --git a/javadoc/boogie/FalseBLiteral$.html b/javadoc/boogie/FalseBLiteral$.html
diff --git a/javadoc/boogie/ForAll.html b/javadoc/boogie/ForAll.html
diff --git a/javadoc/boogie/FunctionOp.html b/javadoc/boogie/FunctionOp.html
diff --git a/javadoc/boogie/GammaLoad.html b/javadoc/boogie/GammaLoad.html
diff --git a/javadoc/boogie/GammaLoadOp.html b/javadoc/boogie/GammaLoadOp.html
diff --git a/javadoc/boogie/GammaStore.html b/javadoc/boogie/GammaStore.html
diff --git a/javadoc/boogie/GammaStoreOp.html b/javadoc/boogie/GammaStoreOp.html
diff --git a/javadoc/boogie/GoToCmd.html b/javadoc/boogie/GoToCmd.html
diff --git a/javadoc/boogie/HasAttributes.html b/javadoc/boogie/HasAttributes.html
diff --git a/javadoc/boogie/Havoc.html b/javadoc/boogie/Havoc.html
diff --git a/javadoc/boogie/IfCmd.html b/javadoc/boogie/IfCmd.html
diff --git a/javadoc/boogie/IfThenElse.html b/javadoc/boogie/IfThenElse.html
diff --git a/javadoc/boogie/InBounds.html b/javadoc/boogie/InBounds.html
diff --git a/javadoc/boogie/IntBLiteral.html b/javadoc/boogie/IntBLiteral.html
diff --git a/javadoc/boogie/IntBType$.html b/javadoc/boogie/IntBType$.html
diff --git a/javadoc/boogie/L.html b/javadoc/boogie/L.html
diff --git a/javadoc/boogie/LOp.html b/javadoc/boogie/LOp.html
diff --git a/javadoc/boogie/Lambda.html b/javadoc/boogie/Lambda.html
diff --git a/javadoc/boogie/MapAccess.html b/javadoc/boogie/MapAccess.html
diff --git a/javadoc/boogie/MapAssignCmd.html b/javadoc/boogie/MapAssignCmd.html
diff --git a/javadoc/boogie/MapBType.html b/javadoc/boogie/MapBType.html
diff --git a/javadoc/boogie/MapUpdate.html b/javadoc/boogie/MapUpdate.html
diff --git a/javadoc/boogie/MemoryLoadOp.html b/javadoc/boogie/MemoryLoadOp.html
diff --git a/javadoc/boogie/MemoryStoreOp.html b/javadoc/boogie/MemoryStoreOp.html
diff --git a/javadoc/boogie/Old.html b/javadoc/boogie/Old.html
diff --git a/javadoc/boogie/Quantifier.html b/javadoc/boogie/Quantifier.html
diff --git a/javadoc/boogie/QuantifierExpr.html b/javadoc/boogie/QuantifierExpr.html
diff --git a/javadoc/boogie/ReturnCmd$.html b/javadoc/boogie/ReturnCmd$.html
diff --git a/javadoc/boogie/Scope.html b/javadoc/boogie/Scope.html
diff --git a/javadoc/boogie/SpecType$.html b/javadoc/boogie/SpecType$.html
diff --git a/javadoc/boogie/StarBLiteral$.html b/javadoc/boogie/StarBLiteral$.html
diff --git a/javadoc/boogie/TrueBLiteral$.html b/javadoc/boogie/TrueBLiteral$.html
diff --git a/javadoc/boogie/UnaryBExpr.html b/javadoc/boogie/UnaryBExpr.html
diff --git a/javadoc/cfg_visualiser.html b/javadoc/cfg_visualiser.html
diff --git a/javadoc/cfg_visualiser/DotArrow.html b/javadoc/cfg_visualiser/DotArrow.html
diff --git a/javadoc/cfg_visualiser/DotElement.html b/javadoc/cfg_visualiser/DotElement.html
diff --git a/javadoc/cfg_visualiser/DotGraph.html b/javadoc/cfg_visualiser/DotGraph.html
diff --git a/javadoc/cfg_visualiser/DotInlineArrow.html b/javadoc/cfg_visualiser/DotInlineArrow.html
diff --git a/javadoc/cfg_visualiser/DotInterArrow.html b/javadoc/cfg_visualiser/DotInterArrow.html
diff --git a/javadoc/cfg_visualiser/DotIntraArrow.html b/javadoc/cfg_visualiser/DotIntraArrow.html
diff --git a/javadoc/cfg_visualiser/DotNode.html b/javadoc/cfg_visualiser/DotNode.html
diff --git a/javadoc/cfg_visualiser/DotRegularArrow.html b/javadoc/cfg_visualiser/DotRegularArrow.html
diff --git a/javadoc/cfg_visualiser/IDGenerator$.html b/javadoc/cfg_visualiser/IDGenerator$.html
diff --git a/javadoc/cfg_visualiser/Output$.html b/javadoc/cfg_visualiser/Output$.html
diff --git a/javadoc/favicon.ico b/javadoc/favicon.ico
diff --git a/javadoc/fonts/FiraCode-Regular.ttf b/javadoc/fonts/FiraCode-Regular.ttf
diff --git a/javadoc/fonts/Inter-Bold.ttf b/javadoc/fonts/Inter-Bold.ttf
diff --git a/javadoc/fonts/Inter-Medium.ttf b/javadoc/fonts/Inter-Medium.ttf
diff --git a/javadoc/fonts/Inter-Regular.ttf b/javadoc/fonts/Inter-Regular.ttf
diff --git a/javadoc/fonts/Inter-SemiBold.ttf b/javadoc/fonts/Inter-SemiBold.ttf
diff --git a/javadoc/fonts/dotty-icons.ttf b/javadoc/fonts/dotty-icons.ttf
diff --git a/javadoc/fonts/dotty-icons.woff b/javadoc/fonts/dotty-icons.woff
diff --git a/javadoc/hljs/LICENSE b/javadoc/hljs/LICENSE
@@ -0,0 +1,29 @@
+BSD 3-Clause License
+
+Copyright (c) 2006, Ivan Sagalaev.
+All rights reserved.
+
+Redistribution and use in source and binary forms, with or without
+modification, are permitted provided that the following conditions are met:
+
+* Redistributions of source code must retain the above copyright notice, this
+  list of conditions and the following disclaimer.
+
+* Redistributions in binary form must reproduce the above copyright notice,
+  this list of conditions and the following disclaimer in the documentation
+  and/or other materials provided with the distribution.
+
+* Neither the name of the copyright holder nor the names of its
+  contributors may be used to endorse or promote products derived from
+  this software without specific prior written permission.
+
+THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS "AS IS"
+AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
+IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE
+DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT HOLDER OR CONTRIBUTORS BE LIABLE
+FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL
+DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR
+SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY,
+OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
+OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
diff --git a/javadoc/hljs/highlight.pack.js b/javadoc/hljs/highlight.pack.js
diff --git a/javadoc/images/banner-icons/error.svg b/javadoc/images/banner-icons/error.svg
diff --git a/javadoc/images/banner-icons/info.svg b/javadoc/images/banner-icons/info.svg
diff --git a/javadoc/images/banner-icons/neutral.svg b/javadoc/images/banner-icons/neutral.svg
diff --git a/javadoc/images/banner-icons/success.svg b/javadoc/images/banner-icons/success.svg
diff --git a/javadoc/images/banner-icons/warning.svg b/javadoc/images/banner-icons/warning.svg
diff --git a/javadoc/images/bulb/dark/default.svg b/javadoc/images/bulb/dark/default.svg
diff --git a/javadoc/images/bulb/light/default.svg b/javadoc/images/bulb/light/default.svg
diff --git a/javadoc/images/class-big.svg b/javadoc/images/class-big.svg
diff --git a/javadoc/images/class-dark-big.svg b/javadoc/images/class-dark-big.svg
diff --git a/javadoc/images/class-dark.svg b/javadoc/images/class-dark.svg
diff --git a/javadoc/images/class.svg b/javadoc/images/class.svg