https://www.functori.com/ 1.0 https://www.functori.com/software.html 0.8 https://www.functori.com/blog/ 0.8 https://www.functori.com/terms.html 0.8 https://www.functori.com/blog/blog-nft-contract-static-analysis-with-factori.html 0.7 https://www.functori.com/blog/blog-factori-analysis-secure-and-enhance-smart-contracts.html 0.7 https://www.functori.com/blog/blog-functori-contributions-to-tezos-smart-rollups.html 0.7 https://www.functori.com/blog/blog-nfts-are-not-just-cute-kitten-and-monkeys-gifs.html 0.7 https://www.functori.com/blog/blog-smart-optimistic-rollups-refutation-games-on-explorus.html 0.7 https://www.functori.com/blog/blog-smart-contracts-review-journey-at-functori.html 0.7 https://www.functori.com/blog/blog-csharp-python-now-supported-in-factori.html 0.7 https://www.functori.com/blog/blog-getting-started-with-explorus.html 0.7 https://www.functori.com/blog/blog-factori-tutorial-for-scenarios.html 0.7 https://www.functori.com/blog/blog-new-features-in-factori-more-free-stuff-for-smart-contract-programmers.html 0.7 https://www.functori.com/blog/blog-factori-tutorial-ocaml.html 0.7 https://www.functori.com/blog/blog-factori-introduction-and-tutorial.html 0.7 https://www.functori.com/blog/blog-playing-consensus-scenarios-on-Tenderbake-with-Mitten.html 0.7 https://www.functori.com/blog/blog-activating-tenderbake-a-story-in-data.html 0.7 https://www.functori.com/blog/blog-tenderbake-baker-as-state-machine.html 0.7 https://www.functori.com/docs/factori/ 0.5 https://www.functori.com/docs/crawlori/ 0.5 https://www.functori.com/docs/mitten/ 0.5 https://www.functori.com/docs/factori/installation/docker.html 0.5 https://www.functori.com/docs/factori/introduction.html 0.5 https://www.functori.com/docs/factori/quickstart.html 0.5 https://www.functori.com/docs/factori/installation.html 0.5 https://www.functori.com/docs/factori/installation/source.html 0.5 https://www.functori.com/docs/factori/quickstart/sdk_generation.html 0.5 https://www.functori.com/docs/factori/quickstart/typescript.html 0.5 https://www.functori.com/docs/factori/quickstart/python.html 0.5 https://www.functori.com/docs/factori/quickstart/ocaml.html 0.5 https://www.functori.com/docs/factori/quickstart/csharp.html 0.5 https://www.functori.com/docs/factori/quickstart/crawler_configuration_generation.html 0.5 https://www.functori.com/docs/factori/quickstart/dipdup.html 0.5 https://www.functori.com/docs/factori/quickstart/crawlori.html 0.5 https://www.functori.com/docs/factori/quickstart/webinterface.html 0.5 https://www.functori.com/docs/factori/features.html 0.5 https://www.functori.com/docs/factori/features/sdk_generation.html 0.5 https://www.functori.com/docs/factori/features/sdk_generation/typescript.html 0.5 https://www.functori.com/docs/factori/features/sdk_generation/python.html 0.5 https://www.functori.com/docs/factori/features/sdk_generation/csharp.html 0.5 https://www.functori.com/docs/factori/features/sdk_generation/ocaml.html 0.5 https://www.functori.com/docs/factori/features/crawler_configuration_generation.html 0.5 https://www.functori.com/docs/factori/features/web_app_generation.html 0.5 https://www.functori.com/docs/factori/features/scenarios.html 0.5 https://www.functori.com/docs/factori/scenarios.html 0.5 https://www.functori.com/docs/factori/advanced_scenarios.html 0.5 https://www.functori.com/docs/factori/features/michelson_linting.html 0.5 https://www.functori.com/docs/factori/usage/commands.html 0.5 https://www.functori.com/docs/factori/usage/commands/import_kt1.html 0.5 https://www.functori.com/docs/factori/usage/commands/import_michelson.html 0.5 https://www.functori.com/docs/factori/usage/commands/deploy.html 0.5 https://www.functori.com/docs/factori/usage/commands/empty-project.html 0.5 https://www.functori.com/docs/factori/usage/commands/sandbox.html 0.5 https://www.functori.com/docs/factori/extra.html 0.5 https://www.functori.com/docs/factori/extra/flextesa.html 0.5 https://www.functori.com/docs/factori/extra/explorus.html 0.5 https://www.functori.com/docs/crawlori/introduction.html 0.5 https://www.functori.com/docs/crawlori/quickstart.html 0.5 https://www.functori.com/docs/crawlori/quickstart/installation.html 0.5 https://www.functori.com/docs/crawlori/quickstart/docker.html 0.5 https://www.functori.com/docs/crawlori/quickstart/source.html 0.5 https://www.functori.com/docs/crawlori/quickstart/setup-configuration-file.html 0.5 https://www.functori.com/docs/crawlori/quickstart/how-to-start.html 0.5 https://www.functori.com/docs/crawlori/build-your-docker-image.html 0.5 https://www.functori.com/docs/crawlori/troubleshooting.html 0.5 https://www.functori.com/docs/crawlori/license.html 0.5 https://www.functori.com/docs/mitten/introduction.html 0.5 https://www.functori.com/docs/mitten/quickstart.html 0.5 https://www.functori.com/docs/mitten/quickstart/getting-started.html 0.5 https://www.functori.com/docs/mitten/quickstart/prerequisites.html 0.5 https://www.functori.com/docs/mitten/quickstart/building.html 0.5 https://www.functori.com/docs/mitten/quickstart/running.html 0.5 https://www.functori.com/docs/mitten/quickstart/forwarder.html 0.5 https://www.functori.com/docs/mitten/quickstart/scenarios.html 0.5 https://www.functori.com/docs/mitten/architecture.html 0.5 https://www.functori.com/docs/mitten/architecture/mitm-proxy.html 0.5 https://www.functori.com/docs/mitten/architecture/modularity.html 0.5 https://www.functori.com/docs/mitten/config.html 0.5 https://www.functori.com/docs/mitten/configuration/command-line-options.html 0.5 https://www.functori.com/docs/mitten/configuration/configuration-file.html 0.5 https://www.functori.com/docs/mitten/configuration/chain.html 0.5 https://www.functori.com/docs/mitten/configuration/proxies.html 0.5 https://www.functori.com/docs/mitten/configuration/data-dir.html 0.5 https://www.functori.com/docs/mitten/configuration/logs-dir.html 0.5 https://www.functori.com/docs/mitten/configuration/timeout.html 0.5 https://www.functori.com/docs/mitten/configuration/libfaketime.html 0.5 https://www.functori.com/docs/mitten/configuration/rpc-proxy.html 0.5 https://www.functori.com/docs/mitten/configuration/delegate-selection.html 0.5 https://www.functori.com/docs/mitten/configuration/committe.html 0.5 https://www.functori.com/docs/mitten/configuration/quorum.html 0.5 https://www.functori.com/docs/mitten/configuration/node-binary.html 0.5 https://www.functori.com/docs/mitten/configuration/client-binary.html 0.5 https://www.functori.com/docs/mitten/configuration/baker-binary.html 0.5 https://www.functori.com/docs/mitten/configuration/accuser-binary.html 0.5 https://www.functori.com/docs/mitten/scenarios.html 0.5 https://www.functori.com/docs/mitten/scenarios/scenario-language.html 0.5 https://www.functori.com/docs/mitten/scenarios/variables-and-constants.html 0.5 https://www.functori.com/docs/mitten/scenarios/elementary-steps.html 0.5 https://www.functori.com/docs/mitten/scenarios/proposal.html 0.5 https://www.functori.com/docs/mitten/scenarios/preendorsment.html 0.5 https://www.functori.com/docs/mitten/scenarios/endorsment.html 0.5 https://www.functori.com/docs/mitten/scenarios/step-combinators.html 0.5 https://www.functori.com/docs/mitten/scenarios/conjunction.html 0.5 https://www.functori.com/docs/mitten/scenarios/disjunction.html 0.5 https://www.functori.com/docs/mitten/scenarios/negation.html 0.5 https://www.functori.com/docs/mitten/scenarios/sequence.html 0.5 https://www.functori.com/docs/mitten/scenarios/loop.html 0.5 https://www.functori.com/docs/mitten/scenarios/structure-of-a-scenario.html 0.5 https://www.functori.com/docs/mitten/scenarios/nodes.html 0.5 https://www.functori.com/docs/mitten/scenarios/parameters.html 0.5 https://www.functori.com/docs/mitten/scenarios/delegate-selection.html 0.5 https://www.functori.com/docs/mitten/scenarios/committee.html 0.5 https://www.functori.com/docs/mitten/scenarios/quorum.html 0.5 https://www.functori.com/docs/mitten/scenarios/round-durations.html 0.5 https://www.functori.com/docs/mitten/scenarios/constraints.html 0.5 https://www.functori.com/docs/mitten/scenarios/code.html 0.5 https://www.functori.com/docs/mitten/scenarios/timeout.html 0.5 https://www.functori.com/docs/mitten/scenarios/running-scenario.html 0.5 https://www.functori.com/docs/mitten/scenarios/writing-scenario-files.html 0.5 https://www.functori.com/docs/mitten/scenarios/compiling-scenario-file.html 0.5 https://www.functori.com/docs/mitten/scenarios/grammar-constraints.html 0.5 https://www.functori.com/docs/mitten/scenarios/syntax.html 0.5 https://www.functori.com/docs/mitten/scenarios/mockup-engine.html 0.5 https://www.functori.com/docs/mitten/scenarios/assertions.html 0.5 https://www.functori.com/docs/mitten/scenarios/pre-post-conditions.html 0.5 https://www.functori.com/docs/mitten/scenarios/assertions-language.html 0.5 https://www.functori.com/docs/mitten/scenarios/code-execution.html 0.5 https://www.functori.com/docs/mitten/scenarios/checks.html 0.5 https://www.functori.com/docs/mitten/scenarios/asynchronous-checks.html 0.5 https://www.functori.com/docs/mitten/scenarios/invariants.html 0.5 https://www.functori.com/docs/mitten/scenarios/execution-reports.html 0.5 https://www.functori.com/docs/mitten/tutorial.html 0.5 https://www.functori.com/mitten/ 0.5