- - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.sol files (293): Test/regressions/A__AssetTransfer_Workbench.sol Test/regressions/Arithmetics.sol Test/regressions/ArrayAlias.sol Test/regressions/ArrayAlloc.sol Test/regressions/ArrayDynamicStorage.sol Test/regressions/ArrayFixedSize.sol Test/regressions/ArrayInitialization.sol Test/regressions/ArrayLength.sol Test/regressions/ArrayLengthParam.sol Test/regressions/ArrayLowerDimCopy.sol Test/regressions/ArrayLowerDimRef.sol Test/regressions/ArrayNestedFixedSize.sol Test/regressions/ArrayParamAlias.sol Test/regressions/ArrayParamCopy.sol Test/regressions/ArrayParamCopy_fail.sol Test/regressions/Assembly1.sol Test/regressions/Assembly2.sol Test/regressions/Assembly3.sol Test/regressions/Assembly4.sol Test/regressions/AssertFalse.sol Test/regressions/AssertTrue.sol Test/regressions/AssetTransfer.sol Test/regressions/Branch.sol Test/regressions/Bytes.sol Test/regressions/BytesTypes.sol Test/regressions/Const.sol Test/regressions/Constructor.sol Test/regressions/ConstructorChaining.sol Test/regressions/ConstructorChaining2_fail.sol Test/regressions/ConstructorChaining3_fail.sol Test/regressions/ConstructorChaining4.sol Test/regressions/ConstructorChainingImplicit.sol Test/regressions/ConstructorChainingUnsound.sol Test/regressions/ConstructorChainingUnsoundSmall.sol Test/regressions/ConstructorChaining_fail.sol Test/regressions/ConstructorLinearized.sol Test/regressions/ConstructorLinearizedWithArgs-SolcError.sol Test/regressions/ConstructorLinearizedWithArgs1.sol Test/regressions/ConstructorLinearizedWithArgs2.sol Test/regressions/ConstructorLinearizedWithArgs3.sol Test/regressions/ConstructorLinearized_fail.sol Test/regressions/ConstructorModifier.sol Test/regressions/ConstructorModifier_fail.sol Test/regressions/ConstructorSpecifier.sol Test/regressions/ConstructorSpecifier_fail.sol Test/regressions/Constructor_fail.sol Test/regressions/ContractAsFunctionArg.sol Test/regressions/ContractAsFunctionArg_fail.sol Test/regressions/ContractInvUsageExample.sol Test/regressions/ContractInvUsageExample_fail.sol Test/regressions/CreateContract.sol Test/regressions/CreateContract_fail.sol Test/regressions/DAO-Sim-Buggy.sol Test/regressions/DAO-Sim-Fixed.sol Test/regressions/DAO-buggy-call.sol Test/regressions/DAO-buggy-send.sol Test/regressions/DAO-buggy-transfer.sol Test/regressions/DAO-buggy-value.sol Test/regressions/DAO-buggy.sol Test/regressions/DAO-demo.sol Test/regressions/DAO-fixed-call.sol Test/regressions/DAO-fixed-send.sol Test/regressions/DAO-fixed-transfer.sol Test/regressions/DAO-fixed-value.sol Test/regressions/DAO-modular-buggy-call.sol Test/regressions/DAO-modular-fixed-call-w-prints.sol Test/regressions/DAO-modular-fixed-call.sol Test/regressions/DeleteArray.sol Test/regressions/DeleteScalar.sol Test/regressions/DoWhileLoop.sol Test/regressions/DynDispatch.sol Test/regressions/ERC20-demo.sol Test/regressions/ERC20-demoMod.sol Test/regressions/ERC20-modifies.sol Test/regressions/ERC20-nosafemath.sol Test/regressions/ERC20-simp-fail.sol Test/regressions/ERC20-simp-overflow.sol Test/regressions/ERC20-simplified-fail.sol Test/regressions/ERC20-simplified.sol Test/regressions/ERC20.sol Test/regressions/EmbeddedCalls.sol Test/regressions/EmbeddedCalls_fail.sol Test/regressions/EmptyContract.sol Test/regressions/EmptyContract_fail.sol Test/regressions/EnsuresUsageExample.sol Test/regressions/EnumParam.sol Test/regressions/EnumType.sol Test/regressions/Error.sol Test/regressions/Error2.sol Test/regressions/Error3.sol Test/regressions/Event.sol Test/regressions/EventInBase.sol Test/regressions/ExplicitGetters.sol Test/regressions/ExternalFunctionCall.sol Test/regressions/ExternalFunctionCall_fail.sol Test/regressions/FieldAccess.sol Test/regressions/FuncCallInIfCondition.sol Test/regressions/FuncCallInIfCondition_fail.sol Test/regressions/FuncsWithUnnamedParams.sol Test/regressions/FunctionArgAssigned.sol Test/regressions/Getter.sol Test/regressions/Getters.sol Test/regressions/IERC20.sol Test/regressions/IncDec.sol Test/regressions/InheritInitializer.sol Test/regressions/InheritInitializer_fail.sol Test/regressions/InheritWithConstructorArgs.sol Test/regressions/InheritWithConstructorArgs_fail.sol Test/regressions/Inheritance.sol Test/regressions/InheritanceMultiple.sol Test/regressions/Inheritance_fail.sol Test/regressions/InheritanceMultipleWithLinearization.sol Test/regressions/InheritanceMultiple_fail.sol Test/regressions/InheritanceWithContractArg.sol Test/regressions/InheritanceWithContractArg_fail.sol Test/regressions/InitOutsideCtors.sol Test/regressions/InitOutsideCtors_fail.sol Test/regressions/InputParameters.sol Test/regressions/IntTypes.sol Test/regressions/InternalFunctionCall.sol Test/regressions/InternalFunctionCallStruct.sol Test/regressions/InternalFunctionCall_fail.sol Test/regressions/InternalFunctionInLibrary.sol Test/regressions/InternalRecursiveFunctionCall.sol Test/regressions/Keccak.sol Test/regressions/Libraries/VeriSolContracts.sol Test/regressions/Library.sol Test/regressions/LibraryStruct.sol Test/regressions/Logical.sol Test/regressions/LoopBreak.sol Test/regressions/LoopContinue.sol Test/regressions/LoopDoWhile.sol Test/regressions/LoopFor.sol Test/regressions/LoopFor2.sol Test/regressions/LoopInvUsageExample.sol Test/regressions/LoopNestedFor.sol Test/regressions/LoopNestedWhile.sol Test/regressions/LoopWhile.sol Test/regressions/LoopWithInv.sol Test/regressions/Mapping.sol Test/regressions/MappingInitialize.sol Test/regressions/MappingLowerDimRef.sol Test/regressions/MappingNested.sol Test/regressions/MappingReference.sol Test/regressions/MappingToStruct.sol Test/regressions/MethodDecl.sol Test/regressions/MethodInConditional.sol Test/regressions/MethodInConditional_fail.sol Test/regressions/Modifier.sol Test/regressions/ModifierLocal.sol Test/regressions/ModifierPost.sol Test/regressions/ModifierReturn.sol Test/regressions/ModifierWithArgs.sol Test/regressions/ModifierWithInvocations.sol Test/regressions/Modifier_fail.sol Test/regressions/NamesWithUnderscores_fail.sol Test/regressions/NestedArray.sol Test/regressions/NestedFunctionCall.sol Test/regressions/NestedMappingAlias.sol Test/regressions/NoConstructor.sol Test/regressions/OutputParameters.sol Test/regressions/Overflow-Literals1.sol Test/regressions/Overflow-Literals1Mod.sol Test/regressions/Overflow-Literals2.sol Test/regressions/Overflow-Literals2Mod.sol Test/regressions/Overflow-Literals3.sol Test/regressions/Overflow-Literals3Mod.sol Test/regressions/Overflow1.sol Test/regressions/Overflow10.sol Test/regressions/Overflow10Mod.sol Test/regressions/Overflow11.sol Test/regressions/Overflow12.sol Test/regressions/Overflow13.sol Test/regressions/Overflow1Mod.sol Test/regressions/Overflow2.sol Test/regressions/Overflow2Mod.sol Test/regressions/Overflow3.sol Test/regressions/Overflow3Mod.sol Test/regressions/Overflow4.sol Test/regressions/Overflow4Mod.sol Test/regressions/Overflow5.sol Test/regressions/Overflow5Mod.sol Test/regressions/Overflow6.sol Test/regressions/Overflow6Mod.sol Test/regressions/Overflow7.sol Test/regressions/Overflow7Mod.sol Test/regressions/Overflow8.sol Test/regressions/Overflow8Mod.sol Test/regressions/Overflow9.sol Test/regressions/Overflow9Mod.sol Test/regressions/Require.sol Test/regressions/ReturnMult.sol Test/regressions/ReturnNamedParam.sol Test/regressions/Revert.sol Test/regressions/SafeMath.sol Test/regressions/StateVarCall.sol Test/regressions/StateVarInit.sol Test/regressions/StaticDispatching.sol Test/regressions/StringMapping.sol Test/regressions/StringMappingNoConstructor.sol Test/regressions/StringToBytes.sol Test/regressions/StringToBytes2.sol Test/regressions/StructArray.sol Test/regressions/StructMemory.sol Test/regressions/StructNested.sol Test/regressions/StructNestedConstructor.sol Test/regressions/StructOfDynamicArray.sol Test/regressions/StructOfFixedSizeArray.sol Test/regressions/StructOfMapping.sol Test/regressions/StructTutorial.sol Test/regressions/StructType.sol Test/regressions/StructTypeNoTemporaries.sol Test/regressions/This.sol Test/regressions/Throw.sol Test/regressions/TypeCast.sol Test/regressions/UInt-1.sol Test/regressions/UInt-1Mod.sol Test/regressions/UInt-2.sol Test/regressions/UInt-2Mod.sol Test/regressions/UInt.sol Test/regressions/UIntMod.sol Test/regressions/Uint256-Overflow-Mult.sol Test/regressions/Uint256-Overflow.sol Test/regressions/Uint256-OverflowMod.sol Test/regressions/Uint8-Overflow-DownCasts.sol Test/regressions/Uint8-Overflow-DownCastsMod.sol Test/regressions/Uint8-Overflow-Neg.sol Test/regressions/Uint8-Overflow-NegMod.sol Test/regressions/Uint8-Overflow-UpCasts.sol Test/regressions/Uint8-Overflow-UpCastsMod.sol Test/regressions/Uint8-Overflow-expr.sol Test/regressions/Uint8-Overflow-exprMod.sol Test/regressions/Uint8-Overflow.sol Test/regressions/Uint8-OverflowMod.sol Test/regressions/UintCast.sol Test/regressions/UsingFor.sol Test/regressions/UsingForComplex.sol Test/regressions/UsingInBase.sol Test/regressions/UsingInTwoLibraries.sol Test/regressions/UsingInTwoLibrariesArrayInStruct.sol Test/regressions/UsingInTwoLibrariesNoStruct.sol Test/regressions/abiEncoded.sol Test/regressions/abiLibrary.sol Test/regressions/bigintinit.sol Test/regressions/calldata.sol Test/regressions/harness.sol Test/regressions/transfer.sol Test/regressions/tuples.sol Test/regressions/tx.sol Test/workbench/AssetTransfer/AssetTransfer.sol Test/workbench/AssetTransfer/FixedVersion/A__AssetTransfer_Workbench.sol Test/workbench/AssetTransfer/FixedVersion/AssetTransfer.sol Test/workbench/AssetTransfer/WorkbenchBase.sol Test/workbench/AssetTransfer/WrapperFiles/A__AssetTransfer_Workbench.sol Test/workbench/AssetTransfer/WrapperFiles/AssetTransfer.sol Test/workbench/BasicProvenance/BasicProvenance.sol Test/workbench/BasicProvenance/WorkbenchBase.sol Test/workbench/BasicProvenance/WrapperFiles/A__BasicProvenance_Workbench.sol Test/workbench/BasicProvenance/WrapperFiles/BasicProvenance.sol Test/workbench/BazaarItemListing/BazaarItemListing.sol Test/workbench/BazaarItemListing/ItemListing.sol Test/workbench/BazaarItemListing/WorkbenchBase.sol Test/workbench/BazaarItemListing/WrapperFiles/A__BazaarItemListing_Workbench.sol Test/workbench/BazaarItemListing/WrapperFiles/BazaarItemListing.sol Test/workbench/BazaarItemListing/WrapperFiles/ItemListing.sol Test/workbench/DefectiveComponentCounter/DefectiveComponentCounter.sol Test/workbench/DefectiveComponentCounter/WrapperFiles/A__DefectiveComponentCounter_Workbench.sol Test/workbench/DefectiveComponentCounter/WrapperFiles/DefectiveComponentCounter.sol Test/workbench/DigitalLocker/DigitalLocker.sol Test/workbench/DigitalLocker/WorkbenchBase.sol Test/workbench/DigitalLocker/WrapperFiles/A__DigitalLocker_Workbench.sol Test/workbench/DigitalLocker/WrapperFiles/DigitalLocker.sol Test/workbench/FrequentFlyerRewardsCalculator/FrequentFlyerRewardsCalculator.sol Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/A__FrequentFlyerRewardsCalculator_Workbench.sol Test/workbench/FrequentFlyerRewardsCalculator/WrapperFiles/FrequentFlyerRewardsCalculator.sol Test/workbench/HelloBlockchain/HelloBlockchain.sol Test/workbench/HelloBlockchain/WorkbenchBase.sol Test/workbench/HelloBlockchain/WrapperFiles/A__HelloBlockchain_Workbench.sol Test/workbench/HelloBlockchain/WrapperFiles/HelloBlockchain.sol Test/workbench/PingPongGame/PingPongGame.sol Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench.sol Test/workbench/PingPongGame/WrapperFiles/PingPongGame.sol Test/workbench/RefrigeratedTransportation/RefrigeratedTransportation.sol Test/workbench/RefrigeratedTransportation/WorkbenchBase.sol Test/workbench/RefrigeratedTransportation/WrapperFiles/A__RefrigeratedTransportation_Workbench.sol Test/workbench/RefrigeratedTransportation/WrapperFiles/RefrigeratedTransportation.sol Test/workbench/RoomThermostat/RoomThermostat.sol Test/workbench/RoomThermostat/WrapperFiles/A__RoomThermostat_Workbench.sol Test/workbench/RoomThermostat/WrapperFiles/RoomThermostat.sol Test/workbench/SimpleMarketplace/SimpleMarketplace.sol Test/workbench/SimpleMarketplace/WorkbenchBase.sol Test/workbench/SimpleMarketplace/WrapperFiles/A__SimpleMarketplace_Workbench.sol Test/workbench/SimpleMarketplace/WrapperFiles/SimpleMarketplace.sol - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *. files (1): Test/workbench/PingPongGame/WrapperFiles/README - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.sln files (1): Sources/VeriSol.sln - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - *.bpl files (1): Test/workbench/PingPongGame/WrapperFiles/A__PingPongGame_Workbench_exp.bpl - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - -