├── .gitignore ├── .gitlab-ci.yml ├── .idea └── .idea.Blockchain │ ├── .idea │ ├── contentModel.xml │ ├── modules.xml │ └── vcs.xml │ └── riderModule.iml ├── BlockChain.Tests ├── ACSTests.cs ├── BlockChain.Tests.csproj ├── BlockChainBranchTests.cs ├── BlockChainContractTestsBase.cs ├── BlockChainRelocationTests.cs ├── BlockChainSimpleTests.cs ├── BlockChainTestsBase.cs ├── BlockChainTipExtendByOrphanTests.cs ├── BlockChainTipTests.cs ├── BlockChainTransactionInvalidationTests.cs ├── BlockChainTransactionRelocationTests.cs ├── BlockExtensions.cs ├── BlockStoreTests.cs ├── BlockTimestampsTests.cs ├── BlockVerificationTests.cs ├── CSharpContractTests.cs ├── ContractHelperTests.cs ├── ContractTemplateTests.cs ├── ContractTemplates │ ├── CallOption.txt │ └── SecureToken.txt ├── MempoolTests.cs ├── MinerTests.cs ├── TestTrace.cs ├── TransactionExtensions.cs ├── Utils.cs ├── app.config └── packages.config ├── BlockChain ├── .gitignore ├── BlockChain.cs ├── BlockChain.csproj ├── BlockChain.csproj.user ├── BlockChainTrace.cs ├── BlockVerificationHelper.cs ├── ContractHelper.cs ├── Data │ ├── Action.cs │ ├── BlockChainMessage.cs │ ├── BlockTimestamps.cs │ ├── BlockUndoData.cs │ ├── ContractPool.cs │ ├── ContractsPoolItem.cs │ ├── HashDictionary.cs │ ├── ICTxPool.cs │ ├── KnownTxPool.cs │ ├── MemPool.cs │ ├── OrphanTxPool.cs │ ├── TxPool.cs │ ├── TxPoolBase.cs │ └── TxStateEnum.cs ├── IStore.cs ├── MyClass.cs ├── Properties │ └── AssemblyInfo.cs ├── Store │ ├── ActiveContractSet.cs │ ├── BlockNumberDifficulties.cs │ ├── BlockStore.cs │ ├── ChainTip.cs │ ├── ConsensusTypeStore.cs │ ├── ContractsTxsStore.cs │ └── UTXOStore.cs └── packages.config ├── Blockchain.sln ├── CONTRIBUTORS.md ├── Compatability.Tests ├── Compatability.Tests.csproj ├── ConsensusTests.cs ├── DBTests.cs ├── SerializationTests.cs ├── TestCSharp.cs ├── TestFSharp.cs ├── Util.cs └── packages.config ├── Compatibility ├── Compatibility.csproj ├── Consensus.cs ├── LightningDB.cs ├── Program.cs ├── Properties │ └── AssemblyInfo.cs └── packages.config ├── Consensus ├── .gitignore ├── AssemblyInfo.fs ├── Authentication.fs ├── BlockValidation.fs ├── ChainParameters.fs ├── Consensus.FStarTypes.fs ├── Consensus.FStarTypes.fsi ├── Consensus.fsproj ├── ExternalTypes.fs ├── ExternalTypes.fsi ├── FStarCompatibility_.fs ├── Merkle.fs ├── MerkleTests.fs ├── Script.fsx ├── Serialization.fs ├── SparseMerkleTree.fs ├── SparseMerkleTreeB.fs ├── SparseMerkleTreeTests.fs ├── Tests.fs ├── TransactionTests.fs ├── TransactionValidation.fs ├── Tree.fs ├── Types.fs ├── Utilities.fs ├── Validate.fs └── packages.config ├── ContractExamples.Tests ├── AssemblyInfo.fs ├── CallOptionTests.fs ├── ContractExamples.Tests.fsproj ├── Tests.fs ├── app.config └── packages.config ├── ContractExamples ├── AssemblyInfo.fs ├── Authentication.fs ├── ContractExamples.fsproj ├── ContractTests.fs ├── Contracts.fs ├── Execution.fs ├── FStar │ ├── CallOption.fst │ ├── OracleContract.fst │ ├── SecureToken.fst │ ├── compile.sh │ ├── elaborate.fsx │ ├── extract.sh │ └── validate.sh ├── FStarCompatibility.fs ├── FStarContractsTests.fs ├── FStarExecution.fs ├── MaybeWorkflow.fs ├── Merkle.fs ├── MerkleTests.fs ├── Oracle.fs ├── QuotedContracts.fs ├── Script.fsx ├── app.config └── packages.config ├── ContractGenerator ├── ContractGenerator.csproj ├── ContractMockValidation.cs └── Properties │ └── AssemblyInfo.cs ├── ContractUtilities ├── AssemblyInfo.fs ├── ContractUtilities.fsproj ├── DataGenerator.fs ├── ResultWorkflow.fs └── packages.config ├── ContractsDiscovery.Web ├── .gitignore ├── App_Code │ ├── FaucetManager.cs │ └── OracleContractManager.cs ├── App_Data │ ├── ActiveContract.cs │ ├── AssetMetadata.cs │ ├── Commitment.cs │ ├── CommitmentData.cs │ ├── ContractData.cs │ ├── ContractIntreraction.cs │ ├── CreateCallOption.cs │ ├── CreateOracle.cs │ ├── CreateTokenGenerator.cs │ └── Fields.cs ├── App_Start │ └── RouteConfig.cs ├── ContractsDiscovery.Web.csproj ├── Controllers │ ├── AssetMetadataController.cs │ ├── ContractController.cs │ ├── ContractCreationController.cs │ ├── ContractIntreractionController.cs │ ├── CreateController.cs │ ├── FaucetController.cs │ ├── HomeController.cs │ ├── OracleController.cs │ └── OracleDataController.cs ├── Global.asax ├── Global.asax.cs ├── StockAPI.cs ├── Templates │ ├── CallOption.txt │ ├── Oracle.txt │ └── SecureToken.txt ├── Utils.cs ├── Views │ ├── Contract │ │ └── Index.cshtml │ ├── ContractCreation │ │ ├── CallOption.cshtml │ │ ├── Index.cshtml │ │ ├── Oracle.cshtml │ │ ├── Result.cshtml │ │ └── TokenGenerator.cshtml │ ├── ContractInteraction │ │ ├── Action.cshtml │ │ └── PrepareAction.cshtml │ ├── Create │ │ └── Index.cshtml │ ├── Faucet │ │ ├── GetTokens.cshtml │ │ └── Index.cshtml │ ├── Home │ │ └── Index.cshtml │ ├── Oracle │ │ ├── Generate.cshtml │ │ ├── Index.cshtml │ │ └── List.cshtml │ ├── OracleData │ │ ├── Display.cshtml │ │ ├── Index.cshtml │ │ ├── Search.cshtml │ │ └── ShowTicker.cshtml │ ├── Shared │ │ ├── Error.cshtml │ │ └── _Layout.cshtml │ ├── Web.config │ └── _ViewStart.cshtml ├── Web.config ├── assets │ ├── css │ │ ├── ie10-viewport-bug-workaround.css │ │ └── starter-template.css │ ├── font-awesome-4.7.0 │ │ ├── css │ │ │ └── font-awesome.min.css │ │ └── fonts │ │ │ ├── FontAwesome.otf │ │ │ ├── fontawesome-webfont.eot │ │ │ ├── fontawesome-webfont.svg │ │ │ ├── fontawesome-webfont.ttf │ │ │ ├── fontawesome-webfont.woff │ │ │ └── fontawesome-webfont.woff2 │ ├── img │ │ ├── stars_bg.jpg │ │ └── zen_logo.png │ └── js │ │ ├── copy-text.js │ │ ├── ie-emulation-modes-warning.js │ │ └── ie10-viewport-bug-workaround.js └── packages.config ├── FStar-Utils ├── .FStar-Utils.fsproj.swp ├── ASTUtils.fs ├── AssemblyInfo.fs ├── FStar-Utils.fsproj ├── Hints.fs ├── IOUtils.fs ├── Tests │ ├── Test.fst │ └── Test.fsx ├── Verify.fs └── packages.config ├── Infrastructure.Console ├── Infrastructure.Console.csproj ├── InteractiveConsole.cs ├── MyClass.cs └── Properties │ └── AssemblyInfo.cs ├── Infrastructure.Testing.Blockchain ├── Infrastructure.Testing.Blockchain.csproj ├── Program.cs ├── Properties │ └── AssemblyInfo.cs ├── TestBlockChain.cs ├── TestBlocks.cs ├── TestTrace.cs ├── TestTransaction.cs └── Util.cs ├── Infrastructure.Testing ├── ColorConsoleTraceListener.cs ├── FieldEx.cs ├── Infrastructure.Testing.csproj └── Properties │ └── AssemblyInfo.cs ├── Infrastructure.TestingGtk ├── ConsoleMessage.cs ├── ConsoleWriter.cs ├── IShowMessageWindow.cs ├── Infrastructure.TestingGtk.csproj ├── Infrastructure.TestingGtk.csproj.user ├── MyClass.cs └── Properties │ └── AssemblyInfo.cs ├── Infrastructure ├── IResourceOwner.cs ├── Infrastructure.csproj ├── Infrastructure.csproj.user ├── InfrastructureTrace.cs ├── JsonLoader.cs ├── MessageListener.cs ├── MessageProducer.cs ├── Properties │ └── AssemblyInfo.cs ├── ResourceOwner.cs ├── Scope.cs ├── Singleton.cs ├── Utils.cs ├── app.config └── packages.config ├── LICENSE.md ├── Miner ├── Data │ └── TransactionQueue.cs ├── Hasher.cs ├── Miner.csproj ├── Miner.csproj.user ├── MinerManager.cs ├── MinerTrace.cs ├── Properties │ └── AssemblyInfo.cs └── packages.config ├── NBitcoinDerive.Tests ├── NBitcoinDerive.Tests.csproj ├── NetworkTestBase.cs ├── TestBlockChain.cs ├── TestNetwork.cs ├── TestServerSet.cs ├── TestTransaction.cs ├── Tests │ ├── NetworkTests.cs │ └── WireSerializationTests.cs ├── Trace.cs ├── Util.cs ├── app.config ├── bin │ └── Debug │ │ ├── Infrastructure.Testing.dll │ │ ├── Infrastructure.Testing.dll.mdb │ │ ├── Infrastructure.dll │ │ ├── Infrastructure.dll.mdb │ │ ├── MsgPack.dll │ │ ├── NBitcoinDerive.Tests.dll │ │ ├── NBitcoinDerive.Tests.dll.config │ │ ├── NBitcoinDerive.Tests.dll.mdb │ │ ├── NBitcoinDerive.dll │ │ ├── NBitcoinDerive.dll.mdb │ │ ├── Newtonsoft.Json.dll │ │ └── nunit.framework.dll └── packages.config ├── Network ├── Config │ ├── NetworkInfo.cs │ └── Settings.cs ├── Crypto │ └── Hashes.cs ├── DataEncoders │ ├── ASCIIEncoder.cs │ ├── Encoders.cs │ └── HexEncoder.cs ├── IpExtensions.cs ├── NATManager.cs ├── Network.csproj ├── Network.csproj.user ├── NodeManager.cs ├── Properties │ └── AssemblyInfo.cs ├── Protocol │ ├── AddressManager.cs │ ├── Behaviors │ │ ├── AddressManagerBehavior.cs │ │ ├── BroadcastTransactionBehavior.cs │ │ ├── ByteArrayComparer.cs │ │ ├── ChainBehavior.cs │ │ ├── MinerBehavior.cs │ │ ├── NodeBehavior.cs │ │ ├── NodeBehaviorsCollection.cs │ │ ├── NodesGroupBehavior.cs │ │ ├── PingPongBehavior.cs │ │ └── SPVBehavior.cs │ ├── Filters │ │ ├── ActionFilter.cs │ │ ├── NodeFilter.cs │ │ └── NodeFiltersCollection.cs │ ├── IMessageProducer.cs │ ├── IncomingMessage.cs │ ├── InventoryVector.cs │ ├── Message.cs │ ├── MessageListener.cs │ ├── NetworkAddress.cs │ ├── Node.cs │ ├── NodeConnectionParameters.cs │ ├── NodeListener.cs │ ├── NodeServer.cs │ ├── NodeServerTrace.cs │ ├── NodesCollection.cs │ ├── NodesGroup.cs │ ├── Payloads │ │ ├── AddrPayload.cs │ │ ├── GetAddrPayload.cs │ │ ├── GetDataPayload.cs │ │ ├── GetTipPayload.cs │ │ ├── InvPayload.cs │ │ ├── PingPayload.cs │ │ ├── PongPayload.cs │ │ ├── RejectPayload.cs │ │ ├── VerAckPayload.cs │ │ └── VersionPayload.cs │ ├── PerformanceCounter.cs │ ├── ProtocolException.cs │ ├── Serialization │ │ ├── IPEndPointSerializer.cs │ │ └── WireSerialization.cs │ ├── VarInt.cs │ ├── VarString.cs │ └── Versions.cs ├── RandomUtils.cs ├── RandomUtils.partial.cs ├── Scope.cs ├── Server.cs ├── StatusMessageProducer.cs ├── TraceCorrelationScope.cs ├── UInt2561.cs ├── Utils.cs ├── Utils │ ├── ActionDisposable.cs │ ├── BoundedDictionary.cs │ └── ThreadSafeCollection.cs └── packages.config ├── NodeConsole ├── Actions │ └── EnsureSettingAction.cs ├── NodeConsole.csproj ├── Program.cs ├── Properties │ └── AssemblyInfo.cs ├── Settings.cs └── app.config ├── NodeCore ├── AddressManager.cs ├── DiscoveryManager.cs ├── EmptyClass.cs ├── Networks.cs ├── NodeCore.csproj ├── NodeCore.csproj.user ├── NodeManager.cs ├── Properties │ └── AssemblyInfo.cs ├── Server.cs ├── Settings.cs ├── SettingsManager.cs ├── Trace.cs ├── Utils.cs ├── app.config └── packages.config ├── NodeTester ├── AddressManager.cs ├── AddressManagerEditorAddWindow.cs ├── AddressManagerEditorWindow.cs ├── App.cs ├── BlockChainManager.cs ├── ColorConsoleTraceListener.cs ├── ConsoleWindow.cs ├── DiscoveryManager.cs ├── ExternalTestingServicesHelper.cs ├── FieldEntry.cs ├── IpExtensions.cs ├── LanNodeManager.cs ├── LogMessage.cs ├── MainWindow.cs ├── NATTestsHelper.cs ├── Networks.cs ├── NodeTester.csproj ├── Program.cs ├── Properties │ └── AssemblyInfo.cs ├── RemoteServerTest.cs ├── ResourceOwnerWindow.cs ├── Runtime.cs ├── SelfTest.cs ├── ServerManager.cs ├── Settings.cs ├── SettingsManager.cs ├── SettingsWindow.cs ├── Trace.cs ├── TransactionsPane.cs ├── Utils.cs ├── WalletManager.cs ├── Window.cs ├── app.config ├── gtk-gui │ ├── MainWindow.cs │ ├── NodeTester.AddressManagerEditorAddWindow.cs │ ├── NodeTester.AddressManagerEditorWindow.cs │ ├── NodeTester.ConsoleWindow.cs │ ├── NodeTester.FieldEntry.cs │ ├── NodeTester.SettingsWindow.cs │ ├── NodeTester.TransactionsPane.cs │ ├── generated.cs │ └── gui.stetic └── packages.config ├── README.md ├── README_CH.md ├── RPC ├── App.cs ├── Data │ └── SendContractPayload.cs ├── Properties │ └── AssemblyInfo.cs ├── RPC.csproj ├── RPC.csproj.user ├── Server.cs └── packages.config ├── Store ├── DBContext.cs ├── KeylessValueStore.cs ├── MsgPackStore.cs ├── Properties │ └── AssemblyInfo.cs ├── Store.cs ├── Store.csproj ├── Store.csproj.user ├── StoredItem.cs ├── Trace.cs ├── TransactionContext.cs └── packages.config ├── Wallet.Tests ├── AssetTagsTests.cs ├── Wallet.Tests.csproj ├── WalletSpendTests.cs ├── WalletTests.cs ├── WalletTestsBase.cs ├── app.config └── packages.config ├── Wallet.core ├── .gitignore ├── Data │ ├── AssetType.cs │ ├── Assets.cs │ ├── Key.cs │ └── UpdateInfo.cs ├── Properties │ └── AssemblyInfo.cs ├── Store │ ├── KeyStore.cs │ └── TxStore.cs ├── Wallet.core.csproj ├── WalletManager.cs ├── WalletTrace.cs └── packages.config ├── Wallet ├── .gitignore ├── App.cs ├── Assets │ ├── Balance_off.png │ ├── Balance_on.png │ ├── Bitcoin_off.png │ ├── Bitcoin_on.png │ ├── Contract │ │ ├── Create.png │ │ ├── Load.png │ │ └── Verify.png │ ├── Contract_off.png │ ├── Contract_on.png │ ├── Create.png │ ├── Ether_off.png │ ├── Ether_on.png │ ├── History_off.png │ ├── History_on.png │ ├── Lite_off.png │ ├── Lite_on.png │ ├── Market_off.png │ ├── Market_on.png │ ├── Portfolio_off.png │ ├── Portfolio_on.png │ ├── Wallet_off.png │ ├── Wallet_on.png │ ├── Zen_off.png │ ├── Zen_on.png │ ├── logosmall.png │ └── misc │ │ ├── Activate.png │ │ ├── Activate_disabled.png │ │ ├── Back.png │ │ ├── Bitcoin.png │ │ ├── Copied.png │ │ ├── Copy.png │ │ ├── Copy_public_key.png │ │ ├── Ether.png │ │ ├── Lite.png │ │ ├── Paste.png │ │ ├── QRcode.png │ │ ├── Received.png │ │ ├── Sent.png │ │ ├── Sign_and_Review.png │ │ ├── Sign_and_Review_disabled.png │ │ ├── Zen.png │ │ ├── arrowdown.png │ │ ├── arrows.png │ │ ├── arrowup.png │ │ ├── receive.png │ │ ├── send.png │ │ └── send_dialog.png ├── Constants.cs ├── Contract │ └── ContractLayout.cs ├── Controllers │ ├── AssetsController.cs │ ├── AssetsMetadata.cs │ ├── ContractController.cs │ ├── DeltasController.cs │ └── MainWindowController.cs ├── Domain │ ├── DirectionEnum.cs │ ├── LogEntry.cs │ ├── TransactionItem.cs │ └── Zen.cs ├── Extensions.cs ├── GUI.csproj ├── IControlInit.cs ├── ImagesCache.cs ├── LayoutHelper.cs ├── MainWindow.cs ├── Properties │ └── AssemblyInfo.cs ├── UpdatingStore.cs ├── Utils.cs ├── Wallet.sln ├── Wallet │ ├── WalletLayout.cs │ ├── WalletReceiveLayout.cs │ ├── WalletSendConfirmationLayout.cs │ └── WalletSendLayout.cs ├── Widgets │ ├── AddKeyDialog.cs │ ├── Contract │ │ ├── Contract.cs │ │ ├── ContractActivation.cs │ │ └── ContractLayout.cs │ ├── DialogBase.cs │ ├── FocusableWidget.cs │ ├── KeysDialog.cs │ ├── Log │ │ ├── ILogEntryRow.cs │ │ ├── Log.cs │ │ ├── LogCellRenderer.cs │ │ ├── LogEntryRow.cs │ │ ├── LogHeaderRow.cs │ │ ├── LogLayout.cs │ │ ├── LogSummaryRow.cs │ │ └── LogTotals.cs │ ├── MainArea.cs │ ├── Menu │ │ ├── ImageButton.cs │ │ ├── MainMenu.cs │ │ ├── MenuBase.cs │ │ ├── MenuButton.cs │ │ ├── TextButton.cs │ │ └── VerticalMenu.cs │ ├── MessageBox.cs │ ├── Portfolio │ │ ├── Portfolio.cs │ │ ├── PortfolioItem.cs │ │ ├── PortfolioLayout.cs │ │ ├── PortfolioRenderer.cs │ │ ├── PortfolioTable.cs │ │ ├── PortfolioTotals.cs │ │ ├── RowRenderer.cs │ │ └── RowRendererHeaders.cs │ ├── ReceiveDialog.cs │ ├── RendererHelper.cs │ ├── SendDialog │ │ ├── DialogComboField.cs │ │ ├── DialogField.cs │ │ ├── SendDialog.cs │ │ ├── SendDialogStep1.cs │ │ ├── SendDialogStep2.cs │ │ ├── SendDialogWaiting.cs │ │ └── SendRaw.cs │ ├── SignMessageDialog.cs │ ├── Status.cs │ ├── TextRenderer.cs │ ├── Wallet │ │ ├── ActionBar.cs │ │ ├── ExpandingCellRenderer.cs │ │ ├── Transactions.cs │ │ └── Wallet.cs │ ├── WidgetBase.cs │ └── WidgetCache.cs ├── gtk-gui │ ├── Wallet.ActionBar.cs │ ├── Wallet.AddKeyDialog.cs │ ├── Wallet.Contract.cs │ ├── Wallet.ContractActivation.cs │ ├── Wallet.DialogComboField.cs │ ├── Wallet.DialogField.cs │ ├── Wallet.ImageButton.cs │ ├── Wallet.KeysDialog.cs │ ├── Wallet.Log.cs │ ├── Wallet.LogLayout.cs │ ├── Wallet.LogSummary.cs │ ├── Wallet.MainArea.cs │ ├── Wallet.MainMenu.cs │ ├── Wallet.MainWindow.cs │ ├── Wallet.MenuButton.cs │ ├── Wallet.MessageBox.cs │ ├── Wallet.Portfolio.cs │ ├── Wallet.PortfolioItem.cs │ ├── Wallet.ReceiveDialog.cs │ ├── Wallet.SendDialog.cs │ ├── Wallet.SendDialogStep1.cs │ ├── Wallet.SendDialogStep2.cs │ ├── Wallet.SendDialogWaiting.cs │ ├── Wallet.SendRaw.cs │ ├── Wallet.SignMessageDialog.cs │ ├── Wallet.Transactions.cs │ ├── Wallet.VerticalMenu.cs │ ├── Wallet.Wallet.cs │ ├── Wallet.WalletLayout.cs │ ├── Wallet.WalletReceiveLayout.cs │ ├── Wallet.WalletSendConfirmationLayout.cs │ ├── Wallet.WalletSendLayout.cs │ ├── Wallet.Widgets.Contract.ContractLayout.cs │ ├── Wallet.Widgets.Log.LogTotals.cs │ ├── Wallet.Widgets.Portfolio.PortfolioLayout.cs │ ├── Wallet.Widgets.Portfolio.PortfolioTable.cs │ ├── Wallet.Widgets.Portfolio.PortfolioTotals.cs │ ├── Wallet.Widgets.Status.cs │ ├── generated.cs │ └── gui.stetic ├── packages.config └── todo.txt ├── Zen.RPC.Common ├── Payloads.cs ├── Properties │ └── AssemblyInfo.cs ├── Zen.RPC.Common.csproj ├── Zen.RPC.Common.csproj.user └── packages.config ├── Zen.RPC ├── Client.cs ├── Properties │ └── AssemblyInfo.cs ├── Zen.RPC.csproj ├── Zen.RPC.csproj.user └── packages.config ├── Zen.StockAPI.Google ├── IStockAPI.cs ├── Properties │ └── AssemblyInfo.cs ├── StockAPI.cs ├── Zen.StockAPI.Google.csproj └── packages.config ├── Zen ├── App.cs ├── AppTraceListener.cs ├── BlockChainDumper.cs ├── Data │ ├── Outputs.cs │ ├── Settings.cs │ └── TestKeys.cs ├── OLD-icon.ico ├── Program.cs ├── Properties │ └── AssemblyInfo.cs ├── Server.cs ├── TUI.cs ├── WebServer.cs ├── WebSocketServer.cs ├── Zen.csproj ├── Zen.csproj.user ├── alpha_client.json ├── alpha_host.json ├── app.config ├── contracts-demo-seed.json ├── d3.min.js ├── demo_client.json ├── demo_host.json ├── genesis_outputs.json ├── graph.html ├── icon.ico ├── keys.json ├── lan_client.json ├── lan_host.json ├── libsodium.dll ├── packages.config ├── readme.md ├── staging_client.json ├── staging_host.json ├── standalone.json ├── test1_client.json ├── test1_host.json ├── test2_client.json ├── test2_host.json ├── test3_client.json ├── test3_host.json ├── testnet_client.json ├── testnet_host.json └── tickers.json ├── ZenFSharpC ├── AssemblyInfo.fs ├── Program.fs ├── ZenFSharpC.fsproj └── packages.config ├── ZenInstaller ├── Bundle.wxs ├── HyperlinkTheme.wxl ├── ZenInstaller.wixproj ├── gtk-sharp-2.12.44.msi ├── gtk2-runtime-2.24.10-2012-10-10-ash.exe ├── icon.ico ├── logo.jpg ├── sidebar.jpg └── vc_redist.x86.exe ├── ZenPackage ├── Product.wxs ├── ZenPackage.wixproj ├── icon.ico └── libsodium.dll ├── Zulib ├── .paket │ └── paket.exe ├── build.cmd ├── build.fsx ├── build.sh ├── fsharp │ └── Realized │ │ ├── FStar.Int.fs │ │ ├── FStar.Int64.fs │ │ ├── FStar.Mul.fs │ │ ├── FStar.Pervasives.fs │ │ ├── FStar.UInt.fs │ │ ├── FStar.UInt32.fs │ │ ├── FStar.UInt64.fs │ │ ├── FStar.UInt8.fs │ │ ├── Zen.Array.Realized.fs │ │ ├── Zen.ArrayRealized.fs │ │ ├── Zen.Cost.Realized.fs │ │ ├── Zen.Cost.fs │ │ ├── Zen.Crypto.fs │ │ ├── Zen.Float.fs │ │ ├── Zen.Merkle.fs │ │ ├── Zen.Sha3.Realized.fs │ │ ├── Zen.Types.Realized.fs │ │ ├── Zen.UInt32.fs │ │ ├── Zen.UInt64.fs │ │ ├── Zen.Util.fs │ │ └── prims.fs ├── fstar │ ├── FStar.Int.fst │ ├── FStar.Int.fst.hints │ ├── FStar.Int64.fst │ ├── FStar.Int64.fst.hints │ ├── FStar.Mul.fst │ ├── FStar.Mul.fst.hints │ ├── FStar.Option.fsti │ ├── FStar.Option.fsti.hints │ ├── FStar.Pervasives.Native.fst │ ├── FStar.Pervasives.Native.fst.hints │ ├── FStar.Pervasives.fst │ ├── FStar.Pervasives.fst.hints │ ├── FStar.UInt.fst │ ├── FStar.UInt.fst.hints │ ├── FStar.UInt32.fst │ ├── FStar.UInt32.fst.hints │ ├── FStar.UInt64.fst │ ├── FStar.UInt64.fst.hints │ ├── FStar.UInt8.fst │ ├── FStar.UInt8.fst.hints │ ├── Zen.Array.Extracted.fst │ ├── Zen.Array.Extracted.fst.hints │ ├── Zen.Array.Realized.fsti │ ├── Zen.Array.Realized.fsti.hints │ ├── Zen.Array.fst │ ├── Zen.Array.fst.hints │ ├── Zen.Base.fst │ ├── Zen.Base.fst.hints │ ├── Zen.ByteArray.fst.hints │ ├── Zen.Cost.Extracted.fst │ ├── Zen.Cost.Extracted.fst.hints │ ├── Zen.Cost.Realized.fst │ ├── Zen.Cost.Realized.fst.hints │ ├── Zen.Cost.fst │ ├── Zen.Cost.fst.hints │ ├── Zen.Crypto.fsti │ ├── Zen.Crypto.fsti.hints │ ├── Zen.Error.fst │ ├── Zen.Error.fst.hints │ ├── Zen.ErrorT.fst │ ├── Zen.ErrorT.fst.hints │ ├── Zen.Merkle.fsti │ ├── Zen.Merkle.fsti.hints │ ├── Zen.Option.fst │ ├── Zen.Option.fst.hints │ ├── Zen.OptionT.fst │ ├── Zen.OptionT.fst.hints │ ├── Zen.Sha3.Realized.fsti │ ├── Zen.Sha3.Realized.fsti.hints │ ├── Zen.Tuple.fst │ ├── Zen.Tuple.fst.hints │ ├── Zen.TupleT.fst │ ├── Zen.TupleT.fst.hints │ ├── Zen.Types.Extracted.fst │ ├── Zen.Types.Extracted.fst.hints │ ├── Zen.Types.Realized.fsti │ ├── Zen.Types.Realized.fsti.hints │ ├── Zen.Types.Serialized.Realized.fsti.hints │ ├── Zen.Types.fst │ ├── Zen.Types.fst.hints │ ├── Zen.Util.fsti │ ├── Zen.Util.fsti.hints │ ├── Zen.Vector.fst │ ├── Zen.Vector.fst.hints │ ├── Zen.Wallet.fsti │ ├── Zen.Wallet.fsti.hints │ ├── prims.fst │ └── prims.fst.hints ├── paket.dependencies ├── paket.lock └── paket.template ├── packaging ├── OSX │ ├── Info.plist │ ├── Installer_window.png │ ├── Zen.icns │ ├── _assets │ │ ├── Installer_window.png │ │ ├── Zen.icns │ │ ├── Zen_icon_1024x1024.png │ │ ├── Zen_icon_128x128.png │ │ ├── Zen_icon_16x16.png │ │ ├── Zen_icon_256x256.png │ │ ├── Zen_icon_32x32.png │ │ ├── Zen_icon_512x512.png │ │ ├── Zen_icon_64x64.png │ │ ├── pc_165x400_01.png │ │ └── pc_165x400_02.png │ ├── appdmg.json │ ├── dmg-background.png │ ├── dmg-background@2x.png │ ├── packosx.sh │ └── zen └── linux │ ├── packlinux.sh │ └── run-zen ├── tools ├── fstar │ ├── dotnet │ │ ├── FSharp.Compatibility.OCaml.dll │ │ ├── FSharp.Compatibility.OCaml.xml │ │ ├── FSharp.Core.dll │ │ ├── FSharp.Core.xml │ │ ├── FSharp.PPrint.dll │ │ ├── FsLexYacc.Runtime.dll │ │ ├── FsLexYacc.Runtime.xml │ │ ├── basic.XML │ │ ├── basic.dll │ │ ├── basic.pdb │ │ ├── extraction.XML │ │ ├── extraction.dll │ │ ├── extraction.dll.config │ │ ├── extraction.pdb │ │ ├── format.XML │ │ ├── format.dll │ │ ├── format.pdb │ │ ├── fsdoc.XML │ │ ├── fsdoc.dll │ │ ├── fsdoc.dll.config │ │ ├── fsdoc.pdb │ │ ├── fstar.XML │ │ ├── fstar.exe │ │ ├── fstar.exe.config │ │ ├── fstar.pdb │ │ ├── parser.XML │ │ ├── parser.dll │ │ ├── parser.pdb │ │ ├── prettyprint.XML │ │ ├── prettyprint.dll │ │ ├── prettyprint.pdb │ │ ├── reflection.dll │ │ ├── reflection.pdb │ │ ├── smtencoding.XML │ │ ├── smtencoding.dll │ │ ├── smtencoding.pdb │ │ ├── syntax.XML │ │ ├── syntax.dll │ │ ├── syntax.pdb │ │ ├── tactics.dll │ │ ├── tactics.pdb │ │ ├── tactics.xml │ │ ├── tests.XML │ │ ├── tests.exe │ │ ├── tests.exe.config │ │ ├── tests.pdb │ │ ├── tosyntax.XML │ │ ├── tosyntax.dll │ │ ├── tosyntax.pdb │ │ ├── typechecker.XML │ │ ├── typechecker.dll │ │ └── typechecker.pdb │ ├── mono │ │ ├── FSharp.Compatibility.OCaml.dll │ │ ├── FSharp.Core.dll │ │ ├── FSharp.Core.xml │ │ ├── FSharp.PPrint.dll │ │ ├── FSharp.PowerPack.dll │ │ ├── FSharp.PowerPack.xml │ │ ├── FsLexYacc.Runtime.dll │ │ ├── FsLexYacc.Runtime.xml │ │ ├── basic.XML │ │ ├── basic.dll │ │ ├── basic.dll.mdb │ │ ├── basic.pdb │ │ ├── extraction.XML │ │ ├── extraction.dll │ │ ├── extraction.dll.config │ │ ├── extraction.dll.mdb │ │ ├── extraction.pdb │ │ ├── format.XML │ │ ├── format.dll │ │ ├── format.dll.mdb │ │ ├── format.pdb │ │ ├── fsdoc.XML │ │ ├── fsdoc.dll │ │ ├── fsdoc.dll.config │ │ ├── fsdoc.dll.mdb │ │ ├── fsdoc.pdb │ │ ├── fstar-any.sh │ │ ├── fstar-compiler-lib │ │ │ └── META │ │ ├── fstar-tactics-lib │ │ │ └── META │ │ ├── fstar.XML │ │ ├── fstar.exe │ │ ├── fstar.exe.config │ │ ├── fstar.exe.mdb │ │ ├── fstar.pdb │ │ ├── fstarlib │ │ │ └── META │ │ ├── parser.XML │ │ ├── parser.dll │ │ ├── parser.dll.mdb │ │ ├── parser.pdb │ │ ├── prettyprint.XML │ │ ├── prettyprint.dll │ │ ├── prettyprint.dll.mdb │ │ ├── prettyprint.pdb │ │ ├── reflection.dll │ │ ├── reflection.dll.mdb │ │ ├── reflection.pdb │ │ ├── smtencoding.XML │ │ ├── smtencoding.dll │ │ ├── smtencoding.dll.mdb │ │ ├── smtencoding.pdb │ │ ├── syntax.XML │ │ ├── syntax.dll │ │ ├── syntax.dll.mdb │ │ ├── syntax.pdb │ │ ├── tactics.dll │ │ ├── tactics.dll.mdb │ │ ├── tactics.pdb │ │ ├── tests-mono.sh │ │ ├── tests.XML │ │ ├── tests.exe │ │ ├── tests.exe.config │ │ ├── tests.exe.mdb │ │ ├── tests.pdb │ │ ├── tosyntax.XML │ │ ├── tosyntax.dll │ │ ├── tosyntax.dll.mdb │ │ ├── tosyntax.pdb │ │ ├── typechecker.XML │ │ ├── typechecker.dll │ │ ├── typechecker.dll.mdb │ │ └── typechecker.pdb │ └── ocaml │ │ ├── FSharp.Compatibility.OCaml.dll │ │ ├── FSharp.Core.dll │ │ ├── FSharp.PPrint.dll │ │ ├── FsLexYacc.Runtime.dll │ │ ├── basic.dll │ │ ├── basic.dll.mdb │ │ ├── extraction.dll │ │ ├── extraction.dll.config │ │ ├── extraction.dll.mdb │ │ ├── format.dll │ │ ├── format.dll.mdb │ │ ├── fsdoc.dll │ │ ├── fsdoc.dll.config │ │ ├── fsdoc.dll.mdb │ │ ├── fstar │ │ ├── fstar-any.sh │ │ ├── fstar.exe.config │ │ ├── fstar.exe.mdb │ │ ├── fstar.ocaml │ │ ├── fstarlib │ │ └── META │ │ ├── parser.dll │ │ ├── parser.dll.mdb │ │ ├── prettyprint.dll │ │ ├── prettyprint.dll.mdb │ │ ├── reflection.dll │ │ ├── reflection.dll.mdb │ │ ├── smtencoding.dll │ │ ├── smtencoding.dll.mdb │ │ ├── syntax.dll │ │ ├── syntax.dll.mdb │ │ ├── tactics.dll │ │ ├── tactics.dll.mdb │ │ ├── tests-mono.sh │ │ ├── tests.exe │ │ ├── tests.exe.mdb │ │ ├── tosyntax.dll │ │ ├── tosyntax.dll.mdb │ │ ├── typechecker.dll │ │ └── typechecker.dll.mdb └── z3 │ ├── linux │ └── z3 │ ├── osx │ └── z3 │ └── windows │ └── z3.exe └── unix.sln /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitlab-ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/.gitlab-ci.yml -------------------------------------------------------------------------------- /.idea/.idea.Blockchain/.idea/contentModel.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/.idea/.idea.Blockchain/.idea/contentModel.xml -------------------------------------------------------------------------------- /.idea/.idea.Blockchain/.idea/modules.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/.idea/.idea.Blockchain/.idea/modules.xml -------------------------------------------------------------------------------- /.idea/.idea.Blockchain/.idea/vcs.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/.idea/.idea.Blockchain/.idea/vcs.xml -------------------------------------------------------------------------------- /.idea/.idea.Blockchain/riderModule.iml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/.idea/.idea.Blockchain/riderModule.iml -------------------------------------------------------------------------------- /BlockChain.Tests/ACSTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/ACSTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockChain.Tests.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockChain.Tests.csproj -------------------------------------------------------------------------------- /BlockChain.Tests/BlockChainBranchTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockChainBranchTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockChainRelocationTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockChainRelocationTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockChainSimpleTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockChainSimpleTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockChainTestsBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockChainTestsBase.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockChainTipTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockChainTipTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockExtensions.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockStoreTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockStoreTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockTimestampsTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockTimestampsTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/BlockVerificationTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/BlockVerificationTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/CSharpContractTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/CSharpContractTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/ContractHelperTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/ContractHelperTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/ContractTemplateTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/ContractTemplateTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/MempoolTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/MempoolTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/MinerTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/MinerTests.cs -------------------------------------------------------------------------------- /BlockChain.Tests/TestTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/TestTrace.cs -------------------------------------------------------------------------------- /BlockChain.Tests/TransactionExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/TransactionExtensions.cs -------------------------------------------------------------------------------- /BlockChain.Tests/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/Utils.cs -------------------------------------------------------------------------------- /BlockChain.Tests/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/app.config -------------------------------------------------------------------------------- /BlockChain.Tests/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain.Tests/packages.config -------------------------------------------------------------------------------- /BlockChain/.gitignore: -------------------------------------------------------------------------------- 1 | bin/ 2 | obj/ -------------------------------------------------------------------------------- /BlockChain/BlockChain.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/BlockChain.cs -------------------------------------------------------------------------------- /BlockChain/BlockChain.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/BlockChain.csproj -------------------------------------------------------------------------------- /BlockChain/BlockChain.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/BlockChain.csproj.user -------------------------------------------------------------------------------- /BlockChain/BlockChainTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/BlockChainTrace.cs -------------------------------------------------------------------------------- /BlockChain/BlockVerificationHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/BlockVerificationHelper.cs -------------------------------------------------------------------------------- /BlockChain/ContractHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/ContractHelper.cs -------------------------------------------------------------------------------- /BlockChain/Data/Action.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/Action.cs -------------------------------------------------------------------------------- /BlockChain/Data/BlockChainMessage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/BlockChainMessage.cs -------------------------------------------------------------------------------- /BlockChain/Data/BlockTimestamps.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/BlockTimestamps.cs -------------------------------------------------------------------------------- /BlockChain/Data/BlockUndoData.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/BlockUndoData.cs -------------------------------------------------------------------------------- /BlockChain/Data/ContractPool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/ContractPool.cs -------------------------------------------------------------------------------- /BlockChain/Data/ContractsPoolItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/ContractsPoolItem.cs -------------------------------------------------------------------------------- /BlockChain/Data/HashDictionary.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/HashDictionary.cs -------------------------------------------------------------------------------- /BlockChain/Data/ICTxPool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/ICTxPool.cs -------------------------------------------------------------------------------- /BlockChain/Data/KnownTxPool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/KnownTxPool.cs -------------------------------------------------------------------------------- /BlockChain/Data/MemPool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/MemPool.cs -------------------------------------------------------------------------------- /BlockChain/Data/OrphanTxPool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/OrphanTxPool.cs -------------------------------------------------------------------------------- /BlockChain/Data/TxPool.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/TxPool.cs -------------------------------------------------------------------------------- /BlockChain/Data/TxPoolBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/TxPoolBase.cs -------------------------------------------------------------------------------- /BlockChain/Data/TxStateEnum.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Data/TxStateEnum.cs -------------------------------------------------------------------------------- /BlockChain/IStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/IStore.cs -------------------------------------------------------------------------------- /BlockChain/MyClass.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/MyClass.cs -------------------------------------------------------------------------------- /BlockChain/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /BlockChain/Store/ActiveContractSet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/ActiveContractSet.cs -------------------------------------------------------------------------------- /BlockChain/Store/BlockNumberDifficulties.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/BlockNumberDifficulties.cs -------------------------------------------------------------------------------- /BlockChain/Store/BlockStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/BlockStore.cs -------------------------------------------------------------------------------- /BlockChain/Store/ChainTip.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/ChainTip.cs -------------------------------------------------------------------------------- /BlockChain/Store/ConsensusTypeStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/ConsensusTypeStore.cs -------------------------------------------------------------------------------- /BlockChain/Store/ContractsTxsStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/ContractsTxsStore.cs -------------------------------------------------------------------------------- /BlockChain/Store/UTXOStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/Store/UTXOStore.cs -------------------------------------------------------------------------------- /BlockChain/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/BlockChain/packages.config -------------------------------------------------------------------------------- /Blockchain.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Blockchain.sln -------------------------------------------------------------------------------- /CONTRIBUTORS.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/CONTRIBUTORS.md -------------------------------------------------------------------------------- /Compatability.Tests/ConsensusTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/ConsensusTests.cs -------------------------------------------------------------------------------- /Compatability.Tests/DBTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/DBTests.cs -------------------------------------------------------------------------------- /Compatability.Tests/SerializationTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/SerializationTests.cs -------------------------------------------------------------------------------- /Compatability.Tests/TestCSharp.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/TestCSharp.cs -------------------------------------------------------------------------------- /Compatability.Tests/TestFSharp.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/TestFSharp.cs -------------------------------------------------------------------------------- /Compatability.Tests/Util.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/Util.cs -------------------------------------------------------------------------------- /Compatability.Tests/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatability.Tests/packages.config -------------------------------------------------------------------------------- /Compatibility/Compatibility.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatibility/Compatibility.csproj -------------------------------------------------------------------------------- /Compatibility/Consensus.cs: -------------------------------------------------------------------------------- 1 | // -------------------------------------------------------------------------------- /Compatibility/LightningDB.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatibility/LightningDB.cs -------------------------------------------------------------------------------- /Compatibility/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatibility/Program.cs -------------------------------------------------------------------------------- /Compatibility/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatibility/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Compatibility/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Compatibility/packages.config -------------------------------------------------------------------------------- /Consensus/.gitignore: -------------------------------------------------------------------------------- 1 | bin/ 2 | obj/ 3 | -------------------------------------------------------------------------------- /Consensus/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/AssemblyInfo.fs -------------------------------------------------------------------------------- /Consensus/Authentication.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Authentication.fs -------------------------------------------------------------------------------- /Consensus/BlockValidation.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/BlockValidation.fs -------------------------------------------------------------------------------- /Consensus/ChainParameters.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/ChainParameters.fs -------------------------------------------------------------------------------- /Consensus/Consensus.FStarTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Consensus.FStarTypes.fs -------------------------------------------------------------------------------- /Consensus/Consensus.FStarTypes.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Consensus.FStarTypes.fsi -------------------------------------------------------------------------------- /Consensus/Consensus.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Consensus.fsproj -------------------------------------------------------------------------------- /Consensus/ExternalTypes.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/ExternalTypes.fs -------------------------------------------------------------------------------- /Consensus/ExternalTypes.fsi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/ExternalTypes.fsi -------------------------------------------------------------------------------- /Consensus/FStarCompatibility_.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/FStarCompatibility_.fs -------------------------------------------------------------------------------- /Consensus/Merkle.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Merkle.fs -------------------------------------------------------------------------------- /Consensus/MerkleTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/MerkleTests.fs -------------------------------------------------------------------------------- /Consensus/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Script.fsx -------------------------------------------------------------------------------- /Consensus/Serialization.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Serialization.fs -------------------------------------------------------------------------------- /Consensus/SparseMerkleTree.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/SparseMerkleTree.fs -------------------------------------------------------------------------------- /Consensus/SparseMerkleTreeB.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/SparseMerkleTreeB.fs -------------------------------------------------------------------------------- /Consensus/SparseMerkleTreeTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/SparseMerkleTreeTests.fs -------------------------------------------------------------------------------- /Consensus/Tests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Tests.fs -------------------------------------------------------------------------------- /Consensus/TransactionTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/TransactionTests.fs -------------------------------------------------------------------------------- /Consensus/TransactionValidation.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/TransactionValidation.fs -------------------------------------------------------------------------------- /Consensus/Tree.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Tree.fs -------------------------------------------------------------------------------- /Consensus/Types.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Types.fs -------------------------------------------------------------------------------- /Consensus/Utilities.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Utilities.fs -------------------------------------------------------------------------------- /Consensus/Validate.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/Validate.fs -------------------------------------------------------------------------------- /Consensus/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Consensus/packages.config -------------------------------------------------------------------------------- /ContractExamples.Tests/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples.Tests/AssemblyInfo.fs -------------------------------------------------------------------------------- /ContractExamples.Tests/CallOptionTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples.Tests/CallOptionTests.fs -------------------------------------------------------------------------------- /ContractExamples.Tests/Tests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples.Tests/Tests.fs -------------------------------------------------------------------------------- /ContractExamples.Tests/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples.Tests/app.config -------------------------------------------------------------------------------- /ContractExamples.Tests/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples.Tests/packages.config -------------------------------------------------------------------------------- /ContractExamples/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/AssemblyInfo.fs -------------------------------------------------------------------------------- /ContractExamples/Authentication.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/Authentication.fs -------------------------------------------------------------------------------- /ContractExamples/ContractExamples.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/ContractExamples.fsproj -------------------------------------------------------------------------------- /ContractExamples/ContractTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/ContractTests.fs -------------------------------------------------------------------------------- /ContractExamples/Contracts.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/Contracts.fs -------------------------------------------------------------------------------- /ContractExamples/Execution.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/Execution.fs -------------------------------------------------------------------------------- /ContractExamples/FStar/CallOption.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/CallOption.fst -------------------------------------------------------------------------------- /ContractExamples/FStar/OracleContract.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/OracleContract.fst -------------------------------------------------------------------------------- /ContractExamples/FStar/SecureToken.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/SecureToken.fst -------------------------------------------------------------------------------- /ContractExamples/FStar/compile.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/compile.sh -------------------------------------------------------------------------------- /ContractExamples/FStar/elaborate.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/elaborate.fsx -------------------------------------------------------------------------------- /ContractExamples/FStar/extract.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/extract.sh -------------------------------------------------------------------------------- /ContractExamples/FStar/validate.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStar/validate.sh -------------------------------------------------------------------------------- /ContractExamples/FStarCompatibility.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStarCompatibility.fs -------------------------------------------------------------------------------- /ContractExamples/FStarContractsTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStarContractsTests.fs -------------------------------------------------------------------------------- /ContractExamples/FStarExecution.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/FStarExecution.fs -------------------------------------------------------------------------------- /ContractExamples/MaybeWorkflow.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/MaybeWorkflow.fs -------------------------------------------------------------------------------- /ContractExamples/Merkle.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/Merkle.fs -------------------------------------------------------------------------------- /ContractExamples/MerkleTests.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/MerkleTests.fs -------------------------------------------------------------------------------- /ContractExamples/Oracle.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/Oracle.fs -------------------------------------------------------------------------------- /ContractExamples/QuotedContracts.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/QuotedContracts.fs -------------------------------------------------------------------------------- /ContractExamples/Script.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/Script.fsx -------------------------------------------------------------------------------- /ContractExamples/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/app.config -------------------------------------------------------------------------------- /ContractExamples/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractExamples/packages.config -------------------------------------------------------------------------------- /ContractGenerator/ContractGenerator.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractGenerator/ContractGenerator.csproj -------------------------------------------------------------------------------- /ContractGenerator/ContractMockValidation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractGenerator/ContractMockValidation.cs -------------------------------------------------------------------------------- /ContractGenerator/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractGenerator/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /ContractUtilities/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractUtilities/AssemblyInfo.fs -------------------------------------------------------------------------------- /ContractUtilities/ContractUtilities.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractUtilities/ContractUtilities.fsproj -------------------------------------------------------------------------------- /ContractUtilities/DataGenerator.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractUtilities/DataGenerator.fs -------------------------------------------------------------------------------- /ContractUtilities/ResultWorkflow.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractUtilities/ResultWorkflow.fs -------------------------------------------------------------------------------- /ContractUtilities/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractUtilities/packages.config -------------------------------------------------------------------------------- /ContractsDiscovery.Web/.gitignore: -------------------------------------------------------------------------------- 1 | db/ -------------------------------------------------------------------------------- /ContractsDiscovery.Web/App_Data/Commitment.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/App_Data/Commitment.cs -------------------------------------------------------------------------------- /ContractsDiscovery.Web/App_Data/Fields.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/App_Data/Fields.cs -------------------------------------------------------------------------------- /ContractsDiscovery.Web/Global.asax: -------------------------------------------------------------------------------- 1 | <%@ Application Inherits="ContractsDiscovery.Web.Global" %> 2 | -------------------------------------------------------------------------------- /ContractsDiscovery.Web/Global.asax.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/Global.asax.cs -------------------------------------------------------------------------------- /ContractsDiscovery.Web/StockAPI.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/StockAPI.cs -------------------------------------------------------------------------------- /ContractsDiscovery.Web/Templates/Oracle.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/Templates/Oracle.txt -------------------------------------------------------------------------------- /ContractsDiscovery.Web/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/Utils.cs -------------------------------------------------------------------------------- /ContractsDiscovery.Web/Views/Web.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/Views/Web.config -------------------------------------------------------------------------------- /ContractsDiscovery.Web/Web.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/Web.config -------------------------------------------------------------------------------- /ContractsDiscovery.Web/assets/js/copy-text.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/assets/js/copy-text.js -------------------------------------------------------------------------------- /ContractsDiscovery.Web/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ContractsDiscovery.Web/packages.config -------------------------------------------------------------------------------- /FStar-Utils/.FStar-Utils.fsproj.swp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/.FStar-Utils.fsproj.swp -------------------------------------------------------------------------------- /FStar-Utils/ASTUtils.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/ASTUtils.fs -------------------------------------------------------------------------------- /FStar-Utils/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/AssemblyInfo.fs -------------------------------------------------------------------------------- /FStar-Utils/FStar-Utils.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/FStar-Utils.fsproj -------------------------------------------------------------------------------- /FStar-Utils/Hints.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/Hints.fs -------------------------------------------------------------------------------- /FStar-Utils/IOUtils.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/IOUtils.fs -------------------------------------------------------------------------------- /FStar-Utils/Tests/Test.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/Tests/Test.fst -------------------------------------------------------------------------------- /FStar-Utils/Tests/Test.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/Tests/Test.fsx -------------------------------------------------------------------------------- /FStar-Utils/Verify.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/Verify.fs -------------------------------------------------------------------------------- /FStar-Utils/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/FStar-Utils/packages.config -------------------------------------------------------------------------------- /Infrastructure.Console/InteractiveConsole.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.Console/InteractiveConsole.cs -------------------------------------------------------------------------------- /Infrastructure.Console/MyClass.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.Console/MyClass.cs -------------------------------------------------------------------------------- /Infrastructure.Testing.Blockchain/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.Testing.Blockchain/Program.cs -------------------------------------------------------------------------------- /Infrastructure.Testing.Blockchain/Util.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.Testing.Blockchain/Util.cs -------------------------------------------------------------------------------- /Infrastructure.Testing/FieldEx.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.Testing/FieldEx.cs -------------------------------------------------------------------------------- /Infrastructure.TestingGtk/ConsoleMessage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.TestingGtk/ConsoleMessage.cs -------------------------------------------------------------------------------- /Infrastructure.TestingGtk/ConsoleWriter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.TestingGtk/ConsoleWriter.cs -------------------------------------------------------------------------------- /Infrastructure.TestingGtk/MyClass.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure.TestingGtk/MyClass.cs -------------------------------------------------------------------------------- /Infrastructure/IResourceOwner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/IResourceOwner.cs -------------------------------------------------------------------------------- /Infrastructure/Infrastructure.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/Infrastructure.csproj -------------------------------------------------------------------------------- /Infrastructure/Infrastructure.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/Infrastructure.csproj.user -------------------------------------------------------------------------------- /Infrastructure/InfrastructureTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/InfrastructureTrace.cs -------------------------------------------------------------------------------- /Infrastructure/JsonLoader.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/JsonLoader.cs -------------------------------------------------------------------------------- /Infrastructure/MessageListener.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/MessageListener.cs -------------------------------------------------------------------------------- /Infrastructure/MessageProducer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/MessageProducer.cs -------------------------------------------------------------------------------- /Infrastructure/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Infrastructure/ResourceOwner.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/ResourceOwner.cs -------------------------------------------------------------------------------- /Infrastructure/Scope.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/Scope.cs -------------------------------------------------------------------------------- /Infrastructure/Singleton.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/Singleton.cs -------------------------------------------------------------------------------- /Infrastructure/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/Utils.cs -------------------------------------------------------------------------------- /Infrastructure/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/app.config -------------------------------------------------------------------------------- /Infrastructure/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Infrastructure/packages.config -------------------------------------------------------------------------------- /LICENSE.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/LICENSE.md -------------------------------------------------------------------------------- /Miner/Data/TransactionQueue.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/Data/TransactionQueue.cs -------------------------------------------------------------------------------- /Miner/Hasher.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/Hasher.cs -------------------------------------------------------------------------------- /Miner/Miner.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/Miner.csproj -------------------------------------------------------------------------------- /Miner/Miner.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/Miner.csproj.user -------------------------------------------------------------------------------- /Miner/MinerManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/MinerManager.cs -------------------------------------------------------------------------------- /Miner/MinerTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/MinerTrace.cs -------------------------------------------------------------------------------- /Miner/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Miner/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Miner/packages.config -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/NetworkTestBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/NetworkTestBase.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/TestBlockChain.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/TestBlockChain.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/TestNetwork.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/TestNetwork.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/TestServerSet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/TestServerSet.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/TestTransaction.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/TestTransaction.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/Tests/NetworkTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/Tests/NetworkTests.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/Trace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/Trace.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/Util.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/Util.cs -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/app.config -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/bin/Debug/MsgPack.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/bin/Debug/MsgPack.dll -------------------------------------------------------------------------------- /NBitcoinDerive.Tests/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NBitcoinDerive.Tests/packages.config -------------------------------------------------------------------------------- /Network/Config/NetworkInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Config/NetworkInfo.cs -------------------------------------------------------------------------------- /Network/Config/Settings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Config/Settings.cs -------------------------------------------------------------------------------- /Network/Crypto/Hashes.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Crypto/Hashes.cs -------------------------------------------------------------------------------- /Network/DataEncoders/ASCIIEncoder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/DataEncoders/ASCIIEncoder.cs -------------------------------------------------------------------------------- /Network/DataEncoders/Encoders.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/DataEncoders/Encoders.cs -------------------------------------------------------------------------------- /Network/DataEncoders/HexEncoder.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/DataEncoders/HexEncoder.cs -------------------------------------------------------------------------------- /Network/IpExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/IpExtensions.cs -------------------------------------------------------------------------------- /Network/NATManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/NATManager.cs -------------------------------------------------------------------------------- /Network/Network.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Network.csproj -------------------------------------------------------------------------------- /Network/Network.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Network.csproj.user -------------------------------------------------------------------------------- /Network/NodeManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/NodeManager.cs -------------------------------------------------------------------------------- /Network/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Network/Protocol/AddressManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/AddressManager.cs -------------------------------------------------------------------------------- /Network/Protocol/Behaviors/ChainBehavior.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Behaviors/ChainBehavior.cs -------------------------------------------------------------------------------- /Network/Protocol/Behaviors/MinerBehavior.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Behaviors/MinerBehavior.cs -------------------------------------------------------------------------------- /Network/Protocol/Behaviors/NodeBehavior.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Behaviors/NodeBehavior.cs -------------------------------------------------------------------------------- /Network/Protocol/Behaviors/SPVBehavior.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Behaviors/SPVBehavior.cs -------------------------------------------------------------------------------- /Network/Protocol/Filters/ActionFilter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Filters/ActionFilter.cs -------------------------------------------------------------------------------- /Network/Protocol/Filters/NodeFilter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Filters/NodeFilter.cs -------------------------------------------------------------------------------- /Network/Protocol/IMessageProducer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/IMessageProducer.cs -------------------------------------------------------------------------------- /Network/Protocol/IncomingMessage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/IncomingMessage.cs -------------------------------------------------------------------------------- /Network/Protocol/InventoryVector.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/InventoryVector.cs -------------------------------------------------------------------------------- /Network/Protocol/Message.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Message.cs -------------------------------------------------------------------------------- /Network/Protocol/MessageListener.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/MessageListener.cs -------------------------------------------------------------------------------- /Network/Protocol/NetworkAddress.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NetworkAddress.cs -------------------------------------------------------------------------------- /Network/Protocol/Node.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Node.cs -------------------------------------------------------------------------------- /Network/Protocol/NodeConnectionParameters.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NodeConnectionParameters.cs -------------------------------------------------------------------------------- /Network/Protocol/NodeListener.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NodeListener.cs -------------------------------------------------------------------------------- /Network/Protocol/NodeServer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NodeServer.cs -------------------------------------------------------------------------------- /Network/Protocol/NodeServerTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NodeServerTrace.cs -------------------------------------------------------------------------------- /Network/Protocol/NodesCollection.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NodesCollection.cs -------------------------------------------------------------------------------- /Network/Protocol/NodesGroup.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/NodesGroup.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/AddrPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/AddrPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/GetAddrPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/GetAddrPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/GetDataPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/GetDataPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/GetTipPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/GetTipPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/InvPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/InvPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/PingPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/PingPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/PongPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/PongPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/RejectPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/RejectPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/VerAckPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/VerAckPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/Payloads/VersionPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Payloads/VersionPayload.cs -------------------------------------------------------------------------------- /Network/Protocol/PerformanceCounter.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/PerformanceCounter.cs -------------------------------------------------------------------------------- /Network/Protocol/ProtocolException.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/ProtocolException.cs -------------------------------------------------------------------------------- /Network/Protocol/VarInt.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/VarInt.cs -------------------------------------------------------------------------------- /Network/Protocol/VarString.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/VarString.cs -------------------------------------------------------------------------------- /Network/Protocol/Versions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Protocol/Versions.cs -------------------------------------------------------------------------------- /Network/RandomUtils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/RandomUtils.cs -------------------------------------------------------------------------------- /Network/RandomUtils.partial.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/RandomUtils.partial.cs -------------------------------------------------------------------------------- /Network/Scope.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Scope.cs -------------------------------------------------------------------------------- /Network/Server.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Server.cs -------------------------------------------------------------------------------- /Network/StatusMessageProducer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/StatusMessageProducer.cs -------------------------------------------------------------------------------- /Network/TraceCorrelationScope.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/TraceCorrelationScope.cs -------------------------------------------------------------------------------- /Network/UInt2561.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/UInt2561.cs -------------------------------------------------------------------------------- /Network/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Utils.cs -------------------------------------------------------------------------------- /Network/Utils/ActionDisposable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Utils/ActionDisposable.cs -------------------------------------------------------------------------------- /Network/Utils/BoundedDictionary.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Utils/BoundedDictionary.cs -------------------------------------------------------------------------------- /Network/Utils/ThreadSafeCollection.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/Utils/ThreadSafeCollection.cs -------------------------------------------------------------------------------- /Network/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Network/packages.config -------------------------------------------------------------------------------- /NodeConsole/Actions/EnsureSettingAction.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeConsole/Actions/EnsureSettingAction.cs -------------------------------------------------------------------------------- /NodeConsole/NodeConsole.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeConsole/NodeConsole.csproj -------------------------------------------------------------------------------- /NodeConsole/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeConsole/Program.cs -------------------------------------------------------------------------------- /NodeConsole/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeConsole/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /NodeConsole/Settings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeConsole/Settings.cs -------------------------------------------------------------------------------- /NodeConsole/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeConsole/app.config -------------------------------------------------------------------------------- /NodeCore/AddressManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/AddressManager.cs -------------------------------------------------------------------------------- /NodeCore/DiscoveryManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/DiscoveryManager.cs -------------------------------------------------------------------------------- /NodeCore/EmptyClass.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/EmptyClass.cs -------------------------------------------------------------------------------- /NodeCore/Networks.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/Networks.cs -------------------------------------------------------------------------------- /NodeCore/NodeCore.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/NodeCore.csproj -------------------------------------------------------------------------------- /NodeCore/NodeCore.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/NodeCore.csproj.user -------------------------------------------------------------------------------- /NodeCore/NodeManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/NodeManager.cs -------------------------------------------------------------------------------- /NodeCore/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /NodeCore/Server.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/Server.cs -------------------------------------------------------------------------------- /NodeCore/Settings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/Settings.cs -------------------------------------------------------------------------------- /NodeCore/SettingsManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/SettingsManager.cs -------------------------------------------------------------------------------- /NodeCore/Trace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/Trace.cs -------------------------------------------------------------------------------- /NodeCore/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/Utils.cs -------------------------------------------------------------------------------- /NodeCore/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/app.config -------------------------------------------------------------------------------- /NodeCore/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeCore/packages.config -------------------------------------------------------------------------------- /NodeTester/AddressManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/AddressManager.cs -------------------------------------------------------------------------------- /NodeTester/AddressManagerEditorAddWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/AddressManagerEditorAddWindow.cs -------------------------------------------------------------------------------- /NodeTester/AddressManagerEditorWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/AddressManagerEditorWindow.cs -------------------------------------------------------------------------------- /NodeTester/App.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/App.cs -------------------------------------------------------------------------------- /NodeTester/BlockChainManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/BlockChainManager.cs -------------------------------------------------------------------------------- /NodeTester/ColorConsoleTraceListener.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/ColorConsoleTraceListener.cs -------------------------------------------------------------------------------- /NodeTester/ConsoleWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/ConsoleWindow.cs -------------------------------------------------------------------------------- /NodeTester/DiscoveryManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/DiscoveryManager.cs -------------------------------------------------------------------------------- /NodeTester/ExternalTestingServicesHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/ExternalTestingServicesHelper.cs -------------------------------------------------------------------------------- /NodeTester/FieldEntry.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/FieldEntry.cs -------------------------------------------------------------------------------- /NodeTester/IpExtensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/IpExtensions.cs -------------------------------------------------------------------------------- /NodeTester/LanNodeManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/LanNodeManager.cs -------------------------------------------------------------------------------- /NodeTester/LogMessage.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/LogMessage.cs -------------------------------------------------------------------------------- /NodeTester/MainWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/MainWindow.cs -------------------------------------------------------------------------------- /NodeTester/NATTestsHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/NATTestsHelper.cs -------------------------------------------------------------------------------- /NodeTester/Networks.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Networks.cs -------------------------------------------------------------------------------- /NodeTester/NodeTester.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/NodeTester.csproj -------------------------------------------------------------------------------- /NodeTester/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Program.cs -------------------------------------------------------------------------------- /NodeTester/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /NodeTester/RemoteServerTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/RemoteServerTest.cs -------------------------------------------------------------------------------- /NodeTester/ResourceOwnerWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/ResourceOwnerWindow.cs -------------------------------------------------------------------------------- /NodeTester/Runtime.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Runtime.cs -------------------------------------------------------------------------------- /NodeTester/SelfTest.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/SelfTest.cs -------------------------------------------------------------------------------- /NodeTester/ServerManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/ServerManager.cs -------------------------------------------------------------------------------- /NodeTester/Settings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Settings.cs -------------------------------------------------------------------------------- /NodeTester/SettingsManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/SettingsManager.cs -------------------------------------------------------------------------------- /NodeTester/SettingsWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/SettingsWindow.cs -------------------------------------------------------------------------------- /NodeTester/Trace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Trace.cs -------------------------------------------------------------------------------- /NodeTester/TransactionsPane.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/TransactionsPane.cs -------------------------------------------------------------------------------- /NodeTester/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Utils.cs -------------------------------------------------------------------------------- /NodeTester/WalletManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/WalletManager.cs -------------------------------------------------------------------------------- /NodeTester/Window.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/Window.cs -------------------------------------------------------------------------------- /NodeTester/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/app.config -------------------------------------------------------------------------------- /NodeTester/gtk-gui/MainWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/gtk-gui/MainWindow.cs -------------------------------------------------------------------------------- /NodeTester/gtk-gui/NodeTester.FieldEntry.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/gtk-gui/NodeTester.FieldEntry.cs -------------------------------------------------------------------------------- /NodeTester/gtk-gui/generated.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/gtk-gui/generated.cs -------------------------------------------------------------------------------- /NodeTester/gtk-gui/gui.stetic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/gtk-gui/gui.stetic -------------------------------------------------------------------------------- /NodeTester/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/NodeTester/packages.config -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/README.md -------------------------------------------------------------------------------- /README_CH.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/README_CH.md -------------------------------------------------------------------------------- /RPC/App.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/App.cs -------------------------------------------------------------------------------- /RPC/Data/SendContractPayload.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/Data/SendContractPayload.cs -------------------------------------------------------------------------------- /RPC/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /RPC/RPC.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/RPC.csproj -------------------------------------------------------------------------------- /RPC/RPC.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/RPC.csproj.user -------------------------------------------------------------------------------- /RPC/Server.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/Server.cs -------------------------------------------------------------------------------- /RPC/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/RPC/packages.config -------------------------------------------------------------------------------- /Store/DBContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/DBContext.cs -------------------------------------------------------------------------------- /Store/KeylessValueStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/KeylessValueStore.cs -------------------------------------------------------------------------------- /Store/MsgPackStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/MsgPackStore.cs -------------------------------------------------------------------------------- /Store/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Store/Store.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/Store.cs -------------------------------------------------------------------------------- /Store/Store.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/Store.csproj -------------------------------------------------------------------------------- /Store/Store.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/Store.csproj.user -------------------------------------------------------------------------------- /Store/StoredItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/StoredItem.cs -------------------------------------------------------------------------------- /Store/Trace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/Trace.cs -------------------------------------------------------------------------------- /Store/TransactionContext.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/TransactionContext.cs -------------------------------------------------------------------------------- /Store/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Store/packages.config -------------------------------------------------------------------------------- /Wallet.Tests/AssetTagsTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/AssetTagsTests.cs -------------------------------------------------------------------------------- /Wallet.Tests/Wallet.Tests.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/Wallet.Tests.csproj -------------------------------------------------------------------------------- /Wallet.Tests/WalletSpendTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/WalletSpendTests.cs -------------------------------------------------------------------------------- /Wallet.Tests/WalletTests.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/WalletTests.cs -------------------------------------------------------------------------------- /Wallet.Tests/WalletTestsBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/WalletTestsBase.cs -------------------------------------------------------------------------------- /Wallet.Tests/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/app.config -------------------------------------------------------------------------------- /Wallet.Tests/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.Tests/packages.config -------------------------------------------------------------------------------- /Wallet.core/.gitignore: -------------------------------------------------------------------------------- 1 | bin 2 | obj 3 | -------------------------------------------------------------------------------- /Wallet.core/Data/AssetType.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Data/AssetType.cs -------------------------------------------------------------------------------- /Wallet.core/Data/Assets.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Data/Assets.cs -------------------------------------------------------------------------------- /Wallet.core/Data/Key.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Data/Key.cs -------------------------------------------------------------------------------- /Wallet.core/Data/UpdateInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Data/UpdateInfo.cs -------------------------------------------------------------------------------- /Wallet.core/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Wallet.core/Store/KeyStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Store/KeyStore.cs -------------------------------------------------------------------------------- /Wallet.core/Store/TxStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Store/TxStore.cs -------------------------------------------------------------------------------- /Wallet.core/Wallet.core.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/Wallet.core.csproj -------------------------------------------------------------------------------- /Wallet.core/WalletManager.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/WalletManager.cs -------------------------------------------------------------------------------- /Wallet.core/WalletTrace.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/WalletTrace.cs -------------------------------------------------------------------------------- /Wallet.core/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet.core/packages.config -------------------------------------------------------------------------------- /Wallet/.gitignore: -------------------------------------------------------------------------------- 1 | bin 2 | obj -------------------------------------------------------------------------------- /Wallet/App.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/App.cs -------------------------------------------------------------------------------- /Wallet/Assets/Balance_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Balance_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Balance_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Balance_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Bitcoin_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Bitcoin_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Bitcoin_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Bitcoin_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Contract/Create.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Contract/Create.png -------------------------------------------------------------------------------- /Wallet/Assets/Contract/Load.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Contract/Load.png -------------------------------------------------------------------------------- /Wallet/Assets/Contract/Verify.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Contract/Verify.png -------------------------------------------------------------------------------- /Wallet/Assets/Contract_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Contract_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Contract_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Contract_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Create.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Create.png -------------------------------------------------------------------------------- /Wallet/Assets/Ether_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Ether_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Ether_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Ether_on.png -------------------------------------------------------------------------------- /Wallet/Assets/History_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/History_off.png -------------------------------------------------------------------------------- /Wallet/Assets/History_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/History_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Lite_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Lite_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Lite_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Lite_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Market_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Market_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Market_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Market_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Portfolio_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Portfolio_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Portfolio_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Portfolio_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Wallet_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Wallet_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Wallet_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Wallet_on.png -------------------------------------------------------------------------------- /Wallet/Assets/Zen_off.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Zen_off.png -------------------------------------------------------------------------------- /Wallet/Assets/Zen_on.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/Zen_on.png -------------------------------------------------------------------------------- /Wallet/Assets/logosmall.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/logosmall.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Activate.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Activate.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Activate_disabled.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Activate_disabled.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Back.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Back.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Bitcoin.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Bitcoin.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Copied.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Copied.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Copy.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Copy.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Copy_public_key.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Copy_public_key.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Ether.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Ether.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Lite.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Lite.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Paste.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Paste.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/QRcode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/QRcode.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Received.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Received.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Sent.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Sent.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Sign_and_Review.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Sign_and_Review.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/Zen.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/Zen.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/arrowdown.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/arrowdown.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/arrows.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/arrows.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/arrowup.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/arrowup.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/receive.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/receive.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/send.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/send.png -------------------------------------------------------------------------------- /Wallet/Assets/misc/send_dialog.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Assets/misc/send_dialog.png -------------------------------------------------------------------------------- /Wallet/Constants.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Constants.cs -------------------------------------------------------------------------------- /Wallet/Contract/ContractLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Contract/ContractLayout.cs -------------------------------------------------------------------------------- /Wallet/Controllers/AssetsController.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Controllers/AssetsController.cs -------------------------------------------------------------------------------- /Wallet/Controllers/AssetsMetadata.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Controllers/AssetsMetadata.cs -------------------------------------------------------------------------------- /Wallet/Controllers/ContractController.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Controllers/ContractController.cs -------------------------------------------------------------------------------- /Wallet/Controllers/DeltasController.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Controllers/DeltasController.cs -------------------------------------------------------------------------------- /Wallet/Controllers/MainWindowController.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Controllers/MainWindowController.cs -------------------------------------------------------------------------------- /Wallet/Domain/DirectionEnum.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Domain/DirectionEnum.cs -------------------------------------------------------------------------------- /Wallet/Domain/LogEntry.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Domain/LogEntry.cs -------------------------------------------------------------------------------- /Wallet/Domain/TransactionItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Domain/TransactionItem.cs -------------------------------------------------------------------------------- /Wallet/Domain/Zen.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Domain/Zen.cs -------------------------------------------------------------------------------- /Wallet/Extensions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Extensions.cs -------------------------------------------------------------------------------- /Wallet/GUI.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/GUI.csproj -------------------------------------------------------------------------------- /Wallet/IControlInit.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/IControlInit.cs -------------------------------------------------------------------------------- /Wallet/ImagesCache.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/ImagesCache.cs -------------------------------------------------------------------------------- /Wallet/LayoutHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/LayoutHelper.cs -------------------------------------------------------------------------------- /Wallet/MainWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/MainWindow.cs -------------------------------------------------------------------------------- /Wallet/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Wallet/UpdatingStore.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/UpdatingStore.cs -------------------------------------------------------------------------------- /Wallet/Utils.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Utils.cs -------------------------------------------------------------------------------- /Wallet/Wallet.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Wallet.sln -------------------------------------------------------------------------------- /Wallet/Wallet/WalletLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Wallet/WalletLayout.cs -------------------------------------------------------------------------------- /Wallet/Wallet/WalletReceiveLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Wallet/WalletReceiveLayout.cs -------------------------------------------------------------------------------- /Wallet/Wallet/WalletSendConfirmationLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Wallet/WalletSendConfirmationLayout.cs -------------------------------------------------------------------------------- /Wallet/Wallet/WalletSendLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Wallet/WalletSendLayout.cs -------------------------------------------------------------------------------- /Wallet/Widgets/AddKeyDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/AddKeyDialog.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Contract/Contract.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Contract/Contract.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Contract/ContractActivation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Contract/ContractActivation.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Contract/ContractLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Contract/ContractLayout.cs -------------------------------------------------------------------------------- /Wallet/Widgets/DialogBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/DialogBase.cs -------------------------------------------------------------------------------- /Wallet/Widgets/FocusableWidget.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/FocusableWidget.cs -------------------------------------------------------------------------------- /Wallet/Widgets/KeysDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/KeysDialog.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/ILogEntryRow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/ILogEntryRow.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/Log.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/Log.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/LogCellRenderer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/LogCellRenderer.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/LogEntryRow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/LogEntryRow.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/LogHeaderRow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/LogHeaderRow.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/LogLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/LogLayout.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/LogSummaryRow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/LogSummaryRow.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Log/LogTotals.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Log/LogTotals.cs -------------------------------------------------------------------------------- /Wallet/Widgets/MainArea.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/MainArea.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Menu/ImageButton.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Menu/ImageButton.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Menu/MainMenu.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Menu/MainMenu.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Menu/MenuBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Menu/MenuBase.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Menu/MenuButton.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Menu/MenuButton.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Menu/TextButton.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Menu/TextButton.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Menu/VerticalMenu.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Menu/VerticalMenu.cs -------------------------------------------------------------------------------- /Wallet/Widgets/MessageBox.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/MessageBox.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/Portfolio.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/Portfolio.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/PortfolioItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/PortfolioItem.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/PortfolioLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/PortfolioLayout.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/PortfolioRenderer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/PortfolioRenderer.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/PortfolioTable.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/PortfolioTable.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/PortfolioTotals.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/PortfolioTotals.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Portfolio/RowRenderer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Portfolio/RowRenderer.cs -------------------------------------------------------------------------------- /Wallet/Widgets/ReceiveDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/ReceiveDialog.cs -------------------------------------------------------------------------------- /Wallet/Widgets/RendererHelper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/RendererHelper.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SendDialog/DialogComboField.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SendDialog/DialogComboField.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SendDialog/DialogField.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SendDialog/DialogField.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SendDialog/SendDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SendDialog/SendDialog.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SendDialog/SendDialogStep1.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SendDialog/SendDialogStep1.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SendDialog/SendDialogStep2.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SendDialog/SendDialogStep2.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SendDialog/SendRaw.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SendDialog/SendRaw.cs -------------------------------------------------------------------------------- /Wallet/Widgets/SignMessageDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/SignMessageDialog.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Status.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Status.cs -------------------------------------------------------------------------------- /Wallet/Widgets/TextRenderer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/TextRenderer.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Wallet/ActionBar.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Wallet/ActionBar.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Wallet/Transactions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Wallet/Transactions.cs -------------------------------------------------------------------------------- /Wallet/Widgets/Wallet/Wallet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/Wallet/Wallet.cs -------------------------------------------------------------------------------- /Wallet/Widgets/WidgetBase.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/WidgetBase.cs -------------------------------------------------------------------------------- /Wallet/Widgets/WidgetCache.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/Widgets/WidgetCache.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.ActionBar.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.ActionBar.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.AddKeyDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.AddKeyDialog.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.Contract.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.Contract.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.ContractActivation.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.ContractActivation.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.DialogComboField.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.DialogComboField.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.DialogField.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.DialogField.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.ImageButton.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.ImageButton.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.KeysDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.KeysDialog.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.Log.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.Log.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.LogLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.LogLayout.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.LogSummary.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.LogSummary.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.MainArea.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.MainArea.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.MainMenu.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.MainMenu.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.MainWindow.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.MainWindow.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.MenuButton.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.MenuButton.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.MessageBox.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.MessageBox.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.Portfolio.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.Portfolio.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.PortfolioItem.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.PortfolioItem.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.ReceiveDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.ReceiveDialog.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.SendDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.SendDialog.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.SendDialogStep1.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.SendDialogStep1.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.SendDialogStep2.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.SendDialogStep2.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.SendDialogWaiting.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.SendDialogWaiting.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.SendRaw.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.SendRaw.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.SignMessageDialog.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.SignMessageDialog.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.Transactions.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.Transactions.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.VerticalMenu.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.VerticalMenu.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.Wallet.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.Wallet.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.WalletLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.WalletLayout.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.WalletSendLayout.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.WalletSendLayout.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/Wallet.Widgets.Status.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/Wallet.Widgets.Status.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/generated.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/generated.cs -------------------------------------------------------------------------------- /Wallet/gtk-gui/gui.stetic: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/gtk-gui/gui.stetic -------------------------------------------------------------------------------- /Wallet/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/packages.config -------------------------------------------------------------------------------- /Wallet/todo.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Wallet/todo.txt -------------------------------------------------------------------------------- /Zen.RPC.Common/Payloads.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC.Common/Payloads.cs -------------------------------------------------------------------------------- /Zen.RPC.Common/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC.Common/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Zen.RPC.Common/Zen.RPC.Common.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC.Common/Zen.RPC.Common.csproj -------------------------------------------------------------------------------- /Zen.RPC.Common/Zen.RPC.Common.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC.Common/Zen.RPC.Common.csproj.user -------------------------------------------------------------------------------- /Zen.RPC.Common/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC.Common/packages.config -------------------------------------------------------------------------------- /Zen.RPC/Client.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC/Client.cs -------------------------------------------------------------------------------- /Zen.RPC/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Zen.RPC/Zen.RPC.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC/Zen.RPC.csproj -------------------------------------------------------------------------------- /Zen.RPC/Zen.RPC.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC/Zen.RPC.csproj.user -------------------------------------------------------------------------------- /Zen.RPC/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.RPC/packages.config -------------------------------------------------------------------------------- /Zen.StockAPI.Google/IStockAPI.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.StockAPI.Google/IStockAPI.cs -------------------------------------------------------------------------------- /Zen.StockAPI.Google/StockAPI.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.StockAPI.Google/StockAPI.cs -------------------------------------------------------------------------------- /Zen.StockAPI.Google/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen.StockAPI.Google/packages.config -------------------------------------------------------------------------------- /Zen/App.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/App.cs -------------------------------------------------------------------------------- /Zen/AppTraceListener.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/AppTraceListener.cs -------------------------------------------------------------------------------- /Zen/BlockChainDumper.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/BlockChainDumper.cs -------------------------------------------------------------------------------- /Zen/Data/Outputs.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Data/Outputs.cs -------------------------------------------------------------------------------- /Zen/Data/Settings.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Data/Settings.cs -------------------------------------------------------------------------------- /Zen/Data/TestKeys.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Data/TestKeys.cs -------------------------------------------------------------------------------- /Zen/OLD-icon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/OLD-icon.ico -------------------------------------------------------------------------------- /Zen/Program.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Program.cs -------------------------------------------------------------------------------- /Zen/Properties/AssemblyInfo.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Properties/AssemblyInfo.cs -------------------------------------------------------------------------------- /Zen/Server.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Server.cs -------------------------------------------------------------------------------- /Zen/TUI.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/TUI.cs -------------------------------------------------------------------------------- /Zen/WebServer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/WebServer.cs -------------------------------------------------------------------------------- /Zen/WebSocketServer.cs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/WebSocketServer.cs -------------------------------------------------------------------------------- /Zen/Zen.csproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Zen.csproj -------------------------------------------------------------------------------- /Zen/Zen.csproj.user: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/Zen.csproj.user -------------------------------------------------------------------------------- /Zen/alpha_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/alpha_client.json -------------------------------------------------------------------------------- /Zen/alpha_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/alpha_host.json -------------------------------------------------------------------------------- /Zen/app.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/app.config -------------------------------------------------------------------------------- /Zen/contracts-demo-seed.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/contracts-demo-seed.json -------------------------------------------------------------------------------- /Zen/d3.min.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/d3.min.js -------------------------------------------------------------------------------- /Zen/demo_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/demo_client.json -------------------------------------------------------------------------------- /Zen/demo_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/demo_host.json -------------------------------------------------------------------------------- /Zen/genesis_outputs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/genesis_outputs.json -------------------------------------------------------------------------------- /Zen/graph.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/graph.html -------------------------------------------------------------------------------- /Zen/icon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/icon.ico -------------------------------------------------------------------------------- /Zen/keys.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/keys.json -------------------------------------------------------------------------------- /Zen/lan_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/lan_client.json -------------------------------------------------------------------------------- /Zen/lan_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/lan_host.json -------------------------------------------------------------------------------- /Zen/libsodium.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/libsodium.dll -------------------------------------------------------------------------------- /Zen/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/packages.config -------------------------------------------------------------------------------- /Zen/readme.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/readme.md -------------------------------------------------------------------------------- /Zen/staging_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/staging_client.json -------------------------------------------------------------------------------- /Zen/staging_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/staging_host.json -------------------------------------------------------------------------------- /Zen/standalone.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/standalone.json -------------------------------------------------------------------------------- /Zen/test1_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/test1_client.json -------------------------------------------------------------------------------- /Zen/test1_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/test1_host.json -------------------------------------------------------------------------------- /Zen/test2_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/test2_client.json -------------------------------------------------------------------------------- /Zen/test2_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/test2_host.json -------------------------------------------------------------------------------- /Zen/test3_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/test3_client.json -------------------------------------------------------------------------------- /Zen/test3_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/test3_host.json -------------------------------------------------------------------------------- /Zen/testnet_client.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/testnet_client.json -------------------------------------------------------------------------------- /Zen/testnet_host.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zen/testnet_host.json -------------------------------------------------------------------------------- /Zen/tickers.json: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /ZenFSharpC/AssemblyInfo.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenFSharpC/AssemblyInfo.fs -------------------------------------------------------------------------------- /ZenFSharpC/Program.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenFSharpC/Program.fs -------------------------------------------------------------------------------- /ZenFSharpC/ZenFSharpC.fsproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenFSharpC/ZenFSharpC.fsproj -------------------------------------------------------------------------------- /ZenFSharpC/packages.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenFSharpC/packages.config -------------------------------------------------------------------------------- /ZenInstaller/Bundle.wxs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/Bundle.wxs -------------------------------------------------------------------------------- /ZenInstaller/HyperlinkTheme.wxl: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/HyperlinkTheme.wxl -------------------------------------------------------------------------------- /ZenInstaller/ZenInstaller.wixproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/ZenInstaller.wixproj -------------------------------------------------------------------------------- /ZenInstaller/gtk-sharp-2.12.44.msi: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/gtk-sharp-2.12.44.msi -------------------------------------------------------------------------------- /ZenInstaller/icon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/icon.ico -------------------------------------------------------------------------------- /ZenInstaller/logo.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/logo.jpg -------------------------------------------------------------------------------- /ZenInstaller/sidebar.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/sidebar.jpg -------------------------------------------------------------------------------- /ZenInstaller/vc_redist.x86.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenInstaller/vc_redist.x86.exe -------------------------------------------------------------------------------- /ZenPackage/Product.wxs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenPackage/Product.wxs -------------------------------------------------------------------------------- /ZenPackage/ZenPackage.wixproj: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenPackage/ZenPackage.wixproj -------------------------------------------------------------------------------- /ZenPackage/icon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenPackage/icon.ico -------------------------------------------------------------------------------- /ZenPackage/libsodium.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/ZenPackage/libsodium.dll -------------------------------------------------------------------------------- /Zulib/.paket/paket.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/.paket/paket.exe -------------------------------------------------------------------------------- /Zulib/build.cmd: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/build.cmd -------------------------------------------------------------------------------- /Zulib/build.fsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/build.fsx -------------------------------------------------------------------------------- /Zulib/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/build.sh -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.Int.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.Int.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.Int64.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.Int64.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.Mul.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.Mul.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.Pervasives.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.Pervasives.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.UInt.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.UInt.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.UInt32.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.UInt32.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.UInt64.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.UInt64.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/FStar.UInt8.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/FStar.UInt8.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.ArrayRealized.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.ArrayRealized.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Cost.Realized.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Cost.Realized.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Cost.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Cost.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Crypto.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Crypto.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Float.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Float.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Merkle.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Merkle.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Sha3.Realized.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Sha3.Realized.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.UInt32.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.UInt32.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.UInt64.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.UInt64.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/Zen.Util.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/Zen.Util.fs -------------------------------------------------------------------------------- /Zulib/fsharp/Realized/prims.fs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fsharp/Realized/prims.fs -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Int.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Int.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Int.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Int.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Int64.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Int64.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Int64.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Int64.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Mul.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Mul.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Mul.fst.hints: -------------------------------------------------------------------------------- 1 | ["1e7029a95101cf88089333699ea8a9cd",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Option.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Option.fsti -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Option.fsti.hints: -------------------------------------------------------------------------------- 1 | ["c254ca2f8d8029dba4af2c56bb977c55",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Pervasives.Native.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Pervasives.Native.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Pervasives.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Pervasives.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.Pervasives.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.Pervasives.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt32.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt32.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt32.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt32.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt64.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt64.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt64.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt64.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt8.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt8.fst -------------------------------------------------------------------------------- /Zulib/fstar/FStar.UInt8.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/FStar.UInt8.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Array.Extracted.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Array.Extracted.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Array.Extracted.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Array.Extracted.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Array.Realized.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Array.Realized.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Array.Realized.fsti.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Array.Realized.fsti.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Array.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Array.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Array.fst.hints: -------------------------------------------------------------------------------- 1 | ["30e46debcd2a90e1eba0d6ced7f44959",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Base.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Base.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Base.fst.hints: -------------------------------------------------------------------------------- 1 | ["425b345577a78c8b6e5df5e3b572669a",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.ByteArray.fst.hints: -------------------------------------------------------------------------------- 1 | ["ecc1291fa473c2c1ffd63fbc4de09739",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Cost.Extracted.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Cost.Extracted.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Cost.Extracted.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Cost.Extracted.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Cost.Realized.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Cost.Realized.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Cost.Realized.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Cost.Realized.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Cost.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Cost.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Cost.fst.hints: -------------------------------------------------------------------------------- 1 | ["2922828919847da14226a01d49c9f6d3",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Crypto.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Crypto.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Crypto.fsti.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Crypto.fsti.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Error.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Error.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Error.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Error.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.ErrorT.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.ErrorT.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.ErrorT.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.ErrorT.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Merkle.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Merkle.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Merkle.fsti.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Merkle.fsti.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Option.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Option.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Option.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Option.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.OptionT.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.OptionT.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.OptionT.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.OptionT.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Sha3.Realized.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Sha3.Realized.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Sha3.Realized.fsti.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Sha3.Realized.fsti.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Tuple.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Tuple.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Tuple.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Tuple.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.TupleT.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.TupleT.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.TupleT.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.TupleT.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Types.Extracted.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Types.Extracted.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Types.Extracted.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Types.Extracted.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Types.Realized.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Types.Realized.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Types.Realized.fsti.hints: -------------------------------------------------------------------------------- 1 | ["ec7ee1322fe8c378342b9826fa086357",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Types.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Types.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Types.fst.hints: -------------------------------------------------------------------------------- 1 | ["6dc59c6ced1d8e35d4af65669d658341",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Util.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Util.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Util.fsti.hints: -------------------------------------------------------------------------------- 1 | ["6d0a4e36664739bca59831cdd2038829",[]] 2 | -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Vector.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Vector.fst -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Vector.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Vector.fst.hints -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Wallet.fsti: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Wallet.fsti -------------------------------------------------------------------------------- /Zulib/fstar/Zen.Wallet.fsti.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/Zen.Wallet.fsti.hints -------------------------------------------------------------------------------- /Zulib/fstar/prims.fst: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/prims.fst -------------------------------------------------------------------------------- /Zulib/fstar/prims.fst.hints: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/fstar/prims.fst.hints -------------------------------------------------------------------------------- /Zulib/paket.dependencies: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/paket.dependencies -------------------------------------------------------------------------------- /Zulib/paket.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/paket.lock -------------------------------------------------------------------------------- /Zulib/paket.template: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/Zulib/paket.template -------------------------------------------------------------------------------- /packaging/OSX/Info.plist: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/Info.plist -------------------------------------------------------------------------------- /packaging/OSX/Installer_window.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/Installer_window.png -------------------------------------------------------------------------------- /packaging/OSX/Zen.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/Zen.icns -------------------------------------------------------------------------------- /packaging/OSX/_assets/Installer_window.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Installer_window.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen.icns: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen.icns -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen_icon_128x128.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen_icon_128x128.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen_icon_16x16.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen_icon_16x16.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen_icon_256x256.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen_icon_256x256.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen_icon_32x32.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen_icon_32x32.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen_icon_512x512.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen_icon_512x512.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/Zen_icon_64x64.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/Zen_icon_64x64.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/pc_165x400_01.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/pc_165x400_01.png -------------------------------------------------------------------------------- /packaging/OSX/_assets/pc_165x400_02.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/_assets/pc_165x400_02.png -------------------------------------------------------------------------------- /packaging/OSX/appdmg.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/appdmg.json -------------------------------------------------------------------------------- /packaging/OSX/dmg-background.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/dmg-background.png -------------------------------------------------------------------------------- /packaging/OSX/dmg-background@2x.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/dmg-background@2x.png -------------------------------------------------------------------------------- /packaging/OSX/packosx.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/packosx.sh -------------------------------------------------------------------------------- /packaging/OSX/zen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/OSX/zen -------------------------------------------------------------------------------- /packaging/linux/packlinux.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/linux/packlinux.sh -------------------------------------------------------------------------------- /packaging/linux/run-zen: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/packaging/linux/run-zen -------------------------------------------------------------------------------- /tools/fstar/dotnet/FSharp.Core.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/FSharp.Core.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/FSharp.Core.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/FSharp.Core.xml -------------------------------------------------------------------------------- /tools/fstar/dotnet/FSharp.PPrint.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/FSharp.PPrint.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/FsLexYacc.Runtime.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/FsLexYacc.Runtime.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/FsLexYacc.Runtime.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/FsLexYacc.Runtime.xml -------------------------------------------------------------------------------- /tools/fstar/dotnet/basic.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/basic.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/basic.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/basic.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/basic.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/basic.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/extraction.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/extraction.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/extraction.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/extraction.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/extraction.dll.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/extraction.dll.config -------------------------------------------------------------------------------- /tools/fstar/dotnet/extraction.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/extraction.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/format.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/format.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/format.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/format.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/format.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/format.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/fsdoc.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fsdoc.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/fsdoc.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fsdoc.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/fsdoc.dll.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fsdoc.dll.config -------------------------------------------------------------------------------- /tools/fstar/dotnet/fsdoc.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fsdoc.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/fstar.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fstar.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/fstar.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fstar.exe -------------------------------------------------------------------------------- /tools/fstar/dotnet/fstar.exe.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fstar.exe.config -------------------------------------------------------------------------------- /tools/fstar/dotnet/fstar.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/fstar.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/parser.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/parser.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/parser.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/parser.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/parser.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/parser.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/prettyprint.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/prettyprint.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/prettyprint.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/prettyprint.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/prettyprint.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/prettyprint.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/reflection.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/reflection.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/reflection.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/reflection.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/smtencoding.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/smtencoding.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/smtencoding.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/smtencoding.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/smtencoding.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/smtencoding.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/syntax.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/syntax.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/syntax.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/syntax.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/syntax.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/syntax.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/tactics.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tactics.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/tactics.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tactics.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/tactics.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tactics.xml -------------------------------------------------------------------------------- /tools/fstar/dotnet/tests.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tests.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/tests.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tests.exe -------------------------------------------------------------------------------- /tools/fstar/dotnet/tests.exe.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tests.exe.config -------------------------------------------------------------------------------- /tools/fstar/dotnet/tests.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tests.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/tosyntax.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tosyntax.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/tosyntax.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tosyntax.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/tosyntax.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/tosyntax.pdb -------------------------------------------------------------------------------- /tools/fstar/dotnet/typechecker.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/typechecker.XML -------------------------------------------------------------------------------- /tools/fstar/dotnet/typechecker.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/typechecker.dll -------------------------------------------------------------------------------- /tools/fstar/dotnet/typechecker.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/dotnet/typechecker.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/FSharp.Core.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FSharp.Core.dll -------------------------------------------------------------------------------- /tools/fstar/mono/FSharp.Core.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FSharp.Core.xml -------------------------------------------------------------------------------- /tools/fstar/mono/FSharp.PPrint.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FSharp.PPrint.dll -------------------------------------------------------------------------------- /tools/fstar/mono/FSharp.PowerPack.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FSharp.PowerPack.dll -------------------------------------------------------------------------------- /tools/fstar/mono/FSharp.PowerPack.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FSharp.PowerPack.xml -------------------------------------------------------------------------------- /tools/fstar/mono/FsLexYacc.Runtime.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FsLexYacc.Runtime.dll -------------------------------------------------------------------------------- /tools/fstar/mono/FsLexYacc.Runtime.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/FsLexYacc.Runtime.xml -------------------------------------------------------------------------------- /tools/fstar/mono/basic.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/basic.XML -------------------------------------------------------------------------------- /tools/fstar/mono/basic.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/basic.dll -------------------------------------------------------------------------------- /tools/fstar/mono/basic.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/basic.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/basic.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/basic.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/extraction.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/extraction.XML -------------------------------------------------------------------------------- /tools/fstar/mono/extraction.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/extraction.dll -------------------------------------------------------------------------------- /tools/fstar/mono/extraction.dll.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/extraction.dll.config -------------------------------------------------------------------------------- /tools/fstar/mono/extraction.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/extraction.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/extraction.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/extraction.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/format.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/format.XML -------------------------------------------------------------------------------- /tools/fstar/mono/format.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/format.dll -------------------------------------------------------------------------------- /tools/fstar/mono/format.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/format.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/format.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/format.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/fsdoc.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fsdoc.XML -------------------------------------------------------------------------------- /tools/fstar/mono/fsdoc.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fsdoc.dll -------------------------------------------------------------------------------- /tools/fstar/mono/fsdoc.dll.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fsdoc.dll.config -------------------------------------------------------------------------------- /tools/fstar/mono/fsdoc.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fsdoc.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/fsdoc.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fsdoc.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/fstar-any.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar-any.sh -------------------------------------------------------------------------------- /tools/fstar/mono/fstar-compiler-lib/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar-compiler-lib/META -------------------------------------------------------------------------------- /tools/fstar/mono/fstar-tactics-lib/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar-tactics-lib/META -------------------------------------------------------------------------------- /tools/fstar/mono/fstar.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar.XML -------------------------------------------------------------------------------- /tools/fstar/mono/fstar.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar.exe -------------------------------------------------------------------------------- /tools/fstar/mono/fstar.exe.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar.exe.config -------------------------------------------------------------------------------- /tools/fstar/mono/fstar.exe.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar.exe.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/fstar.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstar.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/fstarlib/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/fstarlib/META -------------------------------------------------------------------------------- /tools/fstar/mono/parser.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/parser.XML -------------------------------------------------------------------------------- /tools/fstar/mono/parser.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/parser.dll -------------------------------------------------------------------------------- /tools/fstar/mono/parser.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/parser.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/parser.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/parser.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/prettyprint.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/prettyprint.XML -------------------------------------------------------------------------------- /tools/fstar/mono/prettyprint.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/prettyprint.dll -------------------------------------------------------------------------------- /tools/fstar/mono/prettyprint.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/prettyprint.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/prettyprint.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/prettyprint.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/reflection.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/reflection.dll -------------------------------------------------------------------------------- /tools/fstar/mono/reflection.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/reflection.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/reflection.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/reflection.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/smtencoding.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/smtencoding.XML -------------------------------------------------------------------------------- /tools/fstar/mono/smtencoding.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/smtencoding.dll -------------------------------------------------------------------------------- /tools/fstar/mono/smtencoding.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/smtencoding.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/smtencoding.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/smtencoding.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/syntax.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/syntax.XML -------------------------------------------------------------------------------- /tools/fstar/mono/syntax.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/syntax.dll -------------------------------------------------------------------------------- /tools/fstar/mono/syntax.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/syntax.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/syntax.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/syntax.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/tactics.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tactics.dll -------------------------------------------------------------------------------- /tools/fstar/mono/tactics.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tactics.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/tactics.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tactics.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/tests-mono.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tests-mono.sh -------------------------------------------------------------------------------- /tools/fstar/mono/tests.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tests.XML -------------------------------------------------------------------------------- /tools/fstar/mono/tests.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tests.exe -------------------------------------------------------------------------------- /tools/fstar/mono/tests.exe.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tests.exe.config -------------------------------------------------------------------------------- /tools/fstar/mono/tests.exe.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tests.exe.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/tests.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tests.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/tosyntax.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tosyntax.XML -------------------------------------------------------------------------------- /tools/fstar/mono/tosyntax.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tosyntax.dll -------------------------------------------------------------------------------- /tools/fstar/mono/tosyntax.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tosyntax.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/tosyntax.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/tosyntax.pdb -------------------------------------------------------------------------------- /tools/fstar/mono/typechecker.XML: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/typechecker.XML -------------------------------------------------------------------------------- /tools/fstar/mono/typechecker.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/typechecker.dll -------------------------------------------------------------------------------- /tools/fstar/mono/typechecker.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/typechecker.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/mono/typechecker.pdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/mono/typechecker.pdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/FSharp.Core.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/FSharp.Core.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/FSharp.PPrint.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/FSharp.PPrint.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/FsLexYacc.Runtime.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/FsLexYacc.Runtime.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/basic.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/basic.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/basic.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/basic.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/extraction.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/extraction.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/extraction.dll.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/extraction.dll.config -------------------------------------------------------------------------------- /tools/fstar/ocaml/extraction.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/extraction.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/format.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/format.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/format.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/format.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/fsdoc.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fsdoc.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/fsdoc.dll.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fsdoc.dll.config -------------------------------------------------------------------------------- /tools/fstar/ocaml/fsdoc.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fsdoc.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/fstar: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fstar -------------------------------------------------------------------------------- /tools/fstar/ocaml/fstar-any.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fstar-any.sh -------------------------------------------------------------------------------- /tools/fstar/ocaml/fstar.exe.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fstar.exe.config -------------------------------------------------------------------------------- /tools/fstar/ocaml/fstar.exe.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fstar.exe.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/fstar.ocaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fstar.ocaml -------------------------------------------------------------------------------- /tools/fstar/ocaml/fstarlib/META: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/fstarlib/META -------------------------------------------------------------------------------- /tools/fstar/ocaml/parser.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/parser.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/parser.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/parser.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/prettyprint.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/prettyprint.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/prettyprint.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/prettyprint.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/reflection.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/reflection.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/reflection.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/reflection.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/smtencoding.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/smtencoding.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/smtencoding.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/smtencoding.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/syntax.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/syntax.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/syntax.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/syntax.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/tactics.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tactics.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/tactics.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tactics.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/tests-mono.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tests-mono.sh -------------------------------------------------------------------------------- /tools/fstar/ocaml/tests.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tests.exe -------------------------------------------------------------------------------- /tools/fstar/ocaml/tests.exe.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tests.exe.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/tosyntax.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tosyntax.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/tosyntax.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/tosyntax.dll.mdb -------------------------------------------------------------------------------- /tools/fstar/ocaml/typechecker.dll: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/typechecker.dll -------------------------------------------------------------------------------- /tools/fstar/ocaml/typechecker.dll.mdb: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/fstar/ocaml/typechecker.dll.mdb -------------------------------------------------------------------------------- /tools/z3/linux/z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/z3/linux/z3 -------------------------------------------------------------------------------- /tools/z3/osx/z3: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/z3/osx/z3 -------------------------------------------------------------------------------- /tools/z3/windows/z3.exe: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/tools/z3/windows/z3.exe -------------------------------------------------------------------------------- /unix.sln: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/zenprotocol/zen-wallet/HEAD/unix.sln --------------------------------------------------------------------------------