├── .gitattributes ├── .gitignore ├── Docs └── devcon5-verisol.pptx ├── INSTALL.md ├── LICENSE.txt ├── README.md ├── SECURITY.md ├── Sources ├── BoogieAST │ ├── BoogieAST.cs │ ├── BoogieAST.csproj │ └── TestMain.cs ├── ExternalToolsManager │ ├── DotnetCliToolManager.cs │ ├── DownloadedToolManager.cs │ ├── ExternalToolsManager.cs │ ├── ExternalToolsManager.csproj │ ├── SolcManager.cs │ ├── ToolManager.cs │ ├── ToolSourceSettings.cs │ └── toolsourcesettings.json ├── SolToBoogie │ ├── BoogieTranslator.cs │ ├── ConstructorCollector.cs │ ├── ContractCollector.cs │ ├── FallbackGenerator.cs │ ├── FunctionEventCollector.cs │ ├── FunctionEventResolver.cs │ ├── GhostVarAndAxiomGenerator.cs │ ├── HarnessGenerator.cs │ ├── HoudiniHelper.cs │ ├── InheritanceCollector.cs │ ├── MapArrayCollector.cs │ ├── MapArrayHelper.cs │ ├── ModSetAnalysis.cs │ ├── ModifierCollector.cs │ ├── ParseUtils.cs │ ├── ProcedureTranslator.cs │ ├── ResolutionHelper.cs │ ├── RevertLogicGenerator.cs │ ├── SolToBoogie.csproj │ ├── SolidityDesugaring.cs │ ├── SourceInfoCollector.cs │ ├── StateVariableCollector.cs │ ├── StateVariableResolver.cs │ ├── TransUtils.cs │ ├── TranslatorContext.cs │ ├── TranslatorFlags.cs │ └── UsingCollector.cs ├── SolToBoogieTest │ ├── CorralConfiguration.cs │ ├── Program.cs │ ├── RegressionExecutor.cs │ └── SolToBoogieTest.csproj ├── SolidityAST │ ├── BasicASTVisitor.cs │ ├── CompilerOutput.cs │ ├── IASTGenericVisitor.cs │ ├── IASTVisitor.cs │ ├── NodeMapper.cs │ ├── RegressionExecutor.cs │ ├── SolidityAST.cs │ ├── SolidityAST.csproj │ ├── SolidityCompiler.cs │ ├── TestMain.cs │ └── Utils.cs ├── SolidityCFG │ ├── CFGBuilder.cs │ ├── CFGNodeFactory.cs │ ├── SolidityCFG.cs │ ├── SolidityCFG.csproj │ └── TestMain.cs ├── VeriSol.props ├── VeriSol.sln └── VeriSol │ ├── Program.cs │ ├── VeriSol.csproj │ └── VeriSolExecuter.cs ├── Test ├── config │ ├── A__AssetTransfer_Workbench.json │ ├── AddressCast.json │ ├── Arithmetics.json │ ├── ArrayAlias.json │ ├── ArrayAlloc.json │ ├── ArrayDynamicStorage.json │ ├── ArrayFixedSize.json │ ├── ArrayInitialization.json │ ├── ArrayLength.json │ ├── ArrayLengthParam.json │ ├── ArrayLowerDimCopy.json │ ├── ArrayLowerDimRef.json │ ├── ArrayNestedFixedSize.json │ ├── ArrayParamAlias.json │ ├── ArrayParamCopy.json │ ├── Assembly1.json │ ├── Assembly2.json │ ├── Assembly3.json │ ├── Assembly4.json │ ├── AssertFalse.json │ ├── AssertTrue.json │ ├── Branch.json │ ├── Bytes.json │ ├── BytesTypes.json │ ├── Const.json │ ├── Constructor.json │ ├── ConstructorChaining.json │ ├── ConstructorChaining2_fail.json │ ├── ConstructorChaining3_fail.json │ ├── ConstructorChaining4.json │ ├── ConstructorChainingImplicit.json │ ├── ConstructorChainingUnsoundSmall.json │ ├── ConstructorLinearized.json │ ├── ConstructorLinearizedWithArgs1.json │ ├── ConstructorLinearizedWithArgs2.json │ ├── ConstructorLinearizedWithArgs3.json │ ├── ConstructorLinearized_fail.json │ ├── ConstructorModifier.json │ ├── ConstructorModifier_fail.json │ ├── ConstructorSpecifier.json │ ├── ContractInvUsageExample.json │ ├── CreateContract.json │ ├── DAO-Sim-Buggy.json │ ├── DAO-Sim-Fixed.json │ ├── DAO-buggy-call.json │ ├── DAO-buggy-send.json │ ├── DAO-buggy-transfer.json │ ├── DAO-buggy-value.json │ ├── DAO-fixed-call.json │ ├── DAO-fixed-send.json │ ├── DAO-fixed-transfer.json │ ├── DAO-fixed-value.json │ ├── DAO-modular-buggy-call.json │ ├── DeleteScalar.json │ ├── DoWhileLoop.json │ ├── DynDispatch.json │ ├── ERC20-demo.json │ ├── ERC20-demoMod.json │ ├── ERC20-modifies.json │ ├── ERC20-simplified.json │ ├── ERC20.json │ ├── EmbeddedCalls.json │ ├── EmptyContract.json │ ├── EnumParam.json │ ├── EnumType.json │ ├── Error.json │ ├── Error2.json │ ├── Error3.json │ ├── Event.json │ ├── EventInBase.json │ ├── ExternalFunctionCall.json │ ├── FieldAccess.json │ ├── FuncCallInIfCondition.json │ ├── FuncsWithUnnamedParams.json │ ├── Getter.json │ ├── Getters.json │ ├── IncDec.json │ ├── InheritInitializer.json │ ├── InheritWithConstructorArgs.json │ ├── Inheritance.json │ ├── InheritanceMultiple.json │ ├── InheritanceMultipleWithLinearization.json │ ├── InheritanceWithContractArg.json │ ├── InitOutsideCtors.json │ ├── InputParameters.json │ ├── IntTypes.json │ ├── InternalFunctionCall.json │ ├── InternalFunctionCallStruct.json │ ├── InternalFunctionCall_fail.json │ ├── InternalFunctionInLibrary.json │ ├── InternalRecursiveFunctionCall.json │ ├── Keccak.json │ ├── Library.json │ ├── LibraryStruct.json │ ├── Logical.json │ ├── LoopBreak.json │ ├── LoopContinue.json │ ├── LoopDoWhile.json │ ├── LoopFor.json │ ├── LoopFor2.json │ ├── LoopInvUsageExample.json │ ├── LoopNestedFor.json │ ├── LoopNestedWhile.json │ ├── LoopWhile.json │ ├── Mapping.json │ ├── MappingInitialize.json │ ├── MappingLowerDimRef.json │ ├── MappingNested.json │ ├── MappingReference.json │ ├── MappingToStruct.json │ ├── MethodDecl.json │ ├── Modifier.json │ ├── ModifierLocal.json │ ├── ModifierPost.json │ ├── ModifierReturn.json │ ├── ModifierWithArgs.json │ ├── ModifierWithInvocations.json │ ├── NestedArray.json │ ├── NestedFunctionCall.json │ ├── NestedMappingAlias.json │ ├── NoConstructor.json │ ├── OutputParameters.json │ ├── Overflow-Literals1.json │ ├── Overflow-Literals1Mod.json │ ├── Overflow-Literals2.json │ ├── Overflow-Literals2Mod.json │ ├── Overflow-Literals3.json │ ├── Overflow-Literals3Mod.json │ ├── Overflow1.json │ ├── Overflow10.json │ ├── Overflow10Mod.json │ ├── Overflow11.json │ ├── Overflow1Mod.json │ ├── Overflow2.json │ ├── Overflow2Mod.json │ ├── Overflow3.json │ ├── Overflow3Mod.json │ ├── Overflow4.json │ ├── Overflow4Mod.json │ ├── Overflow5.json │ ├── Overflow5Mod.json │ ├── Overflow6.json │ ├── Overflow6Mod.json │ ├── Overflow7.json │ ├── Overflow7Mod.json │ ├── Overflow8.json │ ├── Overflow8Mod.json │ ├── Overflow9.json │ ├── Overflow9Mod.json │ ├── Ownable.json │ ├── Require.json │ ├── ReturnMult.json │ ├── ReturnNamedParam.json │ ├── Revert.json │ ├── StateVarCall.json │ ├── StateVarInit.json │ ├── StaticDispatching.json │ ├── StringMapping.json │ ├── StringToBytes.json │ ├── StructNested.json │ ├── StructNestedConstructor.json │ ├── StructOfDynamicArray.json │ ├── StructOfFixedSizeArray.json │ ├── StructOfMapping.json │ ├── StructType.json │ ├── This.json │ ├── Throw.json │ ├── TypeCast.json │ ├── UInt-1.json │ ├── UInt-1Mod.json │ ├── UInt-2.json │ ├── UInt-2Mod.json │ ├── UInt.json │ ├── UIntMod.json │ ├── Uint256-Overflow.json │ ├── Uint256-OverflowMod.json │ ├── Uint8-Overflow-DownCasts.json │ ├── Uint8-Overflow-DownCastsMod.json │ ├── Uint8-Overflow-Neg.json │ ├── Uint8-Overflow-NegMod.json │ ├── Uint8-Overflow-UpCasts.json │ ├── Uint8-Overflow-UpCastsMod.json │ ├── Uint8-Overflow-expr.json │ ├── Uint8-Overflow-exprMod.json │ ├── Uint8-Overflow.json │ ├── Uint8-OverflowMod.json │ ├── UintCast.json │ ├── UsingFor.json │ ├── UsingForComplex.json │ ├── UsingInBase.json │ ├── UsingInTwoLibraries.json │ ├── UsingInTwoLibrariesArrayInStruct.json │ ├── UsingInTwoLibrariesNoStruct.json │ ├── abiEncoded.json │ ├── abiLibrary.json │ ├── bigintinit.json │ ├── block.json │ ├── calldata.json │ ├── harness.json │ ├── transfer.json │ ├── tuples.json │ └── tx.json ├── records.txt ├── regressions │ ├── A__AssetTransfer_Workbench.sol │ ├── Arithmetics.sol │ ├── ArrayAlias.sol │ ├── ArrayAlloc.sol │ ├── ArrayDynamicStorage.sol │ ├── ArrayFixedSize.sol │ ├── ArrayInitialization.sol │ ├── ArrayLength.sol │ ├── ArrayLengthParam.sol │ ├── ArrayLowerDimCopy.sol │ ├── ArrayLowerDimRef.sol │ ├── ArrayNestedFixedSize.sol │ ├── ArrayParamAlias.sol │ ├── ArrayParamCopy.sol │ ├── ArrayParamCopy_fail.sol │ ├── Assembly1.sol │ ├── Assembly2.sol │ ├── Assembly3.sol │ ├── Assembly4.sol │ ├── AssertFalse.sol │ ├── AssertTrue.sol │ ├── AssetTransfer.sol │ ├── Branch.sol │ ├── Bytes.sol │ ├── BytesTypes.sol │ ├── Const.sol │ ├── Constructor.sol │ ├── ConstructorChaining.sol │ ├── ConstructorChaining2_fail.sol │ ├── ConstructorChaining3_fail.sol │ ├── ConstructorChaining4.sol │ ├── ConstructorChainingImplicit.sol │ ├── ConstructorChainingUnsound.sol │ ├── ConstructorChainingUnsoundSmall.sol │ ├── ConstructorChaining_fail.sol │ ├── ConstructorLinearized.sol │ ├── ConstructorLinearizedWithArgs-SolcError.sol │ ├── ConstructorLinearizedWithArgs1.sol │ ├── ConstructorLinearizedWithArgs2.sol │ ├── ConstructorLinearizedWithArgs3.sol │ ├── ConstructorLinearized_fail.sol │ ├── ConstructorModifier.sol │ ├── ConstructorModifier_fail.sol │ ├── ConstructorSpecifier.sol │ ├── ConstructorSpecifier_fail.sol │ ├── Constructor_fail.sol │ ├── ContractAsFunctionArg.sol │ ├── ContractAsFunctionArg_fail.sol │ ├── ContractInvUsageExample.sol │ ├── ContractInvUsageExample_fail.sol │ ├── CreateContract.sol │ ├── CreateContract_fail.sol │ ├── DAO-Sim-Buggy.sol │ ├── DAO-Sim-Fixed.sol │ ├── DAO-buggy-call.sol │ ├── DAO-buggy-send.sol │ ├── DAO-buggy-transfer.sol │ ├── DAO-buggy-value.sol │ ├── DAO-buggy.sol │ ├── DAO-demo.sol │ ├── DAO-fixed-call.sol │ ├── DAO-fixed-send.sol │ ├── DAO-fixed-transfer.sol │ ├── DAO-fixed-value.sol │ ├── DAO-modular-buggy-call.sol │ ├── DAO-modular-fixed-call-w-prints.sol │ ├── DAO-modular-fixed-call.sol │ ├── DeleteArray.sol │ ├── DeleteScalar.sol │ ├── DoWhileLoop.sol │ ├── DynDispatch.sol │ ├── ERC20-demo.sol │ ├── ERC20-demoMod.sol │ ├── ERC20-modifies.sol │ ├── ERC20-nosafemath.sol │ ├── ERC20-simp-fail.sol │ ├── ERC20-simp-overflow.sol │ ├── ERC20-simplified-fail.sol │ ├── ERC20-simplified.sol │ ├── ERC20.sol │ ├── EmbeddedCalls.sol │ ├── EmbeddedCalls_fail.sol │ ├── EmptyContract.sol │ ├── EmptyContract_fail.sol │ ├── EnsuresUsageExample.sol │ ├── EnumParam.sol │ ├── EnumType.sol │ ├── Error.sol │ ├── Error2.sol │ ├── Error3.sol │ ├── Event.sol │ ├── EventInBase.sol │ ├── ExplicitGetters.sol │ ├── ExternalFunctionCall.sol │ ├── ExternalFunctionCall_fail.sol │ ├── FieldAccess.sol │ ├── FuncCallInIfCondition.sol │ ├── FuncCallInIfCondition_fail.sol │ ├── FuncsWithUnnamedParams.sol │ ├── FunctionArgAssigned.sol │ ├── Getter.sol │ ├── Getters.sol │ ├── IERC20.sol │ ├── IncDec.sol │ ├── InheritInitializer.sol │ ├── InheritInitializer_fail.sol │ ├── InheritWithConstructorArgs.sol │ ├── InheritWithConstructorArgs_fail.sol │ ├── Inheritance.sol │ ├── InheritanceMultiple.sol │ ├── InheritanceMultipleWithLinearization.sol │ ├── InheritanceMultiple_fail.sol │ ├── InheritanceWithContractArg.sol │ ├── InheritanceWithContractArg_fail.sol │ ├── Inheritance_fail.sol │ ├── InitOutsideCtors.sol │ ├── InitOutsideCtors_fail.sol │ ├── InputParameters.sol │ ├── IntTypes.sol │ ├── InternalFunctionCall.sol │ ├── InternalFunctionCallStruct.sol │ ├── InternalFunctionCall_fail.sol │ ├── InternalFunctionInLibrary.sol │ ├── InternalRecursiveFunctionCall.sol │ ├── Keccak.sol │ ├── Libraries │ │ └── VeriSolContracts.sol │ ├── Library.sol │ ├── LibraryStruct.sol │ ├── Logical.sol │ ├── LoopBreak.sol │ ├── LoopContinue.sol │ ├── LoopDoWhile.sol │ ├── LoopFor.sol │ ├── LoopFor2.sol │ ├── LoopInvUsageExample.sol │ ├── LoopNestedFor.sol │ ├── LoopNestedWhile.sol │ ├── LoopWhile.sol │ ├── LoopWithInv.sol │ ├── Mapping.sol │ ├── MappingInitialize.sol │ ├── MappingLowerDimRef.sol │ ├── MappingNested.sol │ ├── MappingReference.sol │ ├── MappingToStruct.sol │ ├── MethodDecl.sol │ ├── MethodInConditional.sol │ ├── MethodInConditional_fail.sol │ ├── Modifier.sol │ ├── ModifierLocal.sol │ ├── ModifierPost.sol │ ├── ModifierReturn.sol │ ├── ModifierWithArgs.sol │ ├── ModifierWithInvocations.sol │ ├── Modifier_fail.sol │ ├── NamesWithUnderscores_fail.sol │ ├── NestedArray.sol │ ├── NestedFunctionCall.sol │ ├── NestedMappingAlias.sol │ ├── NoConstructor.sol │ ├── OutputParameters.sol │ ├── Overflow-Literals1.sol │ ├── Overflow-Literals1Mod.sol │ ├── Overflow-Literals2.sol │ ├── Overflow-Literals2Mod.sol │ ├── Overflow-Literals3.sol │ ├── Overflow-Literals3Mod.sol │ ├── Overflow1.sol │ ├── Overflow10.sol │ ├── Overflow10Mod.sol │ ├── Overflow11.sol │ ├── Overflow12.sol │ ├── Overflow13.sol │ ├── Overflow1Mod.sol │ ├── Overflow2.sol │ ├── Overflow2Mod.sol │ ├── Overflow3.sol │ ├── Overflow3Mod.sol │ ├── Overflow4.sol │ ├── Overflow4Mod.sol │ ├── Overflow5.sol │ ├── Overflow5Mod.sol │ ├── Overflow6.sol │ ├── Overflow6Mod.sol │ ├── Overflow7.sol │ ├── Overflow7Mod.sol │ ├── Overflow8.sol │ ├── Overflow8Mod.sol │ ├── Overflow9.sol │ ├── Overflow9Mod.sol │ ├── Require.sol │ ├── ReturnMult.sol │ ├── ReturnNamedParam.sol │ ├── Revert.sol │ ├── SafeMath.sol │ ├── StateVarCall.sol │ ├── StateVarInit.sol │ ├── StaticDispatching.sol │ ├── StringMapping.sol │ ├── StringMappingNoConstructor.sol │ ├── StringToBytes.sol │ ├── StringToBytes2.sol │ ├── StructArray.sol │ ├── StructMemory.sol │ ├── StructNested.sol │ ├── StructNestedConstructor.sol │ ├── StructOfDynamicArray.sol │ ├── StructOfFixedSizeArray.sol │ ├── StructOfMapping.sol │ ├── StructTutorial.sol │ ├── StructType.sol │ ├── StructTypeNoTemporaries.sol │ ├── This.sol │ ├── Throw.sol │ ├── TypeCast.sol │ ├── UInt-1.sol │ ├── UInt-1Mod.sol │ ├── UInt-2.sol │ ├── UInt-2Mod.sol │ ├── UInt.sol │ ├── UIntMod.sol │ ├── Uint256-Overflow-Mult.sol │ ├── Uint256-Overflow.sol │ ├── Uint256-OverflowMod.sol │ ├── Uint8-Overflow-DownCasts.sol │ ├── Uint8-Overflow-DownCastsMod.sol │ ├── Uint8-Overflow-Neg.sol │ ├── Uint8-Overflow-NegMod.sol │ ├── Uint8-Overflow-UpCasts.sol │ ├── Uint8-Overflow-UpCastsMod.sol │ ├── Uint8-Overflow-expr.sol │ ├── Uint8-Overflow-exprMod.sol │ ├── Uint8-Overflow.sol │ ├── Uint8-OverflowMod.sol │ ├── UintCast.sol │ ├── UsingFor.sol │ ├── UsingForComplex.sol │ ├── UsingInBase.sol │ ├── UsingInTwoLibraries.sol │ ├── UsingInTwoLibrariesArrayInStruct.sol │ ├── UsingInTwoLibrariesNoStruct.sol │ ├── abiEncoded.sol │ ├── abiLibrary.sol │ ├── bigintinit.sol │ ├── calldata.sol │ ├── harness.sol │ ├── proof_examples.txt │ ├── transfer.sol │ ├── tuples.sol │ └── tx.sol ├── scripts │ └── ReplacePragma.pl └── workbench │ ├── AssetTransfer │ ├── AssetTransfer.json │ ├── AssetTransfer.sol │ ├── FixedVersion │ │ ├── A__AssetTransfer_Workbench.sol │ │ └── AssetTransfer.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__AssetTransfer_Workbench.sol │ │ └── AssetTransfer.sol │ ├── BasicProvenance │ ├── BasicProvenance.json │ ├── BasicProvenance.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__BasicProvenance_Workbench.sol │ │ └── BasicProvenance.sol │ ├── BazaarItemListing │ ├── BazaarItemListing.json │ ├── BazaarItemListing.sol │ ├── ItemListing.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__BazaarItemListing_Workbench.sol │ │ ├── BazaarItemListing.sol │ │ └── ItemListing.sol │ ├── DefectiveComponentCounter │ ├── DefectiveComponentCounter.json │ ├── DefectiveComponentCounter.sol │ └── WrapperFiles │ │ ├── A__DefectiveComponentCounter_Workbench.sol │ │ └── DefectiveComponentCounter.sol │ ├── DigitalLocker │ ├── DigitalLocker.json │ ├── DigitalLocker.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__DigitalLocker_Workbench.sol │ │ └── DigitalLocker.sol │ ├── FrequentFlyerRewardsCalculator │ ├── FrequentFlyerRewardsCalculator.json │ ├── FrequentFlyerRewardsCalculator.sol │ └── WrapperFiles │ │ ├── A__FrequentFlyerRewardsCalculator_Workbench.sol │ │ └── FrequentFlyerRewardsCalculator.sol │ ├── HelloBlockchain │ ├── HelloBlockchain.json │ ├── HelloBlockchain.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__HelloBlockchain_Workbench.sol │ │ └── HelloBlockchain.sol │ ├── PingPongGame │ ├── PingPongGame.json │ ├── PingPongGame.sol │ └── WrapperFiles │ │ ├── A__PingPongGame_Workbench.sol │ │ ├── A__PingPongGame_Workbench_exp.bpl │ │ ├── PingPongGame.sol │ │ └── README │ ├── README.md │ ├── RefrigeratedTransportation │ ├── RefrigeratedTransportation.json │ ├── RefrigeratedTransportation.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__RefrigeratedTransportation_Workbench.sol │ │ └── RefrigeratedTransportation.sol │ ├── RoomThermostat │ ├── RoomThermostat.json │ ├── RoomThermostat.sol │ └── WrapperFiles │ │ ├── A__RoomThermostat_Workbench.sol │ │ └── RoomThermostat.sol │ ├── SimpleMarketplace │ ├── SimpleMarketplace.json │ ├── SimpleMarketplace.sol │ ├── WorkbenchBase.sol │ └── WrapperFiles │ │ ├── A__SimpleMarketplace_Workbench.sol │ │ └── SimpleMarketplace.sol │ └── runall.cmd └── azure-pipelines.yml /.gitattributes: -------------------------------------------------------------------------------- 1 | *.sol linguist-language=Solidity 2 | -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/.gitignore -------------------------------------------------------------------------------- /Docs/devcon5-verisol.pptx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Docs/devcon5-verisol.pptx -------------------------------------------------------------------------------- /INSTALL.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/INSTALL.md -------------------------------------------------------------------------------- /LICENSE.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/LICENSE.txt -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/SECURITY.md -------------------------------------------------------------------------------- /Sources/BoogieAST/BoogieAST.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/BoogieAST/BoogieAST.cs -------------------------------------------------------------------------------- /Sources/BoogieAST/BoogieAST.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/BoogieAST/BoogieAST.csproj -------------------------------------------------------------------------------- /Sources/BoogieAST/TestMain.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/BoogieAST/TestMain.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/DotnetCliToolManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/DotnetCliToolManager.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/DownloadedToolManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/DownloadedToolManager.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/ExternalToolsManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/ExternalToolsManager.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/ExternalToolsManager.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/ExternalToolsManager.csproj -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/SolcManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/SolcManager.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/ToolManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/ToolManager.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/ToolSourceSettings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/ToolSourceSettings.cs -------------------------------------------------------------------------------- /Sources/ExternalToolsManager/toolsourcesettings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/ExternalToolsManager/toolsourcesettings.json -------------------------------------------------------------------------------- /Sources/SolToBoogie/BoogieTranslator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/BoogieTranslator.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ConstructorCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ConstructorCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ContractCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ContractCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/FallbackGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/FallbackGenerator.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/FunctionEventCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/FunctionEventCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/FunctionEventResolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/FunctionEventResolver.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/GhostVarAndAxiomGenerator.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/HarnessGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/HarnessGenerator.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/HoudiniHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/HoudiniHelper.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/InheritanceCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/InheritanceCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/MapArrayCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/MapArrayCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/MapArrayHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/MapArrayHelper.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ModSetAnalysis.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ModSetAnalysis.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ModifierCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ModifierCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ParseUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ParseUtils.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ProcedureTranslator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ProcedureTranslator.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/ResolutionHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/ResolutionHelper.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/RevertLogicGenerator.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/RevertLogicGenerator.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/SolToBoogie.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/SolToBoogie.csproj -------------------------------------------------------------------------------- /Sources/SolToBoogie/SolidityDesugaring.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/SolidityDesugaring.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/SourceInfoCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/SourceInfoCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/StateVariableCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/StateVariableCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/StateVariableResolver.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/StateVariableResolver.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/TransUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/TransUtils.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/TranslatorContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/TranslatorContext.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/TranslatorFlags.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/TranslatorFlags.cs -------------------------------------------------------------------------------- /Sources/SolToBoogie/UsingCollector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogie/UsingCollector.cs -------------------------------------------------------------------------------- /Sources/SolToBoogieTest/CorralConfiguration.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogieTest/CorralConfiguration.cs -------------------------------------------------------------------------------- /Sources/SolToBoogieTest/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogieTest/Program.cs -------------------------------------------------------------------------------- /Sources/SolToBoogieTest/RegressionExecutor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogieTest/RegressionExecutor.cs -------------------------------------------------------------------------------- /Sources/SolToBoogieTest/SolToBoogieTest.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolToBoogieTest/SolToBoogieTest.csproj -------------------------------------------------------------------------------- /Sources/SolidityAST/BasicASTVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/BasicASTVisitor.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/CompilerOutput.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/CompilerOutput.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/IASTGenericVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/IASTGenericVisitor.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/IASTVisitor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/IASTVisitor.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/NodeMapper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/NodeMapper.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/RegressionExecutor.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/RegressionExecutor.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/SolidityAST.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/SolidityAST.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/SolidityAST.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/SolidityAST.csproj -------------------------------------------------------------------------------- /Sources/SolidityAST/SolidityCompiler.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/SolidityCompiler.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/TestMain.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/TestMain.cs -------------------------------------------------------------------------------- /Sources/SolidityAST/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityAST/Utils.cs -------------------------------------------------------------------------------- /Sources/SolidityCFG/CFGBuilder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityCFG/CFGBuilder.cs -------------------------------------------------------------------------------- /Sources/SolidityCFG/CFGNodeFactory.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityCFG/CFGNodeFactory.cs -------------------------------------------------------------------------------- /Sources/SolidityCFG/SolidityCFG.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityCFG/SolidityCFG.cs -------------------------------------------------------------------------------- /Sources/SolidityCFG/SolidityCFG.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityCFG/SolidityCFG.csproj -------------------------------------------------------------------------------- /Sources/SolidityCFG/TestMain.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/SolidityCFG/TestMain.cs -------------------------------------------------------------------------------- /Sources/VeriSol.props: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/VeriSol.props -------------------------------------------------------------------------------- /Sources/VeriSol.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/VeriSol.sln -------------------------------------------------------------------------------- /Sources/VeriSol/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/VeriSol/Program.cs -------------------------------------------------------------------------------- /Sources/VeriSol/VeriSol.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/VeriSol/VeriSol.csproj -------------------------------------------------------------------------------- /Sources/VeriSol/VeriSolExecuter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Sources/VeriSol/VeriSolExecuter.cs -------------------------------------------------------------------------------- /Test/config/A__AssetTransfer_Workbench.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/A__AssetTransfer_Workbench.json -------------------------------------------------------------------------------- /Test/config/AddressCast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/AddressCast.json -------------------------------------------------------------------------------- /Test/config/Arithmetics.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Arithmetics.json -------------------------------------------------------------------------------- /Test/config/ArrayAlias.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayAlias.json -------------------------------------------------------------------------------- /Test/config/ArrayAlloc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayAlloc.json -------------------------------------------------------------------------------- /Test/config/ArrayDynamicStorage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayDynamicStorage.json -------------------------------------------------------------------------------- /Test/config/ArrayFixedSize.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayFixedSize.json -------------------------------------------------------------------------------- /Test/config/ArrayInitialization.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayInitialization.json -------------------------------------------------------------------------------- /Test/config/ArrayLength.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayLength.json -------------------------------------------------------------------------------- /Test/config/ArrayLengthParam.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayLengthParam.json -------------------------------------------------------------------------------- /Test/config/ArrayLowerDimCopy.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayLowerDimCopy.json -------------------------------------------------------------------------------- /Test/config/ArrayLowerDimRef.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayLowerDimRef.json -------------------------------------------------------------------------------- /Test/config/ArrayNestedFixedSize.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayNestedFixedSize.json -------------------------------------------------------------------------------- /Test/config/ArrayParamAlias.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayParamAlias.json -------------------------------------------------------------------------------- /Test/config/ArrayParamCopy.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ArrayParamCopy.json -------------------------------------------------------------------------------- /Test/config/Assembly1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Assembly1.json -------------------------------------------------------------------------------- /Test/config/Assembly2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Assembly2.json -------------------------------------------------------------------------------- /Test/config/Assembly3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Assembly3.json -------------------------------------------------------------------------------- /Test/config/Assembly4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Assembly4.json -------------------------------------------------------------------------------- /Test/config/AssertFalse.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/AssertFalse.json -------------------------------------------------------------------------------- /Test/config/AssertTrue.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/AssertTrue.json -------------------------------------------------------------------------------- /Test/config/Branch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Branch.json -------------------------------------------------------------------------------- /Test/config/Bytes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Bytes.json -------------------------------------------------------------------------------- /Test/config/BytesTypes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/BytesTypes.json -------------------------------------------------------------------------------- /Test/config/Const.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Const.json -------------------------------------------------------------------------------- /Test/config/Constructor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Constructor.json -------------------------------------------------------------------------------- /Test/config/ConstructorChaining.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorChaining.json -------------------------------------------------------------------------------- /Test/config/ConstructorChaining2_fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorChaining2_fail.json -------------------------------------------------------------------------------- /Test/config/ConstructorChaining3_fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorChaining3_fail.json -------------------------------------------------------------------------------- /Test/config/ConstructorChaining4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorChaining4.json -------------------------------------------------------------------------------- /Test/config/ConstructorChainingImplicit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorChainingImplicit.json -------------------------------------------------------------------------------- /Test/config/ConstructorChainingUnsoundSmall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorChainingUnsoundSmall.json -------------------------------------------------------------------------------- /Test/config/ConstructorLinearized.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorLinearized.json -------------------------------------------------------------------------------- /Test/config/ConstructorLinearizedWithArgs1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorLinearizedWithArgs1.json -------------------------------------------------------------------------------- /Test/config/ConstructorLinearizedWithArgs2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorLinearizedWithArgs2.json -------------------------------------------------------------------------------- /Test/config/ConstructorLinearizedWithArgs3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorLinearizedWithArgs3.json -------------------------------------------------------------------------------- /Test/config/ConstructorLinearized_fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorLinearized_fail.json -------------------------------------------------------------------------------- /Test/config/ConstructorModifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorModifier.json -------------------------------------------------------------------------------- /Test/config/ConstructorModifier_fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorModifier_fail.json -------------------------------------------------------------------------------- /Test/config/ConstructorSpecifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ConstructorSpecifier.json -------------------------------------------------------------------------------- /Test/config/ContractInvUsageExample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ContractInvUsageExample.json -------------------------------------------------------------------------------- /Test/config/CreateContract.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/CreateContract.json -------------------------------------------------------------------------------- /Test/config/DAO-Sim-Buggy.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-Sim-Buggy.json -------------------------------------------------------------------------------- /Test/config/DAO-Sim-Fixed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-Sim-Fixed.json -------------------------------------------------------------------------------- /Test/config/DAO-buggy-call.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-buggy-call.json -------------------------------------------------------------------------------- /Test/config/DAO-buggy-send.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-buggy-send.json -------------------------------------------------------------------------------- /Test/config/DAO-buggy-transfer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-buggy-transfer.json -------------------------------------------------------------------------------- /Test/config/DAO-buggy-value.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-buggy-value.json -------------------------------------------------------------------------------- /Test/config/DAO-fixed-call.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-fixed-call.json -------------------------------------------------------------------------------- /Test/config/DAO-fixed-send.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-fixed-send.json -------------------------------------------------------------------------------- /Test/config/DAO-fixed-transfer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-fixed-transfer.json -------------------------------------------------------------------------------- /Test/config/DAO-fixed-value.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-fixed-value.json -------------------------------------------------------------------------------- /Test/config/DAO-modular-buggy-call.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DAO-modular-buggy-call.json -------------------------------------------------------------------------------- /Test/config/DeleteScalar.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DeleteScalar.json -------------------------------------------------------------------------------- /Test/config/DoWhileLoop.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DoWhileLoop.json -------------------------------------------------------------------------------- /Test/config/DynDispatch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/DynDispatch.json -------------------------------------------------------------------------------- /Test/config/ERC20-demo.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ERC20-demo.json -------------------------------------------------------------------------------- /Test/config/ERC20-demoMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ERC20-demoMod.json -------------------------------------------------------------------------------- /Test/config/ERC20-modifies.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ERC20-modifies.json -------------------------------------------------------------------------------- /Test/config/ERC20-simplified.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ERC20-simplified.json -------------------------------------------------------------------------------- /Test/config/ERC20.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ERC20.json -------------------------------------------------------------------------------- /Test/config/EmbeddedCalls.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/EmbeddedCalls.json -------------------------------------------------------------------------------- /Test/config/EmptyContract.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/EmptyContract.json -------------------------------------------------------------------------------- /Test/config/EnumParam.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/EnumParam.json -------------------------------------------------------------------------------- /Test/config/EnumType.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/EnumType.json -------------------------------------------------------------------------------- /Test/config/Error.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Error.json -------------------------------------------------------------------------------- /Test/config/Error2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Error2.json -------------------------------------------------------------------------------- /Test/config/Error3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Error3.json -------------------------------------------------------------------------------- /Test/config/Event.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Event.json -------------------------------------------------------------------------------- /Test/config/EventInBase.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/EventInBase.json -------------------------------------------------------------------------------- /Test/config/ExternalFunctionCall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ExternalFunctionCall.json -------------------------------------------------------------------------------- /Test/config/FieldAccess.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/FieldAccess.json -------------------------------------------------------------------------------- /Test/config/FuncCallInIfCondition.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/FuncCallInIfCondition.json -------------------------------------------------------------------------------- /Test/config/FuncsWithUnnamedParams.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/FuncsWithUnnamedParams.json -------------------------------------------------------------------------------- /Test/config/Getter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Getter.json -------------------------------------------------------------------------------- /Test/config/Getters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Getters.json -------------------------------------------------------------------------------- /Test/config/IncDec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/IncDec.json -------------------------------------------------------------------------------- /Test/config/InheritInitializer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InheritInitializer.json -------------------------------------------------------------------------------- /Test/config/InheritWithConstructorArgs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InheritWithConstructorArgs.json -------------------------------------------------------------------------------- /Test/config/Inheritance.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Inheritance.json -------------------------------------------------------------------------------- /Test/config/InheritanceMultiple.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InheritanceMultiple.json -------------------------------------------------------------------------------- /Test/config/InheritanceMultipleWithLinearization.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InheritanceMultipleWithLinearization.json -------------------------------------------------------------------------------- /Test/config/InheritanceWithContractArg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InheritanceWithContractArg.json -------------------------------------------------------------------------------- /Test/config/InitOutsideCtors.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InitOutsideCtors.json -------------------------------------------------------------------------------- /Test/config/InputParameters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InputParameters.json -------------------------------------------------------------------------------- /Test/config/IntTypes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/IntTypes.json -------------------------------------------------------------------------------- /Test/config/InternalFunctionCall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InternalFunctionCall.json -------------------------------------------------------------------------------- /Test/config/InternalFunctionCallStruct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InternalFunctionCallStruct.json -------------------------------------------------------------------------------- /Test/config/InternalFunctionCall_fail.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InternalFunctionCall_fail.json -------------------------------------------------------------------------------- /Test/config/InternalFunctionInLibrary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InternalFunctionInLibrary.json -------------------------------------------------------------------------------- /Test/config/InternalRecursiveFunctionCall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/InternalRecursiveFunctionCall.json -------------------------------------------------------------------------------- /Test/config/Keccak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Keccak.json -------------------------------------------------------------------------------- /Test/config/Library.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Library.json -------------------------------------------------------------------------------- /Test/config/LibraryStruct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LibraryStruct.json -------------------------------------------------------------------------------- /Test/config/Logical.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Logical.json -------------------------------------------------------------------------------- /Test/config/LoopBreak.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopBreak.json -------------------------------------------------------------------------------- /Test/config/LoopContinue.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopContinue.json -------------------------------------------------------------------------------- /Test/config/LoopDoWhile.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopDoWhile.json -------------------------------------------------------------------------------- /Test/config/LoopFor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopFor.json -------------------------------------------------------------------------------- /Test/config/LoopFor2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopFor2.json -------------------------------------------------------------------------------- /Test/config/LoopInvUsageExample.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopInvUsageExample.json -------------------------------------------------------------------------------- /Test/config/LoopNestedFor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopNestedFor.json -------------------------------------------------------------------------------- /Test/config/LoopNestedWhile.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopNestedWhile.json -------------------------------------------------------------------------------- /Test/config/LoopWhile.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/LoopWhile.json -------------------------------------------------------------------------------- /Test/config/Mapping.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Mapping.json -------------------------------------------------------------------------------- /Test/config/MappingInitialize.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/MappingInitialize.json -------------------------------------------------------------------------------- /Test/config/MappingLowerDimRef.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/MappingLowerDimRef.json -------------------------------------------------------------------------------- /Test/config/MappingNested.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/MappingNested.json -------------------------------------------------------------------------------- /Test/config/MappingReference.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/MappingReference.json -------------------------------------------------------------------------------- /Test/config/MappingToStruct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/MappingToStruct.json -------------------------------------------------------------------------------- /Test/config/MethodDecl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/MethodDecl.json -------------------------------------------------------------------------------- /Test/config/Modifier.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Modifier.json -------------------------------------------------------------------------------- /Test/config/ModifierLocal.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ModifierLocal.json -------------------------------------------------------------------------------- /Test/config/ModifierPost.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ModifierPost.json -------------------------------------------------------------------------------- /Test/config/ModifierReturn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ModifierReturn.json -------------------------------------------------------------------------------- /Test/config/ModifierWithArgs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ModifierWithArgs.json -------------------------------------------------------------------------------- /Test/config/ModifierWithInvocations.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ModifierWithInvocations.json -------------------------------------------------------------------------------- /Test/config/NestedArray.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/NestedArray.json -------------------------------------------------------------------------------- /Test/config/NestedFunctionCall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/NestedFunctionCall.json -------------------------------------------------------------------------------- /Test/config/NestedMappingAlias.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/NestedMappingAlias.json -------------------------------------------------------------------------------- /Test/config/NoConstructor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/NoConstructor.json -------------------------------------------------------------------------------- /Test/config/OutputParameters.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/OutputParameters.json -------------------------------------------------------------------------------- /Test/config/Overflow-Literals1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow-Literals1.json -------------------------------------------------------------------------------- /Test/config/Overflow-Literals1Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow-Literals1Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow-Literals2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow-Literals2.json -------------------------------------------------------------------------------- /Test/config/Overflow-Literals2Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow-Literals2Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow-Literals3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow-Literals3.json -------------------------------------------------------------------------------- /Test/config/Overflow-Literals3Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow-Literals3Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow1.json -------------------------------------------------------------------------------- /Test/config/Overflow10.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow10.json -------------------------------------------------------------------------------- /Test/config/Overflow10Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow10Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow11.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow11.json -------------------------------------------------------------------------------- /Test/config/Overflow1Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow1Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow2.json -------------------------------------------------------------------------------- /Test/config/Overflow2Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow2Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow3.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow3.json -------------------------------------------------------------------------------- /Test/config/Overflow3Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow3Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow4.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow4.json -------------------------------------------------------------------------------- /Test/config/Overflow4Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow4Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow5.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow5.json -------------------------------------------------------------------------------- /Test/config/Overflow5Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow5Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow6.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow6.json -------------------------------------------------------------------------------- /Test/config/Overflow6Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow6Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow7.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow7.json -------------------------------------------------------------------------------- /Test/config/Overflow7Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow7Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow8.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow8.json -------------------------------------------------------------------------------- /Test/config/Overflow8Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow8Mod.json -------------------------------------------------------------------------------- /Test/config/Overflow9.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow9.json -------------------------------------------------------------------------------- /Test/config/Overflow9Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Overflow9Mod.json -------------------------------------------------------------------------------- /Test/config/Ownable.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Ownable.json -------------------------------------------------------------------------------- /Test/config/Require.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Require.json -------------------------------------------------------------------------------- /Test/config/ReturnMult.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ReturnMult.json -------------------------------------------------------------------------------- /Test/config/ReturnNamedParam.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/ReturnNamedParam.json -------------------------------------------------------------------------------- /Test/config/Revert.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Revert.json -------------------------------------------------------------------------------- /Test/config/StateVarCall.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StateVarCall.json -------------------------------------------------------------------------------- /Test/config/StateVarInit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StateVarInit.json -------------------------------------------------------------------------------- /Test/config/StaticDispatching.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StaticDispatching.json -------------------------------------------------------------------------------- /Test/config/StringMapping.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StringMapping.json -------------------------------------------------------------------------------- /Test/config/StringToBytes.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StringToBytes.json -------------------------------------------------------------------------------- /Test/config/StructNested.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StructNested.json -------------------------------------------------------------------------------- /Test/config/StructNestedConstructor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StructNestedConstructor.json -------------------------------------------------------------------------------- /Test/config/StructOfDynamicArray.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StructOfDynamicArray.json -------------------------------------------------------------------------------- /Test/config/StructOfFixedSizeArray.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StructOfFixedSizeArray.json -------------------------------------------------------------------------------- /Test/config/StructOfMapping.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StructOfMapping.json -------------------------------------------------------------------------------- /Test/config/StructType.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/StructType.json -------------------------------------------------------------------------------- /Test/config/This.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/This.json -------------------------------------------------------------------------------- /Test/config/Throw.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Throw.json -------------------------------------------------------------------------------- /Test/config/TypeCast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/TypeCast.json -------------------------------------------------------------------------------- /Test/config/UInt-1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UInt-1.json -------------------------------------------------------------------------------- /Test/config/UInt-1Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UInt-1Mod.json -------------------------------------------------------------------------------- /Test/config/UInt-2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UInt-2.json -------------------------------------------------------------------------------- /Test/config/UInt-2Mod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UInt-2Mod.json -------------------------------------------------------------------------------- /Test/config/UInt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UInt.json -------------------------------------------------------------------------------- /Test/config/UIntMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UIntMod.json -------------------------------------------------------------------------------- /Test/config/Uint256-Overflow.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint256-Overflow.json -------------------------------------------------------------------------------- /Test/config/Uint256-OverflowMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint256-OverflowMod.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-DownCasts.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-DownCasts.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-DownCastsMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-DownCastsMod.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-Neg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-Neg.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-NegMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-NegMod.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-UpCasts.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-UpCasts.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-UpCastsMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-UpCastsMod.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-expr.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-expr.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow-exprMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow-exprMod.json -------------------------------------------------------------------------------- /Test/config/Uint8-Overflow.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-Overflow.json -------------------------------------------------------------------------------- /Test/config/Uint8-OverflowMod.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/Uint8-OverflowMod.json -------------------------------------------------------------------------------- /Test/config/UintCast.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UintCast.json -------------------------------------------------------------------------------- /Test/config/UsingFor.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UsingFor.json -------------------------------------------------------------------------------- /Test/config/UsingForComplex.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UsingForComplex.json -------------------------------------------------------------------------------- /Test/config/UsingInBase.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UsingInBase.json -------------------------------------------------------------------------------- /Test/config/UsingInTwoLibraries.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UsingInTwoLibraries.json -------------------------------------------------------------------------------- /Test/config/UsingInTwoLibrariesArrayInStruct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UsingInTwoLibrariesArrayInStruct.json -------------------------------------------------------------------------------- /Test/config/UsingInTwoLibrariesNoStruct.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/UsingInTwoLibrariesNoStruct.json -------------------------------------------------------------------------------- /Test/config/abiEncoded.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/abiEncoded.json -------------------------------------------------------------------------------- /Test/config/abiLibrary.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/abiLibrary.json -------------------------------------------------------------------------------- /Test/config/bigintinit.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/bigintinit.json -------------------------------------------------------------------------------- /Test/config/block.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/block.json -------------------------------------------------------------------------------- /Test/config/calldata.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/calldata.json -------------------------------------------------------------------------------- /Test/config/harness.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/harness.json -------------------------------------------------------------------------------- /Test/config/transfer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/transfer.json -------------------------------------------------------------------------------- /Test/config/tuples.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/tuples.json -------------------------------------------------------------------------------- /Test/config/tx.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/config/tx.json -------------------------------------------------------------------------------- /Test/records.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/records.txt -------------------------------------------------------------------------------- /Test/regressions/A__AssetTransfer_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/A__AssetTransfer_Workbench.sol -------------------------------------------------------------------------------- /Test/regressions/Arithmetics.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Arithmetics.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayAlias.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayAlias.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayAlloc.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayAlloc.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayDynamicStorage.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayDynamicStorage.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayFixedSize.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayFixedSize.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayInitialization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayInitialization.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayLength.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayLength.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayLengthParam.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayLengthParam.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayLowerDimCopy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayLowerDimCopy.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayLowerDimRef.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayLowerDimRef.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayNestedFixedSize.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayNestedFixedSize.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayParamAlias.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayParamAlias.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayParamCopy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayParamCopy.sol -------------------------------------------------------------------------------- /Test/regressions/ArrayParamCopy_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ArrayParamCopy_fail.sol -------------------------------------------------------------------------------- /Test/regressions/Assembly1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Assembly1.sol -------------------------------------------------------------------------------- /Test/regressions/Assembly2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Assembly2.sol -------------------------------------------------------------------------------- /Test/regressions/Assembly3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Assembly3.sol -------------------------------------------------------------------------------- /Test/regressions/Assembly4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Assembly4.sol -------------------------------------------------------------------------------- /Test/regressions/AssertFalse.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/AssertFalse.sol -------------------------------------------------------------------------------- /Test/regressions/AssertTrue.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/AssertTrue.sol -------------------------------------------------------------------------------- /Test/regressions/AssetTransfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/AssetTransfer.sol -------------------------------------------------------------------------------- /Test/regressions/Branch.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Branch.sol -------------------------------------------------------------------------------- /Test/regressions/Bytes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Bytes.sol -------------------------------------------------------------------------------- /Test/regressions/BytesTypes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/BytesTypes.sol -------------------------------------------------------------------------------- /Test/regressions/Const.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Const.sol -------------------------------------------------------------------------------- /Test/regressions/Constructor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Constructor.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChaining.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChaining.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChaining2_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChaining2_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChaining3_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChaining3_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChaining4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChaining4.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChainingImplicit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChainingImplicit.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChainingUnsound.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChainingUnsound.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChainingUnsoundSmall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChainingUnsoundSmall.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorChaining_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorChaining_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorLinearized.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorLinearized.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorLinearizedWithArgs1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorLinearizedWithArgs1.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorLinearizedWithArgs2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorLinearizedWithArgs2.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorLinearizedWithArgs3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorLinearizedWithArgs3.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorLinearized_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorLinearized_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorModifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorModifier.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorModifier_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorModifier_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorSpecifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorSpecifier.sol -------------------------------------------------------------------------------- /Test/regressions/ConstructorSpecifier_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ConstructorSpecifier_fail.sol -------------------------------------------------------------------------------- /Test/regressions/Constructor_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Constructor_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ContractAsFunctionArg.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ContractAsFunctionArg.sol -------------------------------------------------------------------------------- /Test/regressions/ContractAsFunctionArg_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ContractAsFunctionArg_fail.sol -------------------------------------------------------------------------------- /Test/regressions/ContractInvUsageExample.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ContractInvUsageExample.sol -------------------------------------------------------------------------------- /Test/regressions/ContractInvUsageExample_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ContractInvUsageExample_fail.sol -------------------------------------------------------------------------------- /Test/regressions/CreateContract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/CreateContract.sol -------------------------------------------------------------------------------- /Test/regressions/CreateContract_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/CreateContract_fail.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-Sim-Buggy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-Sim-Buggy.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-Sim-Fixed.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-Sim-Fixed.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-buggy-call.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-buggy-call.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-buggy-send.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-buggy-send.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-buggy-transfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-buggy-transfer.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-buggy-value.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-buggy-value.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-buggy.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-buggy.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-demo.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-demo.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-fixed-call.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-fixed-call.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-fixed-send.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-fixed-send.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-fixed-transfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-fixed-transfer.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-fixed-value.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-fixed-value.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-modular-buggy-call.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-modular-buggy-call.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-modular-fixed-call-w-prints.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-modular-fixed-call-w-prints.sol -------------------------------------------------------------------------------- /Test/regressions/DAO-modular-fixed-call.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DAO-modular-fixed-call.sol -------------------------------------------------------------------------------- /Test/regressions/DeleteArray.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DeleteArray.sol -------------------------------------------------------------------------------- /Test/regressions/DeleteScalar.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DeleteScalar.sol -------------------------------------------------------------------------------- /Test/regressions/DoWhileLoop.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DoWhileLoop.sol -------------------------------------------------------------------------------- /Test/regressions/DynDispatch.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/DynDispatch.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-demo.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-demo.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-demoMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-demoMod.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-modifies.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-modifies.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-nosafemath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-nosafemath.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-simp-fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-simp-fail.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-simp-overflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-simp-overflow.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-simplified-fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-simplified-fail.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20-simplified.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20-simplified.sol -------------------------------------------------------------------------------- /Test/regressions/ERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ERC20.sol -------------------------------------------------------------------------------- /Test/regressions/EmbeddedCalls.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EmbeddedCalls.sol -------------------------------------------------------------------------------- /Test/regressions/EmbeddedCalls_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EmbeddedCalls_fail.sol -------------------------------------------------------------------------------- /Test/regressions/EmptyContract.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EmptyContract.sol -------------------------------------------------------------------------------- /Test/regressions/EmptyContract_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EmptyContract_fail.sol -------------------------------------------------------------------------------- /Test/regressions/EnsuresUsageExample.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EnsuresUsageExample.sol -------------------------------------------------------------------------------- /Test/regressions/EnumParam.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EnumParam.sol -------------------------------------------------------------------------------- /Test/regressions/EnumType.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EnumType.sol -------------------------------------------------------------------------------- /Test/regressions/Error.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Error.sol -------------------------------------------------------------------------------- /Test/regressions/Error2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Error2.sol -------------------------------------------------------------------------------- /Test/regressions/Error3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Error3.sol -------------------------------------------------------------------------------- /Test/regressions/Event.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Event.sol -------------------------------------------------------------------------------- /Test/regressions/EventInBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/EventInBase.sol -------------------------------------------------------------------------------- /Test/regressions/ExplicitGetters.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ExplicitGetters.sol -------------------------------------------------------------------------------- /Test/regressions/ExternalFunctionCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ExternalFunctionCall.sol -------------------------------------------------------------------------------- /Test/regressions/ExternalFunctionCall_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ExternalFunctionCall_fail.sol -------------------------------------------------------------------------------- /Test/regressions/FieldAccess.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/FieldAccess.sol -------------------------------------------------------------------------------- /Test/regressions/FuncCallInIfCondition.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/FuncCallInIfCondition.sol -------------------------------------------------------------------------------- /Test/regressions/FuncCallInIfCondition_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/FuncCallInIfCondition_fail.sol -------------------------------------------------------------------------------- /Test/regressions/FuncsWithUnnamedParams.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/FuncsWithUnnamedParams.sol -------------------------------------------------------------------------------- /Test/regressions/FunctionArgAssigned.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/FunctionArgAssigned.sol -------------------------------------------------------------------------------- /Test/regressions/Getter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Getter.sol -------------------------------------------------------------------------------- /Test/regressions/Getters.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Getters.sol -------------------------------------------------------------------------------- /Test/regressions/IERC20.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/IERC20.sol -------------------------------------------------------------------------------- /Test/regressions/IncDec.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/IncDec.sol -------------------------------------------------------------------------------- /Test/regressions/InheritInitializer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritInitializer.sol -------------------------------------------------------------------------------- /Test/regressions/InheritInitializer_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritInitializer_fail.sol -------------------------------------------------------------------------------- /Test/regressions/InheritWithConstructorArgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritWithConstructorArgs.sol -------------------------------------------------------------------------------- /Test/regressions/InheritWithConstructorArgs_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritWithConstructorArgs_fail.sol -------------------------------------------------------------------------------- /Test/regressions/Inheritance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Inheritance.sol -------------------------------------------------------------------------------- /Test/regressions/InheritanceMultiple.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritanceMultiple.sol -------------------------------------------------------------------------------- /Test/regressions/InheritanceMultipleWithLinearization.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritanceMultipleWithLinearization.sol -------------------------------------------------------------------------------- /Test/regressions/InheritanceMultiple_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritanceMultiple_fail.sol -------------------------------------------------------------------------------- /Test/regressions/InheritanceWithContractArg.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritanceWithContractArg.sol -------------------------------------------------------------------------------- /Test/regressions/InheritanceWithContractArg_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InheritanceWithContractArg_fail.sol -------------------------------------------------------------------------------- /Test/regressions/Inheritance_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Inheritance_fail.sol -------------------------------------------------------------------------------- /Test/regressions/InitOutsideCtors.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InitOutsideCtors.sol -------------------------------------------------------------------------------- /Test/regressions/InitOutsideCtors_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InitOutsideCtors_fail.sol -------------------------------------------------------------------------------- /Test/regressions/InputParameters.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InputParameters.sol -------------------------------------------------------------------------------- /Test/regressions/IntTypes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/IntTypes.sol -------------------------------------------------------------------------------- /Test/regressions/InternalFunctionCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InternalFunctionCall.sol -------------------------------------------------------------------------------- /Test/regressions/InternalFunctionCallStruct.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InternalFunctionCallStruct.sol -------------------------------------------------------------------------------- /Test/regressions/InternalFunctionCall_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InternalFunctionCall_fail.sol -------------------------------------------------------------------------------- /Test/regressions/InternalFunctionInLibrary.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InternalFunctionInLibrary.sol -------------------------------------------------------------------------------- /Test/regressions/InternalRecursiveFunctionCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/InternalRecursiveFunctionCall.sol -------------------------------------------------------------------------------- /Test/regressions/Keccak.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Keccak.sol -------------------------------------------------------------------------------- /Test/regressions/Libraries/VeriSolContracts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Libraries/VeriSolContracts.sol -------------------------------------------------------------------------------- /Test/regressions/Library.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Library.sol -------------------------------------------------------------------------------- /Test/regressions/LibraryStruct.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LibraryStruct.sol -------------------------------------------------------------------------------- /Test/regressions/Logical.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Logical.sol -------------------------------------------------------------------------------- /Test/regressions/LoopBreak.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopBreak.sol -------------------------------------------------------------------------------- /Test/regressions/LoopContinue.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopContinue.sol -------------------------------------------------------------------------------- /Test/regressions/LoopDoWhile.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopDoWhile.sol -------------------------------------------------------------------------------- /Test/regressions/LoopFor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopFor.sol -------------------------------------------------------------------------------- /Test/regressions/LoopFor2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopFor2.sol -------------------------------------------------------------------------------- /Test/regressions/LoopInvUsageExample.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopInvUsageExample.sol -------------------------------------------------------------------------------- /Test/regressions/LoopNestedFor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopNestedFor.sol -------------------------------------------------------------------------------- /Test/regressions/LoopNestedWhile.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopNestedWhile.sol -------------------------------------------------------------------------------- /Test/regressions/LoopWhile.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopWhile.sol -------------------------------------------------------------------------------- /Test/regressions/LoopWithInv.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/LoopWithInv.sol -------------------------------------------------------------------------------- /Test/regressions/Mapping.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Mapping.sol -------------------------------------------------------------------------------- /Test/regressions/MappingInitialize.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MappingInitialize.sol -------------------------------------------------------------------------------- /Test/regressions/MappingLowerDimRef.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MappingLowerDimRef.sol -------------------------------------------------------------------------------- /Test/regressions/MappingNested.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MappingNested.sol -------------------------------------------------------------------------------- /Test/regressions/MappingReference.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MappingReference.sol -------------------------------------------------------------------------------- /Test/regressions/MappingToStruct.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MappingToStruct.sol -------------------------------------------------------------------------------- /Test/regressions/MethodDecl.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MethodDecl.sol -------------------------------------------------------------------------------- /Test/regressions/MethodInConditional.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MethodInConditional.sol -------------------------------------------------------------------------------- /Test/regressions/MethodInConditional_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/MethodInConditional_fail.sol -------------------------------------------------------------------------------- /Test/regressions/Modifier.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Modifier.sol -------------------------------------------------------------------------------- /Test/regressions/ModifierLocal.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ModifierLocal.sol -------------------------------------------------------------------------------- /Test/regressions/ModifierPost.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ModifierPost.sol -------------------------------------------------------------------------------- /Test/regressions/ModifierReturn.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ModifierReturn.sol -------------------------------------------------------------------------------- /Test/regressions/ModifierWithArgs.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ModifierWithArgs.sol -------------------------------------------------------------------------------- /Test/regressions/ModifierWithInvocations.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ModifierWithInvocations.sol -------------------------------------------------------------------------------- /Test/regressions/Modifier_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Modifier_fail.sol -------------------------------------------------------------------------------- /Test/regressions/NamesWithUnderscores_fail.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/NamesWithUnderscores_fail.sol -------------------------------------------------------------------------------- /Test/regressions/NestedArray.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/NestedArray.sol -------------------------------------------------------------------------------- /Test/regressions/NestedFunctionCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/NestedFunctionCall.sol -------------------------------------------------------------------------------- /Test/regressions/NestedMappingAlias.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/NestedMappingAlias.sol -------------------------------------------------------------------------------- /Test/regressions/NoConstructor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/NoConstructor.sol -------------------------------------------------------------------------------- /Test/regressions/OutputParameters.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/OutputParameters.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow-Literals1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow-Literals1.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow-Literals1Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow-Literals1Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow-Literals2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow-Literals2.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow-Literals2Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow-Literals2Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow-Literals3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow-Literals3.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow-Literals3Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow-Literals3Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow1.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow10.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow10.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow10Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow10Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow11.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow11.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow12.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow12.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow13.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow13.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow1Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow1Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow2.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow2Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow2Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow3.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow3.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow3Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow3Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow4.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow4.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow4Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow4Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow5.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow5.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow5Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow5Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow6.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow6.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow6Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow6Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow7.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow7.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow7Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow7Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow8.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow8.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow8Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow8Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow9.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow9.sol -------------------------------------------------------------------------------- /Test/regressions/Overflow9Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Overflow9Mod.sol -------------------------------------------------------------------------------- /Test/regressions/Require.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Require.sol -------------------------------------------------------------------------------- /Test/regressions/ReturnMult.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ReturnMult.sol -------------------------------------------------------------------------------- /Test/regressions/ReturnNamedParam.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/ReturnNamedParam.sol -------------------------------------------------------------------------------- /Test/regressions/Revert.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Revert.sol -------------------------------------------------------------------------------- /Test/regressions/SafeMath.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/SafeMath.sol -------------------------------------------------------------------------------- /Test/regressions/StateVarCall.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StateVarCall.sol -------------------------------------------------------------------------------- /Test/regressions/StateVarInit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StateVarInit.sol -------------------------------------------------------------------------------- /Test/regressions/StaticDispatching.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StaticDispatching.sol -------------------------------------------------------------------------------- /Test/regressions/StringMapping.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StringMapping.sol -------------------------------------------------------------------------------- /Test/regressions/StringMappingNoConstructor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StringMappingNoConstructor.sol -------------------------------------------------------------------------------- /Test/regressions/StringToBytes.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StringToBytes.sol -------------------------------------------------------------------------------- /Test/regressions/StringToBytes2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StringToBytes2.sol -------------------------------------------------------------------------------- /Test/regressions/StructArray.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructArray.sol -------------------------------------------------------------------------------- /Test/regressions/StructMemory.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructMemory.sol -------------------------------------------------------------------------------- /Test/regressions/StructNested.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructNested.sol -------------------------------------------------------------------------------- /Test/regressions/StructNestedConstructor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructNestedConstructor.sol -------------------------------------------------------------------------------- /Test/regressions/StructOfDynamicArray.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructOfDynamicArray.sol -------------------------------------------------------------------------------- /Test/regressions/StructOfFixedSizeArray.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructOfFixedSizeArray.sol -------------------------------------------------------------------------------- /Test/regressions/StructOfMapping.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructOfMapping.sol -------------------------------------------------------------------------------- /Test/regressions/StructTutorial.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructTutorial.sol -------------------------------------------------------------------------------- /Test/regressions/StructType.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructType.sol -------------------------------------------------------------------------------- /Test/regressions/StructTypeNoTemporaries.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/StructTypeNoTemporaries.sol -------------------------------------------------------------------------------- /Test/regressions/This.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/This.sol -------------------------------------------------------------------------------- /Test/regressions/Throw.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Throw.sol -------------------------------------------------------------------------------- /Test/regressions/TypeCast.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/TypeCast.sol -------------------------------------------------------------------------------- /Test/regressions/UInt-1.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UInt-1.sol -------------------------------------------------------------------------------- /Test/regressions/UInt-1Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UInt-1Mod.sol -------------------------------------------------------------------------------- /Test/regressions/UInt-2.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UInt-2.sol -------------------------------------------------------------------------------- /Test/regressions/UInt-2Mod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UInt-2Mod.sol -------------------------------------------------------------------------------- /Test/regressions/UInt.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UInt.sol -------------------------------------------------------------------------------- /Test/regressions/UIntMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UIntMod.sol -------------------------------------------------------------------------------- /Test/regressions/Uint256-Overflow-Mult.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint256-Overflow-Mult.sol -------------------------------------------------------------------------------- /Test/regressions/Uint256-Overflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint256-Overflow.sol -------------------------------------------------------------------------------- /Test/regressions/Uint256-OverflowMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint256-OverflowMod.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-DownCasts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-DownCasts.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-DownCastsMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-DownCastsMod.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-Neg.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-Neg.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-NegMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-NegMod.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-UpCasts.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-UpCasts.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-UpCastsMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-UpCastsMod.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-expr.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-expr.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow-exprMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow-exprMod.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-Overflow.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-Overflow.sol -------------------------------------------------------------------------------- /Test/regressions/Uint8-OverflowMod.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/Uint8-OverflowMod.sol -------------------------------------------------------------------------------- /Test/regressions/UintCast.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UintCast.sol -------------------------------------------------------------------------------- /Test/regressions/UsingFor.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UsingFor.sol -------------------------------------------------------------------------------- /Test/regressions/UsingForComplex.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UsingForComplex.sol -------------------------------------------------------------------------------- /Test/regressions/UsingInBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UsingInBase.sol -------------------------------------------------------------------------------- /Test/regressions/UsingInTwoLibraries.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UsingInTwoLibraries.sol -------------------------------------------------------------------------------- /Test/regressions/UsingInTwoLibrariesArrayInStruct.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UsingInTwoLibrariesArrayInStruct.sol -------------------------------------------------------------------------------- /Test/regressions/UsingInTwoLibrariesNoStruct.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/UsingInTwoLibrariesNoStruct.sol -------------------------------------------------------------------------------- /Test/regressions/abiEncoded.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/abiEncoded.sol -------------------------------------------------------------------------------- /Test/regressions/abiLibrary.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/abiLibrary.sol -------------------------------------------------------------------------------- /Test/regressions/bigintinit.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/bigintinit.sol -------------------------------------------------------------------------------- /Test/regressions/calldata.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/calldata.sol -------------------------------------------------------------------------------- /Test/regressions/harness.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/harness.sol -------------------------------------------------------------------------------- /Test/regressions/proof_examples.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/proof_examples.txt -------------------------------------------------------------------------------- /Test/regressions/transfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/transfer.sol -------------------------------------------------------------------------------- /Test/regressions/tuples.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/tuples.sol -------------------------------------------------------------------------------- /Test/regressions/tx.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/regressions/tx.sol -------------------------------------------------------------------------------- /Test/scripts/ReplacePragma.pl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/scripts/ReplacePragma.pl -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/AssetTransfer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/AssetTransfer.json -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/AssetTransfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/AssetTransfer.sol -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/FixedVersion/A__AssetTransfer_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/FixedVersion/A__AssetTransfer_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/FixedVersion/AssetTransfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/FixedVersion/AssetTransfer.sol -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol -------------------------------------------------------------------------------- /Test/workbench/BasicProvenance/BasicProvenance.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BasicProvenance/BasicProvenance.json -------------------------------------------------------------------------------- /Test/workbench/BasicProvenance/BasicProvenance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BasicProvenance/BasicProvenance.sol -------------------------------------------------------------------------------- /Test/workbench/BasicProvenance/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BasicProvenance/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/BasicProvenance/WrapperFiles/A__BasicProvenance_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BasicProvenance/WrapperFiles/A__BasicProvenance_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/BasicProvenance/WrapperFiles/BasicProvenance.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BasicProvenance/WrapperFiles/BasicProvenance.sol -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/BazaarItemListing.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/BazaarItemListing.json -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/BazaarItemListing.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/BazaarItemListing.sol -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/ItemListing.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/ItemListing.sol -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/WrapperFiles/A__BazaarItemListing_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/WrapperFiles/A__BazaarItemListing_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/WrapperFiles/BazaarItemListing.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/WrapperFiles/BazaarItemListing.sol -------------------------------------------------------------------------------- /Test/workbench/BazaarItemListing/WrapperFiles/ItemListing.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/BazaarItemListing/WrapperFiles/ItemListing.sol -------------------------------------------------------------------------------- /Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.json -------------------------------------------------------------------------------- /Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.sol -------------------------------------------------------------------------------- /Test/workbench/DefectiveComponentCounter/WrapperFiles/A__DefectiveComponentCounter_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DefectiveComponentCounter/WrapperFiles/A__DefectiveComponentCounter_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/DefectiveComponentCounter/WrapperFiles/DefectiveComponentCounter.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DefectiveComponentCounter/WrapperFiles/DefectiveComponentCounter.sol -------------------------------------------------------------------------------- /Test/workbench/DigitalLocker/DigitalLocker.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DigitalLocker/DigitalLocker.json -------------------------------------------------------------------------------- /Test/workbench/DigitalLocker/DigitalLocker.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DigitalLocker/DigitalLocker.sol -------------------------------------------------------------------------------- /Test/workbench/DigitalLocker/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DigitalLocker/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/DigitalLocker/WrapperFiles/A__DigitalLocker_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DigitalLocker/WrapperFiles/A__DigitalLocker_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/DigitalLocker/WrapperFiles/DigitalLocker.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/DigitalLocker/WrapperFiles/DigitalLocker.sol -------------------------------------------------------------------------------- /Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.json -------------------------------------------------------------------------------- /Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.sol -------------------------------------------------------------------------------- /Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/A__FrequentFlyerRewardsCalculator_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/A__FrequentFlyerRewardsCalculator_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/FrequentFlyerRewardsCalculator.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/FrequentFlyerRewardsCalculator.sol -------------------------------------------------------------------------------- /Test/workbench/HelloBlockchain/HelloBlockchain.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/HelloBlockchain/HelloBlockchain.json -------------------------------------------------------------------------------- /Test/workbench/HelloBlockchain/HelloBlockchain.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/HelloBlockchain/HelloBlockchain.sol -------------------------------------------------------------------------------- /Test/workbench/HelloBlockchain/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/HelloBlockchain/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/HelloBlockchain/WrapperFiles/A__HelloBlockchain_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/HelloBlockchain/WrapperFiles/A__HelloBlockchain_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/HelloBlockchain/WrapperFiles/HelloBlockchain.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/HelloBlockchain/WrapperFiles/HelloBlockchain.sol -------------------------------------------------------------------------------- /Test/workbench/PingPongGame/PingPongGame.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/PingPongGame/PingPongGame.json -------------------------------------------------------------------------------- /Test/workbench/PingPongGame/PingPongGame.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/PingPongGame/PingPongGame.sol -------------------------------------------------------------------------------- /Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench_exp.bpl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench_exp.bpl -------------------------------------------------------------------------------- /Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol -------------------------------------------------------------------------------- /Test/workbench/PingPongGame/WrapperFiles/README: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/PingPongGame/WrapperFiles/README -------------------------------------------------------------------------------- /Test/workbench/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/README.md -------------------------------------------------------------------------------- /Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.json -------------------------------------------------------------------------------- /Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.sol -------------------------------------------------------------------------------- /Test/workbench/RefrigeratedTransportation/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RefrigeratedTransportation/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/RefrigeratedTransportation/WrapperFiles/A__RefrigeratedTransportation_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RefrigeratedTransportation/WrapperFiles/A__RefrigeratedTransportation_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/RefrigeratedTransportation/WrapperFiles/RefrigeratedTransportation.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RefrigeratedTransportation/WrapperFiles/RefrigeratedTransportation.sol -------------------------------------------------------------------------------- /Test/workbench/RoomThermostat/RoomThermostat.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RoomThermostat/RoomThermostat.json -------------------------------------------------------------------------------- /Test/workbench/RoomThermostat/RoomThermostat.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RoomThermostat/RoomThermostat.sol -------------------------------------------------------------------------------- /Test/workbench/RoomThermostat/WrapperFiles/A__RoomThermostat_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RoomThermostat/WrapperFiles/A__RoomThermostat_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/RoomThermostat/WrapperFiles/RoomThermostat.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/RoomThermostat/WrapperFiles/RoomThermostat.sol -------------------------------------------------------------------------------- /Test/workbench/SimpleMarketplace/SimpleMarketplace.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/SimpleMarketplace/SimpleMarketplace.json -------------------------------------------------------------------------------- /Test/workbench/SimpleMarketplace/SimpleMarketplace.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/SimpleMarketplace/SimpleMarketplace.sol -------------------------------------------------------------------------------- /Test/workbench/SimpleMarketplace/WorkbenchBase.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/SimpleMarketplace/WorkbenchBase.sol -------------------------------------------------------------------------------- /Test/workbench/SimpleMarketplace/WrapperFiles/A__SimpleMarketplace_Workbench.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/SimpleMarketplace/WrapperFiles/A__SimpleMarketplace_Workbench.sol -------------------------------------------------------------------------------- /Test/workbench/SimpleMarketplace/WrapperFiles/SimpleMarketplace.sol: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/SimpleMarketplace/WrapperFiles/SimpleMarketplace.sol -------------------------------------------------------------------------------- /Test/workbench/runall.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/Test/workbench/runall.cmd -------------------------------------------------------------------------------- /azure-pipelines.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/microsoft/verisol/HEAD/azure-pipelines.yml --------------------------------------------------------------------------------