├── .gitattributes ├── .github ├── dependabot.yml ├── pull_request_template.md ├── upload-binaries.sh └── workflows │ ├── README.md │ ├── benchmark.yml │ ├── integration.yml │ ├── lint-evaluator.yml │ ├── lint-vscode.yml │ ├── quint.yml │ ├── release-evaluator.yml │ ├── release.yml │ ├── test-evaluator.yml │ └── vscode.yml ├── .gitignore ├── CHANGELOG.md ├── CONTRIBUTING.md ├── LICENSE ├── Makefile ├── README.md ├── docs ├── .env.example ├── .eslintrc.json ├── .gitignore ├── .prettierrc.js ├── DEPLOYMENT.md ├── Makefile ├── README.md ├── app │ ├── [[...mdxPath]] │ │ └── page.tsx │ ├── blog │ │ ├── get-posts.ts │ │ └── page.tsx │ ├── layout.tsx │ ├── rss.xml │ │ └── route.ts │ └── tags │ │ └── [tag] │ │ └── page.tsx ├── codetour │ ├── .gitattributes │ ├── .tours │ │ ├── booleans.tour │ │ ├── coin.tour │ │ ├── hello.tour │ │ ├── img │ │ │ ├── hello-test1.png │ │ │ ├── kettle-drawing.png │ │ │ ├── kettle-state1.svg │ │ │ ├── kettle-state2.svg │ │ │ ├── kettle-state3.svg │ │ │ ├── repl-machine.png │ │ │ └── tutorials-1671180664875.gif │ │ ├── integers.tour │ │ └── sets.tour │ ├── Makefile │ ├── img │ │ ├── hello-test1.png │ │ ├── kettle-drawing.png │ │ ├── kettle-state1.svg │ │ ├── kettle-state2.svg │ │ ├── kettle-state3.svg │ │ └── repl-machine.png │ ├── lesson0-helloworld │ │ ├── hello.qnt │ │ ├── hello.template.qnt │ │ └── hello.xml │ ├── lesson1-booleans │ │ ├── booleans.qnt │ │ ├── booleans.template.qnt │ │ └── booleans.xml │ ├── lesson2-integers │ │ ├── integers.qnt │ │ ├── integers.template.qnt │ │ └── integers.xml │ ├── lesson3-anatomy │ │ ├── coin.qnt │ │ ├── coin.template.qnt │ │ └── coin.xml │ ├── lesson4-sets │ │ ├── sets.qnt │ │ ├── sets.template.qnt │ │ └── sets.xml │ └── script │ │ └── mk-tutorial.py ├── components │ ├── AnnouncementBanner.tsx │ ├── HTMLPlot.tsx │ ├── LogoSwitcher.tsx │ ├── NewsletterSignupBanner.tsx │ ├── QuintProjectsGrid.tsx │ ├── ThemedImage.tsx │ ├── UpcomingTalk.tsx │ ├── VideoEmbed.tsx │ ├── atomic-ui-elements │ │ ├── button.tsx │ │ └── input.tsx │ ├── blog │ │ ├── Comments.tsx │ │ ├── PostCard.tsx │ │ └── PostMeta.tsx │ ├── faq │ │ └── FAQBox.tsx │ └── home │ │ ├── InformalSystemsLogo.tsx │ │ ├── ProjectsGridCompact.tsx │ │ ├── ProsOrConsList.tsx │ │ ├── classNames.ts │ │ ├── code_sample.mdx │ │ ├── index.tsx │ │ └── violation_sample.mdx ├── config │ └── site.ts ├── content │ ├── _meta.tsx │ ├── choreo │ │ ├── _meta.tsx │ │ ├── cue-pattern.mdx │ │ ├── custom-effects-extensions.mdx │ │ ├── index.mdx │ │ ├── step-micro.mdx │ │ └── tutorial.mdx │ ├── community │ │ └── page.mdx │ ├── docs │ │ ├── _meta.tsx │ │ ├── builtin.md │ │ ├── checking-properties.mdx │ │ ├── design-principles.md │ │ ├── development-docs │ │ │ ├── _meta.ts │ │ │ ├── architecture-decision-records │ │ │ │ ├── _meta.ts │ │ │ │ ├── adr001-transpiler-architecture.md │ │ │ │ ├── adr002-errors.md │ │ │ │ ├── adr003-visiting-ir-components.md │ │ │ │ ├── adr004-effect-system.md │ │ │ │ ├── adr005-type-system.md │ │ │ │ ├── adr006-modules.lit.md │ │ │ │ ├── adr007-flattening.md │ │ │ │ └── adr008-managing-apalache.md │ │ │ ├── rfcs │ │ │ │ ├── _meta.ts │ │ │ │ ├── rfc001-sum-types.md │ │ │ │ └── rfc007-foreign-calls.md │ │ │ └── stories │ │ │ │ └── story008-repl-traces.md │ │ ├── faq.mdx │ │ ├── getting-started.mdx │ │ ├── index.mdx │ │ ├── lang.md │ │ ├── language-basics.mdx │ │ ├── lessons.md │ │ ├── lessons │ │ │ ├── _meta.ts │ │ │ ├── booleans.md │ │ │ ├── coin.md │ │ │ ├── hello.md │ │ │ ├── img │ │ │ │ └── hello-test1.png │ │ │ ├── integers.md │ │ │ └── sets.md │ │ ├── literate.md │ │ ├── model-based-testing.mdx │ │ ├── model-checkers.mdx │ │ ├── quint.md │ │ ├── repl.md │ │ ├── simulator.mdx │ │ ├── talks.mdx │ │ ├── use-cases.mdx │ │ ├── what-does-quint-do.mdx │ │ └── why.mdx │ ├── index.mdx │ └── posts │ │ ├── _meta.ts │ │ ├── alpenglow.mdx │ │ ├── assets │ │ ├── alpenglow_violation.mdx │ │ └── alpenglow_violation_mbt.mdx │ │ ├── inductive_invariants.mdx │ │ ├── llm_era.mdx │ │ ├── secret_santa.mdx │ │ └── soup.mdx ├── data │ └── projects.ts ├── default.nix ├── generated │ └── adr006before.qnt ├── mdx-components.js ├── next-env.d.ts ├── next.config.mjs ├── package-lock.json ├── package.json ├── postcss.config.mjs ├── public │ ├── ai-decisions.png │ ├── ai-validation.png │ ├── alpenglow_whiteboard.jpg │ ├── background-pattern-gradient-mini.png │ ├── blog-covers │ │ ├── alpenglow.jpg │ │ ├── inductive_invariants.jpg │ │ ├── llm_era.jpg │ │ ├── secret_santa.jpg │ │ └── soup.jpg │ ├── choreo-logo-dark.png │ ├── choreo-logo-light.png │ ├── codetour.gif │ ├── favicon.ico │ ├── icon-dark.png │ ├── icon-light.png │ ├── informal-systems-white.png │ ├── informal-systems.png │ ├── kettle-drawing.png │ ├── kettle-state1.svg │ ├── kettle-state2.svg │ ├── kettle-state3.svg │ ├── logo-dark.svg │ ├── logo-light.svg │ ├── og.jpg │ ├── quint-cheatsheet.pdf │ ├── quint-xmas-dark.svg │ ├── quint-xmas-light.svg │ ├── repl-machine.png │ ├── robot.jpg │ ├── soup-post-plots │ │ ├── quint_analysis_byz.html │ │ ├── quint_analysis_commit_tc.html │ │ ├── quint_analysis_missing_qc.html │ │ ├── quint_analysis_missing_tip.html │ │ ├── quint_analysis_no_timeouts.html │ │ └── quint_analysis_reproposal.html │ ├── soup.jpg │ └── vscode.png ├── quint-cheatsheet.key ├── style.css ├── themes │ ├── dark.json │ └── light.json └── tsconfig.json ├── editor-plugins ├── emacs │ ├── README.md │ ├── lsp-quint.el │ └── quint-mode.el ├── highlight.js │ ├── quint.js │ └── testHighlightJs.html └── vim │ ├── README.md │ └── quint.vim ├── evaluator ├── .gitignore ├── Cargo.lock ├── Cargo.toml ├── LICENSE ├── README.md ├── benches │ ├── evaluator.rs │ ├── simulation.rs │ └── tuples.rs ├── fixtures │ ├── ewd426.json │ ├── ewd840.json │ ├── instances.qnt │ ├── jmt.json │ ├── jmt │ │ ├── apply_fancy.qnt │ │ ├── apply_simple.qnt │ │ ├── apply_state_machine.qnt │ │ ├── completeness.qnt │ │ ├── grug_ics23.qnt │ │ ├── hashes.qnt │ │ ├── node.qnt │ │ ├── proof_types.qnt │ │ ├── proofs.qnt │ │ ├── pruning_state_machine.qnt │ │ ├── soundness.qnt │ │ ├── spells │ │ │ ├── basicSpells.qnt │ │ │ ├── commonSpells.qnt │ │ │ └── rareSpells.qnt │ │ ├── test │ │ │ ├── apply_fancy_test.qnt │ │ │ ├── apply_simple_test.qnt │ │ │ ├── instantiatable_tree.qnt │ │ │ ├── node_test.qnt │ │ │ ├── proofs_test.qnt │ │ │ ├── test_all.qnt │ │ │ └── tree_test.qnt │ │ ├── tree.qnt │ │ └── utils.qnt │ ├── oneOf_empty_test.qnt │ ├── simple.json │ ├── tictactoe.json │ └── tictactoe.qnt ├── flake.lock ├── flake.nix ├── src │ ├── builtins.rs │ ├── evaluator.rs │ ├── helpers.rs │ ├── ir.rs │ ├── itf.rs │ ├── lib.rs │ ├── log.rs │ ├── main.rs │ ├── nondet.rs │ ├── normalizer.rs │ ├── picker.rs │ ├── progress.rs │ ├── rand.rs │ ├── simulator.rs │ ├── storage.rs │ └── value.rs └── tests │ ├── deserialization_tests.rs │ ├── evaluation_tests.rs │ ├── picker_tests.rs │ ├── simulator_tests.rs │ ├── snapshots │ ├── deserialization_tests__ewd426.snap │ ├── deserialization_tests__ewd840.snap │ ├── deserialization_tests__jmt.snap │ ├── deserialization_tests__simple.snap │ └── deserialization_tests__tictactoe.snap │ └── stateful_tests.rs ├── examples ├── .scripts │ ├── README-text.md │ ├── README.md │ ├── run-example.sh │ └── run-examples.sh ├── README.md ├── classic │ ├── distributed │ │ ├── Bakery │ │ │ └── bakery.qnt │ │ ├── ClockSync │ │ │ └── clockSync6.qnt │ │ ├── ConsensusAlgorithm │ │ │ ├── ConsensusAlg.qnt │ │ │ └── KSetAgreementConsensus.qnt │ │ ├── DiningPhilosophers │ │ │ └── DiningPhilosophers5.qnt │ │ ├── LamportMutex │ │ │ ├── LamportMutex.qnt │ │ │ └── LamportMutex.tla │ │ ├── Paxos │ │ │ ├── Paxos.qnt │ │ │ ├── Paxos.tla │ │ │ ├── Voting.qnt │ │ │ └── Voting.tla │ │ ├── ReadersWriters │ │ │ ├── ReadersWriters.qnt │ │ │ └── ReadersWriters.tla │ │ ├── ReliableBroadcast │ │ │ └── reliablebc.qnt │ │ ├── TeachingConcurrency │ │ │ ├── mutex.qnt │ │ │ └── teaching.qnt │ │ ├── TwoLayeredCache │ │ │ └── two_layered_cache.qnt │ │ ├── TwoPhaseCommit │ │ │ ├── two_phase_commit.qnt │ │ │ └── two_phase_commit_modules.qnt │ │ ├── ewd426 │ │ │ ├── README.md │ │ │ ├── ewd426.qnt │ │ │ ├── ewd426_3.qnt │ │ │ └── ewd426_4.qnt │ │ └── ewd840 │ │ │ ├── EWD840.tla │ │ │ └── ewd840.qnt │ └── sequential │ │ └── BinSearch │ │ └── BinSearch.qnt ├── cosmos │ ├── bank │ │ ├── bank.qnt │ │ ├── bankTest.qnt │ │ └── cosmos-bank.md │ ├── ics20 │ │ ├── README.md │ │ ├── bank.qnt │ │ ├── base.qnt │ │ ├── denomTrace.qnt │ │ └── ics20.qnt │ ├── ics23 │ │ ├── README.md │ │ ├── ics23.qnt │ │ ├── ics23.tla │ │ ├── ics23pbt.tla │ │ └── ics23trees.tla │ ├── lightclient │ │ ├── Blockchain.qnt │ │ ├── LCVerificationApi.qnt │ │ ├── Lightclient.qnt │ │ └── typedefs.qnt │ └── tendermint │ │ ├── README.md │ │ ├── Tendermint.qnt │ │ ├── TendermintModels.qnt │ │ ├── TendermintTest.qnt │ │ └── tla │ │ ├── MC_n4_f1.tla │ │ ├── MC_n4_f2.tla │ │ ├── MC_n5_f2.tla │ │ ├── TendermintAcc005.tla │ │ └── typedefs.tla ├── cosmwasm │ └── zero-to-hero │ │ └── vote.qnt ├── cryptography │ ├── hashes │ │ ├── hashes.qnt │ │ └── hashesTest.qnt │ └── utxo │ │ └── utxo.qnt ├── games │ ├── mafia_werewolf │ │ ├── README.md │ │ └── play_mafia.qnt │ ├── rock_paper_scissors │ │ ├── README.md │ │ └── play_rock_paper_scissors.qnt │ ├── secret-santa │ │ └── secret_santa.qnt │ └── tictactoe │ │ ├── tictactoe.qnt │ │ └── tictactoe.tla ├── language-features │ ├── booleans.qnt │ ├── counters.qnt │ ├── generate.qnt │ ├── importFrom.qnt │ ├── imports.qnt │ ├── instances.qnt │ ├── instancesFrom.qnt │ ├── integers.qnt │ ├── lists.qnt │ ├── maps.qnt │ ├── nondetEx.qnt │ ├── option.qnt │ ├── records.qnt │ ├── sets.qnt │ └── tuples.qnt ├── puzzles │ ├── prisoners │ │ └── prisoners.qnt │ └── river │ │ └── river.qnt ├── solidity │ ├── ERC20 │ │ ├── README.md │ │ └── erc20.qnt │ ├── GradualPonzi │ │ └── gradualPonzi.qnt │ ├── SimpleAuction │ │ └── SimpleAuction.qnt │ ├── SimplePonzi │ │ └── simplePonzi.qnt │ └── icse23-fig7 │ │ ├── README.md │ │ └── lottery.qnt ├── spells │ ├── BoundedUInt.qnt │ ├── README.md │ ├── basicSpells.qnt │ ├── commonSpells.qnt │ ├── contribute-your-spell.md │ └── rareSpells.qnt ├── tutorials │ ├── README.md │ ├── booleans.qnt │ ├── coin.qnt │ ├── hello.qnt │ ├── integers.qnt │ ├── repl │ │ ├── .envrc │ │ ├── Makefile │ │ ├── default.nix │ │ ├── kettle.qnt │ │ ├── replTest.txt │ │ ├── replTestIn.txt │ │ └── replTestOut.txt │ └── sets.qnt └── verification │ ├── README.md │ └── defaultOpNames.qnt ├── flake.lock ├── flake.nix ├── logos ├── quint-logo-dark.png ├── quint-logo-dark.svg ├── quint-logo-light.png ├── quint-logo-light.svg └── vienna-business-agency.png ├── quint ├── .envrc ├── .eslintignore ├── .eslintrc.json ├── .gitignore ├── .nvmrc ├── .nycrc.json ├── .prettierignore ├── .prettierrc.js ├── README.md ├── apalache-dist-tests.md ├── apalache-tests.md ├── cli-tests.md ├── io-cli-tests.md ├── package-lock.json ├── package.json ├── rust-backend-tests.md ├── scripts │ ├── prepare-release.sh │ ├── release.sh │ └── update-fixtures.sh ├── src │ ├── ErrorMessage.ts │ ├── FreshVarGenerator.ts │ ├── apalache.ts │ ├── builtin.qnt │ ├── builtin.ts │ ├── cli.ts │ ├── cliCommands.ts │ ├── cliHelpers.ts │ ├── cliReporting.ts │ ├── compileToTlaplus.ts │ ├── config.ts │ ├── docs.ts │ ├── effects │ │ ├── EffectVisitor.ts │ │ ├── MultipleUpdatesChecker.ts │ │ ├── NondetChecker.ts │ │ ├── ToEffectVisitor.ts │ │ ├── base.ts │ │ ├── builtinSignatures.ts │ │ ├── inferrer.ts │ │ ├── modeChecker.ts │ │ ├── namespaces.ts │ │ ├── parser.ts │ │ ├── printing.ts │ │ ├── simplification.ts │ │ └── substitutions.ts │ ├── environment.d.ts │ ├── errorReporter.ts │ ├── errorTree.ts │ ├── flattening │ │ ├── flattener.ts │ │ ├── fullFlattener.ts │ │ └── instanceFlattener.ts │ ├── generated │ │ ├── .gitattributes │ │ ├── Effect.g4 │ │ ├── Effect.interp │ │ ├── Effect.tokens │ │ ├── EffectLexer.interp │ │ ├── EffectLexer.tokens │ │ ├── EffectLexer.ts │ │ ├── EffectListener.ts │ │ ├── EffectParser.ts │ │ ├── EffectVisitor.ts │ │ ├── Quint.g4 │ │ ├── Quint.interp │ │ ├── Quint.tokens │ │ ├── QuintLexer.interp │ │ ├── QuintLexer.tokens │ │ ├── QuintLexer.ts │ │ ├── QuintListener.ts │ │ ├── QuintParser.ts │ │ └── QuintVisitor.ts │ ├── graphics.ts │ ├── idGenerator.ts │ ├── index.ts │ ├── ir │ │ ├── IRFinder.ts │ │ ├── IRTransformer.ts │ │ ├── IRVisitor.ts │ │ ├── IRprinting.ts │ │ ├── idRefresher.ts │ │ ├── initToPredicate.ts │ │ ├── namespacer.ts │ │ ├── quintIr.ts │ │ └── quintTypes.ts │ ├── itf.ts │ ├── jsonHelper.ts │ ├── names │ │ ├── base.ts │ │ ├── collector.ts │ │ ├── importErrors.ts │ │ ├── resolver.ts │ │ └── unshadower.ts │ ├── parsing │ │ ├── ToIrListener.ts │ │ ├── parseErrors.ts │ │ ├── quintParserFrontend.ts │ │ └── sourceResolver.ts │ ├── prettierimp.ts │ ├── quintAnalyzer.ts │ ├── quintError.ts │ ├── quintRustWrapper.ts │ ├── quintVerifier.ts │ ├── reflection.proto │ ├── repl.ts │ ├── rng.ts │ ├── runtime │ │ ├── impl │ │ │ ├── Context.ts │ │ │ ├── VarStorage.1.ts │ │ │ ├── VarStorage.ts │ │ │ ├── builder.ts │ │ │ ├── builtins.ts │ │ │ ├── evaluator.ts │ │ │ ├── nondet.ts │ │ │ ├── runtimeValue.ts │ │ │ ├── runtimeValueDiff.ts │ │ │ └── trace.ts │ │ ├── testing.ts │ │ └── trace.ts │ ├── simulation.ts │ ├── static │ │ ├── callgraph.ts │ │ └── toposort.ts │ ├── types │ │ ├── aliasInliner.ts │ │ ├── base.ts │ │ ├── builtinSignatures.ts │ │ ├── constraintGenerator.ts │ │ ├── constraintSolver.ts │ │ ├── inferrer.ts │ │ ├── parser.ts │ │ ├── printing.ts │ │ ├── simplification.ts │ │ ├── specialConstraints.ts │ │ ├── substitutions.ts │ │ └── typeApplicationResolution.ts │ ├── util.ts │ ├── verbosity.ts │ └── version.ts ├── test │ ├── builders │ │ └── ir.ts │ ├── builtin.test.ts │ ├── cli.test.ts │ ├── docs.test.ts │ ├── effects │ │ ├── EffectVisitor.test.ts │ │ ├── MultipleUpdatesChecker.test.ts │ │ ├── NondetChecker.test.ts │ │ ├── base.test.ts │ │ ├── inferrer.test.ts │ │ ├── modeChecker.test.ts │ │ ├── namespaces.test.ts │ │ ├── parser.test.ts │ │ └── substitutions.test.ts │ ├── errorReporter.test.ts │ ├── errorTree.test.ts │ ├── flattening │ │ ├── flattener.test.ts │ │ ├── fullFlattener.test.ts │ │ └── instanceFlattener.test.ts │ ├── ir │ │ ├── IRFinder.test.ts │ │ ├── IRTransformer.test.ts │ │ ├── IRVisitor.test.ts │ │ ├── IRprinting.test.ts │ │ ├── idRefresher.test.ts │ │ ├── namespacer.test.ts │ │ └── quintTypes.test.ts │ ├── itf.test.ts │ ├── names │ │ ├── collector.test.ts │ │ ├── resolver.test.ts │ │ └── unshadower.test.ts │ ├── parsing │ │ ├── quintParserFrontend.test.ts │ │ └── sourceResolver.test.ts │ ├── prettierimp.test.ts │ ├── repl.test.ts │ ├── rng.test.ts │ ├── runtime │ │ ├── compile.test.ts │ │ └── trace.test.ts │ ├── static │ │ ├── callgraph.test.ts │ │ └── toposort.test.ts │ ├── textUtils.ts │ ├── types │ │ ├── aliasInliner.test.ts │ │ ├── builtinSignatures.test.ts │ │ ├── constraintGenerator.test.ts │ │ ├── constraintSolver.test.ts │ │ ├── inferrer.test.ts │ │ ├── parser.test.ts │ │ ├── simplification.test.ts │ │ └── substitutions.test.ts │ ├── util.test.ts │ └── util.ts ├── testFixture │ ├── ApalacheCompilation.qnt │ ├── ApalacheCompilationError.qnt │ ├── SuperSpec.json │ ├── SuperSpec.map.json │ ├── SuperSpec.qnt │ ├── TrivialTypeError.json │ ├── TrivialTypeError.map.json │ ├── TrivialTypeError.qnt │ ├── _0001emptyModule.json │ ├── _0001emptyModule.map.json │ ├── _0001emptyModule.qnt │ ├── _0099unorderedDefs.json │ ├── _0099unorderedDefs.map.json │ ├── _0099unorderedDefs.qnt │ ├── _0100cyclicDefs.json │ ├── _0100cyclicDefs.map.json │ ├── _0100cyclicDefs.qnt │ ├── _0101noRecursion.json │ ├── _0101noRecursion.map.json │ ├── _0101noRecursion.qnt │ ├── _1010undefinedName.json │ ├── _1010undefinedName.map.json │ ├── _1010undefinedName.qnt │ ├── _1011nameOutOfScope.json │ ├── _1011nameOutOfScope.map.json │ ├── _1011nameOutOfScope.qnt │ ├── _1012unknownType.json │ ├── _1012unknownType.map.json │ ├── _1012unknownType.qnt │ ├── _1013unknownTypeLetIn.json │ ├── _1013unknownTypeLetIn.map.json │ ├── _1013unknownTypeLetIn.qnt │ ├── _1014conflictingNames.json │ ├── _1014conflictingNames.map.json │ ├── _1014conflictingNames.qnt │ ├── _1015noToplevelNondet.json │ ├── _1015noToplevelNondet.qnt │ ├── _1016nonConstOverride.json │ ├── _1016nonConstOverride.map.json │ ├── _1016nonConstOverride.qnt │ ├── _1017keywordsAsIdentifiers.json │ ├── _1017keywordsAsIdentifiers.map.json │ ├── _1017keywordsAsIdentifiers.qnt │ ├── _1020importFrom.json │ ├── _1020importFrom.map.json │ ├── _1020importFrom.qnt │ ├── _1021importee1.json │ ├── _1021importee1.map.json │ ├── _1021importee1.qnt │ ├── _1022importee2.json │ ├── _1022importee2.map.json │ ├── _1022importee2.qnt │ ├── _1023importFromUnresolved.json │ ├── _1023importFromUnresolved.qnt │ ├── _1025importeeWithError.json │ ├── _1025importeeWithError.qnt │ ├── _1026importCycleA.json │ ├── _1026importCycleA.qnt │ ├── _1027importCycleB.json │ ├── _1027importCycleB.qnt │ ├── _1028importCycleC.json │ ├── _1028importCycleC.qnt │ ├── _1030const.json │ ├── _1030const.map.json │ ├── _1030const.qnt │ ├── _1031instance.json │ ├── _1031instance.map.json │ ├── _1031instance.qnt │ ├── _1032docstrings.json │ ├── _1032docstrings.map.json │ ├── _1032docstrings.qnt │ ├── _1040compileError.json │ ├── _1040compileError.map.json │ ├── _1040compileError.qnt │ ├── _1041compileConst.json │ ├── _1041compileConst.map.json │ ├── _1041compileConst.qnt │ ├── _1042qualifiersInRecordsFieldsError.json │ ├── _1042qualifiersInRecordsFieldsError.qnt │ ├── _1043sumTypeDecl.json │ ├── _1043sumTypeDecl.map.json │ ├── _1043sumTypeDecl.qnt │ ├── _1044matchExpression.json │ ├── _1044matchExpression.map.json │ ├── _1044matchExpression.qnt │ ├── _1045polymorphicTypeDecl.json │ ├── _1045polymorphicTypeDecl.map.json │ ├── _1045polymorphicTypeDecl.qnt │ ├── _1050diffName.qnt │ ├── _1051manyTests.qnt │ ├── _1052one.qnt │ ├── _1053two.qnt │ ├── _1054sumTypesInItf.qnt │ ├── _1060case.qnt │ ├── _1070mapSyntax.json │ ├── _1070mapSyntax.qnt │ ├── apalache │ │ ├── README.md │ │ ├── deadlock.qnt │ │ ├── genericRowParam.qnt │ │ ├── inferredStateVar.qnt │ │ ├── mapStateVar.qnt │ │ ├── polyStateVar.qnt │ │ ├── temporalTest.qnt │ │ └── violateOnFive.qnt │ ├── bug1736setOfMaps.qnt │ ├── bug843pureValCache.qnt │ ├── modulesAndJunk.json │ ├── modulesAndJunk.qnt │ ├── simulator │ │ ├── failingTestCounters.qnt │ │ ├── gettingStarted.qnt │ │ └── lastActionInRun.qnt │ └── typechecking │ │ ├── FileWithError.qnt │ │ ├── ImportFileWithError.qnt │ │ └── OverrideErrors.qnt └── tsconfig.json ├── tlc ├── check_with_tlc.sh └── common.sh └── vscode ├── .gitignore └── quint-vscode ├── .cloc.cfg ├── .eslintignore ├── .eslintrc.json ├── .prettierignore ├── .prettierrc.js ├── .vscode └── launch.json ├── CHANGELOG.md ├── LICENSE ├── README.md ├── client ├── src │ └── extension.ts └── tsconfig.json ├── icons ├── logo-dark.png ├── logo-dark.svg ├── logo-light.png ├── logo-light.svg └── logo.png ├── language-configuration.json ├── package-lock.json ├── package.json ├── scripts └── prepare-release.sh ├── server ├── README.md ├── package-lock.json ├── package.json ├── src │ ├── complete.ts │ ├── definitions.ts │ ├── documentSymbols.ts │ ├── hover.ts │ ├── logger.ts │ ├── parsing.ts │ ├── rename.ts │ ├── reporting.ts │ └── server.ts ├── test │ ├── reporting.test.ts │ └── util.ts └── tsconfig.json ├── syntaxes └── quint.tmLanguage.json └── tsconfig.json /.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.gitattributes -------------------------------------------------------------------------------- /.github/dependabot.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/dependabot.yml -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/upload-binaries.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/upload-binaries.sh -------------------------------------------------------------------------------- /.github/workflows/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/README.md -------------------------------------------------------------------------------- /.github/workflows/benchmark.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/benchmark.yml -------------------------------------------------------------------------------- /.github/workflows/integration.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/integration.yml -------------------------------------------------------------------------------- /.github/workflows/lint-evaluator.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/lint-evaluator.yml -------------------------------------------------------------------------------- /.github/workflows/lint-vscode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/lint-vscode.yml -------------------------------------------------------------------------------- /.github/workflows/quint.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/quint.yml -------------------------------------------------------------------------------- /.github/workflows/release-evaluator.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/release-evaluator.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.github/workflows/test-evaluator.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/test-evaluator.yml -------------------------------------------------------------------------------- /.github/workflows/vscode.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.github/workflows/vscode.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/.gitignore -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/CONTRIBUTING.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/LICENSE -------------------------------------------------------------------------------- /Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/Makefile -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/README.md -------------------------------------------------------------------------------- /docs/.env.example: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/.env.example -------------------------------------------------------------------------------- /docs/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/.eslintrc.json -------------------------------------------------------------------------------- /docs/.gitignore: -------------------------------------------------------------------------------- 1 | .next 2 | _pagefind/ 3 | -------------------------------------------------------------------------------- /docs/.prettierrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/.prettierrc.js -------------------------------------------------------------------------------- /docs/DEPLOYMENT.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/DEPLOYMENT.md -------------------------------------------------------------------------------- /docs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/Makefile -------------------------------------------------------------------------------- /docs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/README.md -------------------------------------------------------------------------------- /docs/app/[[...mdxPath]]/page.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/app/[[...mdxPath]]/page.tsx -------------------------------------------------------------------------------- /docs/app/blog/get-posts.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/app/blog/get-posts.ts -------------------------------------------------------------------------------- /docs/app/blog/page.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/app/blog/page.tsx -------------------------------------------------------------------------------- /docs/app/layout.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/app/layout.tsx -------------------------------------------------------------------------------- /docs/app/rss.xml/route.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/app/rss.xml/route.ts -------------------------------------------------------------------------------- /docs/app/tags/[tag]/page.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/app/tags/[tag]/page.tsx -------------------------------------------------------------------------------- /docs/codetour/.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.gitattributes -------------------------------------------------------------------------------- /docs/codetour/.tours/booleans.tour: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/booleans.tour -------------------------------------------------------------------------------- /docs/codetour/.tours/coin.tour: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/coin.tour -------------------------------------------------------------------------------- /docs/codetour/.tours/hello.tour: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/hello.tour -------------------------------------------------------------------------------- /docs/codetour/.tours/img/hello-test1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/hello-test1.png -------------------------------------------------------------------------------- /docs/codetour/.tours/img/kettle-drawing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/kettle-drawing.png -------------------------------------------------------------------------------- /docs/codetour/.tours/img/kettle-state1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/kettle-state1.svg -------------------------------------------------------------------------------- /docs/codetour/.tours/img/kettle-state2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/kettle-state2.svg -------------------------------------------------------------------------------- /docs/codetour/.tours/img/kettle-state3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/kettle-state3.svg -------------------------------------------------------------------------------- /docs/codetour/.tours/img/repl-machine.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/repl-machine.png -------------------------------------------------------------------------------- /docs/codetour/.tours/img/tutorials-1671180664875.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/img/tutorials-1671180664875.gif -------------------------------------------------------------------------------- /docs/codetour/.tours/integers.tour: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/integers.tour -------------------------------------------------------------------------------- /docs/codetour/.tours/sets.tour: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/.tours/sets.tour -------------------------------------------------------------------------------- /docs/codetour/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/Makefile -------------------------------------------------------------------------------- /docs/codetour/img/hello-test1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/img/hello-test1.png -------------------------------------------------------------------------------- /docs/codetour/img/kettle-drawing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/img/kettle-drawing.png -------------------------------------------------------------------------------- /docs/codetour/img/kettle-state1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/img/kettle-state1.svg -------------------------------------------------------------------------------- /docs/codetour/img/kettle-state2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/img/kettle-state2.svg -------------------------------------------------------------------------------- /docs/codetour/img/kettle-state3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/img/kettle-state3.svg -------------------------------------------------------------------------------- /docs/codetour/img/repl-machine.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/img/repl-machine.png -------------------------------------------------------------------------------- /docs/codetour/lesson0-helloworld/hello.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson0-helloworld/hello.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson0-helloworld/hello.template.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson0-helloworld/hello.template.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson0-helloworld/hello.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson0-helloworld/hello.xml -------------------------------------------------------------------------------- /docs/codetour/lesson1-booleans/booleans.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson1-booleans/booleans.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson1-booleans/booleans.template.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson1-booleans/booleans.template.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson1-booleans/booleans.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson1-booleans/booleans.xml -------------------------------------------------------------------------------- /docs/codetour/lesson2-integers/integers.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson2-integers/integers.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson2-integers/integers.template.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson2-integers/integers.template.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson2-integers/integers.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson2-integers/integers.xml -------------------------------------------------------------------------------- /docs/codetour/lesson3-anatomy/coin.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson3-anatomy/coin.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson3-anatomy/coin.template.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson3-anatomy/coin.template.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson3-anatomy/coin.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson3-anatomy/coin.xml -------------------------------------------------------------------------------- /docs/codetour/lesson4-sets/sets.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson4-sets/sets.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson4-sets/sets.template.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson4-sets/sets.template.qnt -------------------------------------------------------------------------------- /docs/codetour/lesson4-sets/sets.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/lesson4-sets/sets.xml -------------------------------------------------------------------------------- /docs/codetour/script/mk-tutorial.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/codetour/script/mk-tutorial.py -------------------------------------------------------------------------------- /docs/components/AnnouncementBanner.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/AnnouncementBanner.tsx -------------------------------------------------------------------------------- /docs/components/HTMLPlot.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/HTMLPlot.tsx -------------------------------------------------------------------------------- /docs/components/LogoSwitcher.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/LogoSwitcher.tsx -------------------------------------------------------------------------------- /docs/components/NewsletterSignupBanner.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/NewsletterSignupBanner.tsx -------------------------------------------------------------------------------- /docs/components/QuintProjectsGrid.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/QuintProjectsGrid.tsx -------------------------------------------------------------------------------- /docs/components/ThemedImage.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/ThemedImage.tsx -------------------------------------------------------------------------------- /docs/components/UpcomingTalk.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/UpcomingTalk.tsx -------------------------------------------------------------------------------- /docs/components/VideoEmbed.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/VideoEmbed.tsx -------------------------------------------------------------------------------- /docs/components/atomic-ui-elements/button.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/atomic-ui-elements/button.tsx -------------------------------------------------------------------------------- /docs/components/atomic-ui-elements/input.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/atomic-ui-elements/input.tsx -------------------------------------------------------------------------------- /docs/components/blog/Comments.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/blog/Comments.tsx -------------------------------------------------------------------------------- /docs/components/blog/PostCard.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/blog/PostCard.tsx -------------------------------------------------------------------------------- /docs/components/blog/PostMeta.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/blog/PostMeta.tsx -------------------------------------------------------------------------------- /docs/components/faq/FAQBox.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/faq/FAQBox.tsx -------------------------------------------------------------------------------- /docs/components/home/InformalSystemsLogo.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/InformalSystemsLogo.tsx -------------------------------------------------------------------------------- /docs/components/home/ProjectsGridCompact.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/ProjectsGridCompact.tsx -------------------------------------------------------------------------------- /docs/components/home/ProsOrConsList.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/ProsOrConsList.tsx -------------------------------------------------------------------------------- /docs/components/home/classNames.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/classNames.ts -------------------------------------------------------------------------------- /docs/components/home/code_sample.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/code_sample.mdx -------------------------------------------------------------------------------- /docs/components/home/index.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/index.tsx -------------------------------------------------------------------------------- /docs/components/home/violation_sample.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/components/home/violation_sample.mdx -------------------------------------------------------------------------------- /docs/config/site.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/config/site.ts -------------------------------------------------------------------------------- /docs/content/_meta.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/_meta.tsx -------------------------------------------------------------------------------- /docs/content/choreo/_meta.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/choreo/_meta.tsx -------------------------------------------------------------------------------- /docs/content/choreo/cue-pattern.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/choreo/cue-pattern.mdx -------------------------------------------------------------------------------- /docs/content/choreo/custom-effects-extensions.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/choreo/custom-effects-extensions.mdx -------------------------------------------------------------------------------- /docs/content/choreo/index.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/choreo/index.mdx -------------------------------------------------------------------------------- /docs/content/choreo/step-micro.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/choreo/step-micro.mdx -------------------------------------------------------------------------------- /docs/content/choreo/tutorial.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/choreo/tutorial.mdx -------------------------------------------------------------------------------- /docs/content/community/page.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/community/page.mdx -------------------------------------------------------------------------------- /docs/content/docs/_meta.tsx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/_meta.tsx -------------------------------------------------------------------------------- /docs/content/docs/builtin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/builtin.md -------------------------------------------------------------------------------- /docs/content/docs/checking-properties.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/checking-properties.mdx -------------------------------------------------------------------------------- /docs/content/docs/design-principles.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/design-principles.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/_meta.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/_meta.ts -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/_meta.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/_meta.ts -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr001-transpiler-architecture.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr001-transpiler-architecture.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr002-errors.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr002-errors.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr003-visiting-ir-components.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr003-visiting-ir-components.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr004-effect-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr004-effect-system.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr005-type-system.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr005-type-system.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr006-modules.lit.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr006-modules.lit.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr007-flattening.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr007-flattening.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/architecture-decision-records/adr008-managing-apalache.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/architecture-decision-records/adr008-managing-apalache.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/rfcs/_meta.ts: -------------------------------------------------------------------------------- 1 | export default { 2 | 'rfc001-sum-types': '', 3 | } 4 | -------------------------------------------------------------------------------- /docs/content/docs/development-docs/rfcs/rfc001-sum-types.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/rfcs/rfc001-sum-types.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/rfcs/rfc007-foreign-calls.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/rfcs/rfc007-foreign-calls.md -------------------------------------------------------------------------------- /docs/content/docs/development-docs/stories/story008-repl-traces.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/development-docs/stories/story008-repl-traces.md -------------------------------------------------------------------------------- /docs/content/docs/faq.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/faq.mdx -------------------------------------------------------------------------------- /docs/content/docs/getting-started.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/getting-started.mdx -------------------------------------------------------------------------------- /docs/content/docs/index.mdx: -------------------------------------------------------------------------------- 1 | # Documentation 2 | -------------------------------------------------------------------------------- /docs/content/docs/lang.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lang.md -------------------------------------------------------------------------------- /docs/content/docs/language-basics.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/language-basics.mdx -------------------------------------------------------------------------------- /docs/content/docs/lessons.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons.md -------------------------------------------------------------------------------- /docs/content/docs/lessons/_meta.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/_meta.ts -------------------------------------------------------------------------------- /docs/content/docs/lessons/booleans.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/booleans.md -------------------------------------------------------------------------------- /docs/content/docs/lessons/coin.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/coin.md -------------------------------------------------------------------------------- /docs/content/docs/lessons/hello.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/hello.md -------------------------------------------------------------------------------- /docs/content/docs/lessons/img/hello-test1.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/img/hello-test1.png -------------------------------------------------------------------------------- /docs/content/docs/lessons/integers.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/integers.md -------------------------------------------------------------------------------- /docs/content/docs/lessons/sets.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/lessons/sets.md -------------------------------------------------------------------------------- /docs/content/docs/literate.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/literate.md -------------------------------------------------------------------------------- /docs/content/docs/model-based-testing.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/model-based-testing.mdx -------------------------------------------------------------------------------- /docs/content/docs/model-checkers.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/model-checkers.mdx -------------------------------------------------------------------------------- /docs/content/docs/quint.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/quint.md -------------------------------------------------------------------------------- /docs/content/docs/repl.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/repl.md -------------------------------------------------------------------------------- /docs/content/docs/simulator.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/simulator.mdx -------------------------------------------------------------------------------- /docs/content/docs/talks.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/talks.mdx -------------------------------------------------------------------------------- /docs/content/docs/use-cases.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/use-cases.mdx -------------------------------------------------------------------------------- /docs/content/docs/what-does-quint-do.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/what-does-quint-do.mdx -------------------------------------------------------------------------------- /docs/content/docs/why.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/docs/why.mdx -------------------------------------------------------------------------------- /docs/content/index.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/index.mdx -------------------------------------------------------------------------------- /docs/content/posts/_meta.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/_meta.ts -------------------------------------------------------------------------------- /docs/content/posts/alpenglow.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/alpenglow.mdx -------------------------------------------------------------------------------- /docs/content/posts/assets/alpenglow_violation.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/assets/alpenglow_violation.mdx -------------------------------------------------------------------------------- /docs/content/posts/assets/alpenglow_violation_mbt.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/assets/alpenglow_violation_mbt.mdx -------------------------------------------------------------------------------- /docs/content/posts/inductive_invariants.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/inductive_invariants.mdx -------------------------------------------------------------------------------- /docs/content/posts/llm_era.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/llm_era.mdx -------------------------------------------------------------------------------- /docs/content/posts/secret_santa.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/secret_santa.mdx -------------------------------------------------------------------------------- /docs/content/posts/soup.mdx: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/content/posts/soup.mdx -------------------------------------------------------------------------------- /docs/data/projects.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/data/projects.ts -------------------------------------------------------------------------------- /docs/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/default.nix -------------------------------------------------------------------------------- /docs/generated/adr006before.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/generated/adr006before.qnt -------------------------------------------------------------------------------- /docs/mdx-components.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/mdx-components.js -------------------------------------------------------------------------------- /docs/next-env.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/next-env.d.ts -------------------------------------------------------------------------------- /docs/next.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/next.config.mjs -------------------------------------------------------------------------------- /docs/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/package-lock.json -------------------------------------------------------------------------------- /docs/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/package.json -------------------------------------------------------------------------------- /docs/postcss.config.mjs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/postcss.config.mjs -------------------------------------------------------------------------------- /docs/public/ai-decisions.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/ai-decisions.png -------------------------------------------------------------------------------- /docs/public/ai-validation.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/ai-validation.png -------------------------------------------------------------------------------- /docs/public/alpenglow_whiteboard.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/alpenglow_whiteboard.jpg -------------------------------------------------------------------------------- /docs/public/background-pattern-gradient-mini.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/background-pattern-gradient-mini.png -------------------------------------------------------------------------------- /docs/public/blog-covers/alpenglow.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/blog-covers/alpenglow.jpg -------------------------------------------------------------------------------- /docs/public/blog-covers/inductive_invariants.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/blog-covers/inductive_invariants.jpg -------------------------------------------------------------------------------- /docs/public/blog-covers/llm_era.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/blog-covers/llm_era.jpg -------------------------------------------------------------------------------- /docs/public/blog-covers/secret_santa.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/blog-covers/secret_santa.jpg -------------------------------------------------------------------------------- /docs/public/blog-covers/soup.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/blog-covers/soup.jpg -------------------------------------------------------------------------------- /docs/public/choreo-logo-dark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/choreo-logo-dark.png -------------------------------------------------------------------------------- /docs/public/choreo-logo-light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/choreo-logo-light.png -------------------------------------------------------------------------------- /docs/public/codetour.gif: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/codetour.gif -------------------------------------------------------------------------------- /docs/public/favicon.ico: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/favicon.ico -------------------------------------------------------------------------------- /docs/public/icon-dark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/icon-dark.png -------------------------------------------------------------------------------- /docs/public/icon-light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/icon-light.png -------------------------------------------------------------------------------- /docs/public/informal-systems-white.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/informal-systems-white.png -------------------------------------------------------------------------------- /docs/public/informal-systems.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/informal-systems.png -------------------------------------------------------------------------------- /docs/public/kettle-drawing.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/kettle-drawing.png -------------------------------------------------------------------------------- /docs/public/kettle-state1.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/kettle-state1.svg -------------------------------------------------------------------------------- /docs/public/kettle-state2.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/kettle-state2.svg -------------------------------------------------------------------------------- /docs/public/kettle-state3.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/kettle-state3.svg -------------------------------------------------------------------------------- /docs/public/logo-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/logo-dark.svg -------------------------------------------------------------------------------- /docs/public/logo-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/logo-light.svg -------------------------------------------------------------------------------- /docs/public/og.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/og.jpg -------------------------------------------------------------------------------- /docs/public/quint-cheatsheet.pdf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/quint-cheatsheet.pdf -------------------------------------------------------------------------------- /docs/public/quint-xmas-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/quint-xmas-dark.svg -------------------------------------------------------------------------------- /docs/public/quint-xmas-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/quint-xmas-light.svg -------------------------------------------------------------------------------- /docs/public/repl-machine.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/repl-machine.png -------------------------------------------------------------------------------- /docs/public/robot.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/robot.jpg -------------------------------------------------------------------------------- /docs/public/soup-post-plots/quint_analysis_byz.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup-post-plots/quint_analysis_byz.html -------------------------------------------------------------------------------- /docs/public/soup-post-plots/quint_analysis_commit_tc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup-post-plots/quint_analysis_commit_tc.html -------------------------------------------------------------------------------- /docs/public/soup-post-plots/quint_analysis_missing_qc.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup-post-plots/quint_analysis_missing_qc.html -------------------------------------------------------------------------------- /docs/public/soup-post-plots/quint_analysis_missing_tip.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup-post-plots/quint_analysis_missing_tip.html -------------------------------------------------------------------------------- /docs/public/soup-post-plots/quint_analysis_no_timeouts.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup-post-plots/quint_analysis_no_timeouts.html -------------------------------------------------------------------------------- /docs/public/soup-post-plots/quint_analysis_reproposal.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup-post-plots/quint_analysis_reproposal.html -------------------------------------------------------------------------------- /docs/public/soup.jpg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/soup.jpg -------------------------------------------------------------------------------- /docs/public/vscode.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/public/vscode.png -------------------------------------------------------------------------------- /docs/quint-cheatsheet.key: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/quint-cheatsheet.key -------------------------------------------------------------------------------- /docs/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/style.css -------------------------------------------------------------------------------- /docs/themes/dark.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/themes/dark.json -------------------------------------------------------------------------------- /docs/themes/light.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/themes/light.json -------------------------------------------------------------------------------- /docs/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/docs/tsconfig.json -------------------------------------------------------------------------------- /editor-plugins/emacs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/emacs/README.md -------------------------------------------------------------------------------- /editor-plugins/emacs/lsp-quint.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/emacs/lsp-quint.el -------------------------------------------------------------------------------- /editor-plugins/emacs/quint-mode.el: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/emacs/quint-mode.el -------------------------------------------------------------------------------- /editor-plugins/highlight.js/quint.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/highlight.js/quint.js -------------------------------------------------------------------------------- /editor-plugins/highlight.js/testHighlightJs.html: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/highlight.js/testHighlightJs.html -------------------------------------------------------------------------------- /editor-plugins/vim/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/vim/README.md -------------------------------------------------------------------------------- /editor-plugins/vim/quint.vim: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/editor-plugins/vim/quint.vim -------------------------------------------------------------------------------- /evaluator/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/.gitignore -------------------------------------------------------------------------------- /evaluator/Cargo.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/Cargo.lock -------------------------------------------------------------------------------- /evaluator/Cargo.toml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/Cargo.toml -------------------------------------------------------------------------------- /evaluator/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/LICENSE -------------------------------------------------------------------------------- /evaluator/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/README.md -------------------------------------------------------------------------------- /evaluator/benches/evaluator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/benches/evaluator.rs -------------------------------------------------------------------------------- /evaluator/benches/simulation.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/benches/simulation.rs -------------------------------------------------------------------------------- /evaluator/benches/tuples.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/benches/tuples.rs -------------------------------------------------------------------------------- /evaluator/fixtures/ewd426.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/ewd426.json -------------------------------------------------------------------------------- /evaluator/fixtures/ewd840.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/ewd840.json -------------------------------------------------------------------------------- /evaluator/fixtures/instances.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/instances.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt.json -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/apply_fancy.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/apply_fancy.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/apply_simple.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/apply_simple.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/apply_state_machine.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/apply_state_machine.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/completeness.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/completeness.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/grug_ics23.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/grug_ics23.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/hashes.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/hashes.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/node.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/node.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/proof_types.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/proof_types.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/proofs.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/proofs.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/pruning_state_machine.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/pruning_state_machine.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/soundness.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/soundness.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/spells/basicSpells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/spells/basicSpells.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/spells/commonSpells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/spells/commonSpells.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/spells/rareSpells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/spells/rareSpells.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/apply_fancy_test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/apply_fancy_test.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/apply_simple_test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/apply_simple_test.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/instantiatable_tree.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/instantiatable_tree.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/node_test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/node_test.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/proofs_test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/proofs_test.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/test_all.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/test_all.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/test/tree_test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/test/tree_test.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/tree.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/tree.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/jmt/utils.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/jmt/utils.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/oneOf_empty_test.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/oneOf_empty_test.qnt -------------------------------------------------------------------------------- /evaluator/fixtures/simple.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/simple.json -------------------------------------------------------------------------------- /evaluator/fixtures/tictactoe.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/tictactoe.json -------------------------------------------------------------------------------- /evaluator/fixtures/tictactoe.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/fixtures/tictactoe.qnt -------------------------------------------------------------------------------- /evaluator/flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/flake.lock -------------------------------------------------------------------------------- /evaluator/flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/flake.nix -------------------------------------------------------------------------------- /evaluator/src/builtins.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/builtins.rs -------------------------------------------------------------------------------- /evaluator/src/evaluator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/evaluator.rs -------------------------------------------------------------------------------- /evaluator/src/helpers.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/helpers.rs -------------------------------------------------------------------------------- /evaluator/src/ir.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/ir.rs -------------------------------------------------------------------------------- /evaluator/src/itf.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/itf.rs -------------------------------------------------------------------------------- /evaluator/src/lib.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/lib.rs -------------------------------------------------------------------------------- /evaluator/src/log.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/log.rs -------------------------------------------------------------------------------- /evaluator/src/main.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/main.rs -------------------------------------------------------------------------------- /evaluator/src/nondet.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/nondet.rs -------------------------------------------------------------------------------- /evaluator/src/normalizer.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/normalizer.rs -------------------------------------------------------------------------------- /evaluator/src/picker.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/picker.rs -------------------------------------------------------------------------------- /evaluator/src/progress.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/progress.rs -------------------------------------------------------------------------------- /evaluator/src/rand.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/rand.rs -------------------------------------------------------------------------------- /evaluator/src/simulator.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/simulator.rs -------------------------------------------------------------------------------- /evaluator/src/storage.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/storage.rs -------------------------------------------------------------------------------- /evaluator/src/value.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/src/value.rs -------------------------------------------------------------------------------- /evaluator/tests/deserialization_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/deserialization_tests.rs -------------------------------------------------------------------------------- /evaluator/tests/evaluation_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/evaluation_tests.rs -------------------------------------------------------------------------------- /evaluator/tests/picker_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/picker_tests.rs -------------------------------------------------------------------------------- /evaluator/tests/simulator_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/simulator_tests.rs -------------------------------------------------------------------------------- /evaluator/tests/snapshots/deserialization_tests__ewd426.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/snapshots/deserialization_tests__ewd426.snap -------------------------------------------------------------------------------- /evaluator/tests/snapshots/deserialization_tests__ewd840.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/snapshots/deserialization_tests__ewd840.snap -------------------------------------------------------------------------------- /evaluator/tests/snapshots/deserialization_tests__jmt.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/snapshots/deserialization_tests__jmt.snap -------------------------------------------------------------------------------- /evaluator/tests/snapshots/deserialization_tests__simple.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/snapshots/deserialization_tests__simple.snap -------------------------------------------------------------------------------- /evaluator/tests/snapshots/deserialization_tests__tictactoe.snap: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/snapshots/deserialization_tests__tictactoe.snap -------------------------------------------------------------------------------- /evaluator/tests/stateful_tests.rs: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/evaluator/tests/stateful_tests.rs -------------------------------------------------------------------------------- /examples/.scripts/README-text.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/.scripts/README-text.md -------------------------------------------------------------------------------- /examples/.scripts/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/.scripts/README.md -------------------------------------------------------------------------------- /examples/.scripts/run-example.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/.scripts/run-example.sh -------------------------------------------------------------------------------- /examples/.scripts/run-examples.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/.scripts/run-examples.sh -------------------------------------------------------------------------------- /examples/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/README.md -------------------------------------------------------------------------------- /examples/classic/distributed/Bakery/bakery.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/Bakery/bakery.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ClockSync/clockSync6.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ClockSync/clockSync6.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ConsensusAlgorithm/ConsensusAlg.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ConsensusAlgorithm/ConsensusAlg.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ConsensusAlgorithm/KSetAgreementConsensus.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ConsensusAlgorithm/KSetAgreementConsensus.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/DiningPhilosophers/DiningPhilosophers5.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/DiningPhilosophers/DiningPhilosophers5.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/LamportMutex/LamportMutex.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/LamportMutex/LamportMutex.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/LamportMutex/LamportMutex.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/LamportMutex/LamportMutex.tla -------------------------------------------------------------------------------- /examples/classic/distributed/Paxos/Paxos.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/Paxos/Paxos.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/Paxos/Paxos.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/Paxos/Paxos.tla -------------------------------------------------------------------------------- /examples/classic/distributed/Paxos/Voting.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/Paxos/Voting.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/Paxos/Voting.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/Paxos/Voting.tla -------------------------------------------------------------------------------- /examples/classic/distributed/ReadersWriters/ReadersWriters.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ReadersWriters/ReadersWriters.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ReadersWriters/ReadersWriters.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ReadersWriters/ReadersWriters.tla -------------------------------------------------------------------------------- /examples/classic/distributed/ReliableBroadcast/reliablebc.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ReliableBroadcast/reliablebc.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/TeachingConcurrency/mutex.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/TeachingConcurrency/mutex.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/TeachingConcurrency/teaching.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/TeachingConcurrency/teaching.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/TwoLayeredCache/two_layered_cache.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/TwoLayeredCache/two_layered_cache.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/TwoPhaseCommit/two_phase_commit.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/TwoPhaseCommit/two_phase_commit.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/TwoPhaseCommit/two_phase_commit_modules.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/TwoPhaseCommit/two_phase_commit_modules.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ewd426/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ewd426/README.md -------------------------------------------------------------------------------- /examples/classic/distributed/ewd426/ewd426.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ewd426/ewd426.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ewd426/ewd426_3.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ewd426/ewd426_3.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ewd426/ewd426_4.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ewd426/ewd426_4.qnt -------------------------------------------------------------------------------- /examples/classic/distributed/ewd840/EWD840.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ewd840/EWD840.tla -------------------------------------------------------------------------------- /examples/classic/distributed/ewd840/ewd840.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/distributed/ewd840/ewd840.qnt -------------------------------------------------------------------------------- /examples/classic/sequential/BinSearch/BinSearch.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/classic/sequential/BinSearch/BinSearch.qnt -------------------------------------------------------------------------------- /examples/cosmos/bank/bank.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/bank/bank.qnt -------------------------------------------------------------------------------- /examples/cosmos/bank/bankTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/bank/bankTest.qnt -------------------------------------------------------------------------------- /examples/cosmos/bank/cosmos-bank.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/bank/cosmos-bank.md -------------------------------------------------------------------------------- /examples/cosmos/ics20/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics20/README.md -------------------------------------------------------------------------------- /examples/cosmos/ics20/bank.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics20/bank.qnt -------------------------------------------------------------------------------- /examples/cosmos/ics20/base.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics20/base.qnt -------------------------------------------------------------------------------- /examples/cosmos/ics20/denomTrace.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics20/denomTrace.qnt -------------------------------------------------------------------------------- /examples/cosmos/ics20/ics20.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics20/ics20.qnt -------------------------------------------------------------------------------- /examples/cosmos/ics23/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics23/README.md -------------------------------------------------------------------------------- /examples/cosmos/ics23/ics23.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics23/ics23.qnt -------------------------------------------------------------------------------- /examples/cosmos/ics23/ics23.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics23/ics23.tla -------------------------------------------------------------------------------- /examples/cosmos/ics23/ics23pbt.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics23/ics23pbt.tla -------------------------------------------------------------------------------- /examples/cosmos/ics23/ics23trees.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/ics23/ics23trees.tla -------------------------------------------------------------------------------- /examples/cosmos/lightclient/Blockchain.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/lightclient/Blockchain.qnt -------------------------------------------------------------------------------- /examples/cosmos/lightclient/LCVerificationApi.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/lightclient/LCVerificationApi.qnt -------------------------------------------------------------------------------- /examples/cosmos/lightclient/Lightclient.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/lightclient/Lightclient.qnt -------------------------------------------------------------------------------- /examples/cosmos/lightclient/typedefs.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/lightclient/typedefs.qnt -------------------------------------------------------------------------------- /examples/cosmos/tendermint/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/README.md -------------------------------------------------------------------------------- /examples/cosmos/tendermint/Tendermint.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/Tendermint.qnt -------------------------------------------------------------------------------- /examples/cosmos/tendermint/TendermintModels.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/TendermintModels.qnt -------------------------------------------------------------------------------- /examples/cosmos/tendermint/TendermintTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/TendermintTest.qnt -------------------------------------------------------------------------------- /examples/cosmos/tendermint/tla/MC_n4_f1.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/tla/MC_n4_f1.tla -------------------------------------------------------------------------------- /examples/cosmos/tendermint/tla/MC_n4_f2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/tla/MC_n4_f2.tla -------------------------------------------------------------------------------- /examples/cosmos/tendermint/tla/MC_n5_f2.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/tla/MC_n5_f2.tla -------------------------------------------------------------------------------- /examples/cosmos/tendermint/tla/TendermintAcc005.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/tla/TendermintAcc005.tla -------------------------------------------------------------------------------- /examples/cosmos/tendermint/tla/typedefs.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmos/tendermint/tla/typedefs.tla -------------------------------------------------------------------------------- /examples/cosmwasm/zero-to-hero/vote.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cosmwasm/zero-to-hero/vote.qnt -------------------------------------------------------------------------------- /examples/cryptography/hashes/hashes.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cryptography/hashes/hashes.qnt -------------------------------------------------------------------------------- /examples/cryptography/hashes/hashesTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cryptography/hashes/hashesTest.qnt -------------------------------------------------------------------------------- /examples/cryptography/utxo/utxo.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/cryptography/utxo/utxo.qnt -------------------------------------------------------------------------------- /examples/games/mafia_werewolf/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/mafia_werewolf/README.md -------------------------------------------------------------------------------- /examples/games/mafia_werewolf/play_mafia.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/mafia_werewolf/play_mafia.qnt -------------------------------------------------------------------------------- /examples/games/rock_paper_scissors/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/rock_paper_scissors/README.md -------------------------------------------------------------------------------- /examples/games/rock_paper_scissors/play_rock_paper_scissors.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/rock_paper_scissors/play_rock_paper_scissors.qnt -------------------------------------------------------------------------------- /examples/games/secret-santa/secret_santa.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/secret-santa/secret_santa.qnt -------------------------------------------------------------------------------- /examples/games/tictactoe/tictactoe.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/tictactoe/tictactoe.qnt -------------------------------------------------------------------------------- /examples/games/tictactoe/tictactoe.tla: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/games/tictactoe/tictactoe.tla -------------------------------------------------------------------------------- /examples/language-features/booleans.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/booleans.qnt -------------------------------------------------------------------------------- /examples/language-features/counters.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/counters.qnt -------------------------------------------------------------------------------- /examples/language-features/generate.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/generate.qnt -------------------------------------------------------------------------------- /examples/language-features/importFrom.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/importFrom.qnt -------------------------------------------------------------------------------- /examples/language-features/imports.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/imports.qnt -------------------------------------------------------------------------------- /examples/language-features/instances.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/instances.qnt -------------------------------------------------------------------------------- /examples/language-features/instancesFrom.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/instancesFrom.qnt -------------------------------------------------------------------------------- /examples/language-features/integers.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/integers.qnt -------------------------------------------------------------------------------- /examples/language-features/lists.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/lists.qnt -------------------------------------------------------------------------------- /examples/language-features/maps.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/maps.qnt -------------------------------------------------------------------------------- /examples/language-features/nondetEx.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/nondetEx.qnt -------------------------------------------------------------------------------- /examples/language-features/option.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/option.qnt -------------------------------------------------------------------------------- /examples/language-features/records.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/records.qnt -------------------------------------------------------------------------------- /examples/language-features/sets.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/sets.qnt -------------------------------------------------------------------------------- /examples/language-features/tuples.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/language-features/tuples.qnt -------------------------------------------------------------------------------- /examples/puzzles/prisoners/prisoners.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/puzzles/prisoners/prisoners.qnt -------------------------------------------------------------------------------- /examples/puzzles/river/river.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/puzzles/river/river.qnt -------------------------------------------------------------------------------- /examples/solidity/ERC20/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/ERC20/README.md -------------------------------------------------------------------------------- /examples/solidity/ERC20/erc20.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/ERC20/erc20.qnt -------------------------------------------------------------------------------- /examples/solidity/GradualPonzi/gradualPonzi.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/GradualPonzi/gradualPonzi.qnt -------------------------------------------------------------------------------- /examples/solidity/SimpleAuction/SimpleAuction.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/SimpleAuction/SimpleAuction.qnt -------------------------------------------------------------------------------- /examples/solidity/SimplePonzi/simplePonzi.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/SimplePonzi/simplePonzi.qnt -------------------------------------------------------------------------------- /examples/solidity/icse23-fig7/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/icse23-fig7/README.md -------------------------------------------------------------------------------- /examples/solidity/icse23-fig7/lottery.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/solidity/icse23-fig7/lottery.qnt -------------------------------------------------------------------------------- /examples/spells/BoundedUInt.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/spells/BoundedUInt.qnt -------------------------------------------------------------------------------- /examples/spells/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/spells/README.md -------------------------------------------------------------------------------- /examples/spells/basicSpells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/spells/basicSpells.qnt -------------------------------------------------------------------------------- /examples/spells/commonSpells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/spells/commonSpells.qnt -------------------------------------------------------------------------------- /examples/spells/contribute-your-spell.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/spells/contribute-your-spell.md -------------------------------------------------------------------------------- /examples/spells/rareSpells.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/spells/rareSpells.qnt -------------------------------------------------------------------------------- /examples/tutorials/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/README.md -------------------------------------------------------------------------------- /examples/tutorials/booleans.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/booleans.qnt -------------------------------------------------------------------------------- /examples/tutorials/coin.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/coin.qnt -------------------------------------------------------------------------------- /examples/tutorials/hello.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/hello.qnt -------------------------------------------------------------------------------- /examples/tutorials/integers.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/integers.qnt -------------------------------------------------------------------------------- /examples/tutorials/repl/.envrc: -------------------------------------------------------------------------------- 1 | use nix; 2 | -------------------------------------------------------------------------------- /examples/tutorials/repl/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/repl/Makefile -------------------------------------------------------------------------------- /examples/tutorials/repl/default.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/repl/default.nix -------------------------------------------------------------------------------- /examples/tutorials/repl/kettle.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/repl/kettle.qnt -------------------------------------------------------------------------------- /examples/tutorials/repl/replTest.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/repl/replTest.txt -------------------------------------------------------------------------------- /examples/tutorials/repl/replTestIn.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/repl/replTestIn.txt -------------------------------------------------------------------------------- /examples/tutorials/repl/replTestOut.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/repl/replTestOut.txt -------------------------------------------------------------------------------- /examples/tutorials/sets.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/tutorials/sets.qnt -------------------------------------------------------------------------------- /examples/verification/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/verification/README.md -------------------------------------------------------------------------------- /examples/verification/defaultOpNames.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/examples/verification/defaultOpNames.qnt -------------------------------------------------------------------------------- /flake.lock: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/flake.lock -------------------------------------------------------------------------------- /flake.nix: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/flake.nix -------------------------------------------------------------------------------- /logos/quint-logo-dark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/logos/quint-logo-dark.png -------------------------------------------------------------------------------- /logos/quint-logo-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/logos/quint-logo-dark.svg -------------------------------------------------------------------------------- /logos/quint-logo-light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/logos/quint-logo-light.png -------------------------------------------------------------------------------- /logos/quint-logo-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/logos/quint-logo-light.svg -------------------------------------------------------------------------------- /logos/vienna-business-agency.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/logos/vienna-business-agency.png -------------------------------------------------------------------------------- /quint/.envrc: -------------------------------------------------------------------------------- 1 | use flake; 2 | -------------------------------------------------------------------------------- /quint/.eslintignore: -------------------------------------------------------------------------------- 1 | dist 2 | src/generated 3 | -------------------------------------------------------------------------------- /quint/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/.eslintrc.json -------------------------------------------------------------------------------- /quint/.gitignore: -------------------------------------------------------------------------------- 1 | out 2 | *.swp 3 | coverage 4 | .nyc_output 5 | dist 6 | .direnv 7 | -------------------------------------------------------------------------------- /quint/.nvmrc: -------------------------------------------------------------------------------- 1 | 19.9.0 2 | -------------------------------------------------------------------------------- /quint/.nycrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/.nycrc.json -------------------------------------------------------------------------------- /quint/.prettierignore: -------------------------------------------------------------------------------- 1 | dist 2 | src/generated 3 | -------------------------------------------------------------------------------- /quint/.prettierrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/.prettierrc.js -------------------------------------------------------------------------------- /quint/README.md: -------------------------------------------------------------------------------- 1 | ../README.md -------------------------------------------------------------------------------- /quint/apalache-dist-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/apalache-dist-tests.md -------------------------------------------------------------------------------- /quint/apalache-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/apalache-tests.md -------------------------------------------------------------------------------- /quint/cli-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/cli-tests.md -------------------------------------------------------------------------------- /quint/io-cli-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/io-cli-tests.md -------------------------------------------------------------------------------- /quint/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/package-lock.json -------------------------------------------------------------------------------- /quint/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/package.json -------------------------------------------------------------------------------- /quint/rust-backend-tests.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/rust-backend-tests.md -------------------------------------------------------------------------------- /quint/scripts/prepare-release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/scripts/prepare-release.sh -------------------------------------------------------------------------------- /quint/scripts/release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/scripts/release.sh -------------------------------------------------------------------------------- /quint/scripts/update-fixtures.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/scripts/update-fixtures.sh -------------------------------------------------------------------------------- /quint/src/ErrorMessage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ErrorMessage.ts -------------------------------------------------------------------------------- /quint/src/FreshVarGenerator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/FreshVarGenerator.ts -------------------------------------------------------------------------------- /quint/src/apalache.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/apalache.ts -------------------------------------------------------------------------------- /quint/src/builtin.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/builtin.qnt -------------------------------------------------------------------------------- /quint/src/builtin.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/builtin.ts -------------------------------------------------------------------------------- /quint/src/cli.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/cli.ts -------------------------------------------------------------------------------- /quint/src/cliCommands.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/cliCommands.ts -------------------------------------------------------------------------------- /quint/src/cliHelpers.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/cliHelpers.ts -------------------------------------------------------------------------------- /quint/src/cliReporting.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/cliReporting.ts -------------------------------------------------------------------------------- /quint/src/compileToTlaplus.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/compileToTlaplus.ts -------------------------------------------------------------------------------- /quint/src/config.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/config.ts -------------------------------------------------------------------------------- /quint/src/docs.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/docs.ts -------------------------------------------------------------------------------- /quint/src/effects/EffectVisitor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/EffectVisitor.ts -------------------------------------------------------------------------------- /quint/src/effects/MultipleUpdatesChecker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/MultipleUpdatesChecker.ts -------------------------------------------------------------------------------- /quint/src/effects/NondetChecker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/NondetChecker.ts -------------------------------------------------------------------------------- /quint/src/effects/ToEffectVisitor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/ToEffectVisitor.ts -------------------------------------------------------------------------------- /quint/src/effects/base.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/base.ts -------------------------------------------------------------------------------- /quint/src/effects/builtinSignatures.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/builtinSignatures.ts -------------------------------------------------------------------------------- /quint/src/effects/inferrer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/inferrer.ts -------------------------------------------------------------------------------- /quint/src/effects/modeChecker.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/modeChecker.ts -------------------------------------------------------------------------------- /quint/src/effects/namespaces.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/namespaces.ts -------------------------------------------------------------------------------- /quint/src/effects/parser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/parser.ts -------------------------------------------------------------------------------- /quint/src/effects/printing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/printing.ts -------------------------------------------------------------------------------- /quint/src/effects/simplification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/simplification.ts -------------------------------------------------------------------------------- /quint/src/effects/substitutions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/effects/substitutions.ts -------------------------------------------------------------------------------- /quint/src/environment.d.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/environment.d.ts -------------------------------------------------------------------------------- /quint/src/errorReporter.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/errorReporter.ts -------------------------------------------------------------------------------- /quint/src/errorTree.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/errorTree.ts -------------------------------------------------------------------------------- /quint/src/flattening/flattener.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/flattening/flattener.ts -------------------------------------------------------------------------------- /quint/src/flattening/fullFlattener.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/flattening/fullFlattener.ts -------------------------------------------------------------------------------- /quint/src/flattening/instanceFlattener.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/flattening/instanceFlattener.ts -------------------------------------------------------------------------------- /quint/src/generated/.gitattributes: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/.gitattributes -------------------------------------------------------------------------------- /quint/src/generated/Effect.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/Effect.g4 -------------------------------------------------------------------------------- /quint/src/generated/Effect.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/Effect.interp -------------------------------------------------------------------------------- /quint/src/generated/Effect.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/Effect.tokens -------------------------------------------------------------------------------- /quint/src/generated/EffectLexer.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/EffectLexer.interp -------------------------------------------------------------------------------- /quint/src/generated/EffectLexer.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/EffectLexer.tokens -------------------------------------------------------------------------------- /quint/src/generated/EffectLexer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/EffectLexer.ts -------------------------------------------------------------------------------- /quint/src/generated/EffectListener.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/EffectListener.ts -------------------------------------------------------------------------------- /quint/src/generated/EffectParser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/EffectParser.ts -------------------------------------------------------------------------------- /quint/src/generated/EffectVisitor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/EffectVisitor.ts -------------------------------------------------------------------------------- /quint/src/generated/Quint.g4: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/Quint.g4 -------------------------------------------------------------------------------- /quint/src/generated/Quint.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/Quint.interp -------------------------------------------------------------------------------- /quint/src/generated/Quint.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/Quint.tokens -------------------------------------------------------------------------------- /quint/src/generated/QuintLexer.interp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/QuintLexer.interp -------------------------------------------------------------------------------- /quint/src/generated/QuintLexer.tokens: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/QuintLexer.tokens -------------------------------------------------------------------------------- /quint/src/generated/QuintLexer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/QuintLexer.ts -------------------------------------------------------------------------------- /quint/src/generated/QuintListener.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/QuintListener.ts -------------------------------------------------------------------------------- /quint/src/generated/QuintParser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/QuintParser.ts -------------------------------------------------------------------------------- /quint/src/generated/QuintVisitor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/generated/QuintVisitor.ts -------------------------------------------------------------------------------- /quint/src/graphics.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/graphics.ts -------------------------------------------------------------------------------- /quint/src/idGenerator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/idGenerator.ts -------------------------------------------------------------------------------- /quint/src/index.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/index.ts -------------------------------------------------------------------------------- /quint/src/ir/IRFinder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/IRFinder.ts -------------------------------------------------------------------------------- /quint/src/ir/IRTransformer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/IRTransformer.ts -------------------------------------------------------------------------------- /quint/src/ir/IRVisitor.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/IRVisitor.ts -------------------------------------------------------------------------------- /quint/src/ir/IRprinting.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/IRprinting.ts -------------------------------------------------------------------------------- /quint/src/ir/idRefresher.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/idRefresher.ts -------------------------------------------------------------------------------- /quint/src/ir/initToPredicate.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/initToPredicate.ts -------------------------------------------------------------------------------- /quint/src/ir/namespacer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/namespacer.ts -------------------------------------------------------------------------------- /quint/src/ir/quintIr.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/quintIr.ts -------------------------------------------------------------------------------- /quint/src/ir/quintTypes.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/ir/quintTypes.ts -------------------------------------------------------------------------------- /quint/src/itf.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/itf.ts -------------------------------------------------------------------------------- /quint/src/jsonHelper.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/jsonHelper.ts -------------------------------------------------------------------------------- /quint/src/names/base.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/names/base.ts -------------------------------------------------------------------------------- /quint/src/names/collector.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/names/collector.ts -------------------------------------------------------------------------------- /quint/src/names/importErrors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/names/importErrors.ts -------------------------------------------------------------------------------- /quint/src/names/resolver.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/names/resolver.ts -------------------------------------------------------------------------------- /quint/src/names/unshadower.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/names/unshadower.ts -------------------------------------------------------------------------------- /quint/src/parsing/ToIrListener.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/parsing/ToIrListener.ts -------------------------------------------------------------------------------- /quint/src/parsing/parseErrors.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/parsing/parseErrors.ts -------------------------------------------------------------------------------- /quint/src/parsing/quintParserFrontend.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/parsing/quintParserFrontend.ts -------------------------------------------------------------------------------- /quint/src/parsing/sourceResolver.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/parsing/sourceResolver.ts -------------------------------------------------------------------------------- /quint/src/prettierimp.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/prettierimp.ts -------------------------------------------------------------------------------- /quint/src/quintAnalyzer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/quintAnalyzer.ts -------------------------------------------------------------------------------- /quint/src/quintError.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/quintError.ts -------------------------------------------------------------------------------- /quint/src/quintRustWrapper.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/quintRustWrapper.ts -------------------------------------------------------------------------------- /quint/src/quintVerifier.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/quintVerifier.ts -------------------------------------------------------------------------------- /quint/src/reflection.proto: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/reflection.proto -------------------------------------------------------------------------------- /quint/src/repl.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/repl.ts -------------------------------------------------------------------------------- /quint/src/rng.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/rng.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/Context.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/Context.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/VarStorage.1.ts: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /quint/src/runtime/impl/VarStorage.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/VarStorage.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/builder.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/builder.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/builtins.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/builtins.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/evaluator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/evaluator.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/nondet.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/nondet.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/runtimeValue.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/runtimeValue.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/runtimeValueDiff.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/runtimeValueDiff.ts -------------------------------------------------------------------------------- /quint/src/runtime/impl/trace.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/impl/trace.ts -------------------------------------------------------------------------------- /quint/src/runtime/testing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/testing.ts -------------------------------------------------------------------------------- /quint/src/runtime/trace.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/runtime/trace.ts -------------------------------------------------------------------------------- /quint/src/simulation.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/simulation.ts -------------------------------------------------------------------------------- /quint/src/static/callgraph.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/static/callgraph.ts -------------------------------------------------------------------------------- /quint/src/static/toposort.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/static/toposort.ts -------------------------------------------------------------------------------- /quint/src/types/aliasInliner.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/aliasInliner.ts -------------------------------------------------------------------------------- /quint/src/types/base.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/base.ts -------------------------------------------------------------------------------- /quint/src/types/builtinSignatures.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/builtinSignatures.ts -------------------------------------------------------------------------------- /quint/src/types/constraintGenerator.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/constraintGenerator.ts -------------------------------------------------------------------------------- /quint/src/types/constraintSolver.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/constraintSolver.ts -------------------------------------------------------------------------------- /quint/src/types/inferrer.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/inferrer.ts -------------------------------------------------------------------------------- /quint/src/types/parser.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/parser.ts -------------------------------------------------------------------------------- /quint/src/types/printing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/printing.ts -------------------------------------------------------------------------------- /quint/src/types/simplification.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/simplification.ts -------------------------------------------------------------------------------- /quint/src/types/specialConstraints.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/specialConstraints.ts -------------------------------------------------------------------------------- /quint/src/types/substitutions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/substitutions.ts -------------------------------------------------------------------------------- /quint/src/types/typeApplicationResolution.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/types/typeApplicationResolution.ts -------------------------------------------------------------------------------- /quint/src/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/util.ts -------------------------------------------------------------------------------- /quint/src/verbosity.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/verbosity.ts -------------------------------------------------------------------------------- /quint/src/version.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/src/version.ts -------------------------------------------------------------------------------- /quint/test/builders/ir.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/builders/ir.ts -------------------------------------------------------------------------------- /quint/test/builtin.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/builtin.test.ts -------------------------------------------------------------------------------- /quint/test/cli.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/cli.test.ts -------------------------------------------------------------------------------- /quint/test/docs.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/docs.test.ts -------------------------------------------------------------------------------- /quint/test/effects/EffectVisitor.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/EffectVisitor.test.ts -------------------------------------------------------------------------------- /quint/test/effects/MultipleUpdatesChecker.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/MultipleUpdatesChecker.test.ts -------------------------------------------------------------------------------- /quint/test/effects/NondetChecker.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/NondetChecker.test.ts -------------------------------------------------------------------------------- /quint/test/effects/base.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/base.test.ts -------------------------------------------------------------------------------- /quint/test/effects/inferrer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/inferrer.test.ts -------------------------------------------------------------------------------- /quint/test/effects/modeChecker.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/modeChecker.test.ts -------------------------------------------------------------------------------- /quint/test/effects/namespaces.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/namespaces.test.ts -------------------------------------------------------------------------------- /quint/test/effects/parser.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/parser.test.ts -------------------------------------------------------------------------------- /quint/test/effects/substitutions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/effects/substitutions.test.ts -------------------------------------------------------------------------------- /quint/test/errorReporter.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/errorReporter.test.ts -------------------------------------------------------------------------------- /quint/test/errorTree.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/errorTree.test.ts -------------------------------------------------------------------------------- /quint/test/flattening/flattener.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/flattening/flattener.test.ts -------------------------------------------------------------------------------- /quint/test/flattening/fullFlattener.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/flattening/fullFlattener.test.ts -------------------------------------------------------------------------------- /quint/test/flattening/instanceFlattener.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/flattening/instanceFlattener.test.ts -------------------------------------------------------------------------------- /quint/test/ir/IRFinder.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/IRFinder.test.ts -------------------------------------------------------------------------------- /quint/test/ir/IRTransformer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/IRTransformer.test.ts -------------------------------------------------------------------------------- /quint/test/ir/IRVisitor.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/IRVisitor.test.ts -------------------------------------------------------------------------------- /quint/test/ir/IRprinting.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/IRprinting.test.ts -------------------------------------------------------------------------------- /quint/test/ir/idRefresher.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/idRefresher.test.ts -------------------------------------------------------------------------------- /quint/test/ir/namespacer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/namespacer.test.ts -------------------------------------------------------------------------------- /quint/test/ir/quintTypes.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/ir/quintTypes.test.ts -------------------------------------------------------------------------------- /quint/test/itf.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/itf.test.ts -------------------------------------------------------------------------------- /quint/test/names/collector.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/names/collector.test.ts -------------------------------------------------------------------------------- /quint/test/names/resolver.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/names/resolver.test.ts -------------------------------------------------------------------------------- /quint/test/names/unshadower.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/names/unshadower.test.ts -------------------------------------------------------------------------------- /quint/test/parsing/quintParserFrontend.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/parsing/quintParserFrontend.test.ts -------------------------------------------------------------------------------- /quint/test/parsing/sourceResolver.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/parsing/sourceResolver.test.ts -------------------------------------------------------------------------------- /quint/test/prettierimp.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/prettierimp.test.ts -------------------------------------------------------------------------------- /quint/test/repl.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/repl.test.ts -------------------------------------------------------------------------------- /quint/test/rng.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/rng.test.ts -------------------------------------------------------------------------------- /quint/test/runtime/compile.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/runtime/compile.test.ts -------------------------------------------------------------------------------- /quint/test/runtime/trace.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/runtime/trace.test.ts -------------------------------------------------------------------------------- /quint/test/static/callgraph.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/static/callgraph.test.ts -------------------------------------------------------------------------------- /quint/test/static/toposort.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/static/toposort.test.ts -------------------------------------------------------------------------------- /quint/test/textUtils.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/textUtils.ts -------------------------------------------------------------------------------- /quint/test/types/aliasInliner.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/aliasInliner.test.ts -------------------------------------------------------------------------------- /quint/test/types/builtinSignatures.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/builtinSignatures.test.ts -------------------------------------------------------------------------------- /quint/test/types/constraintGenerator.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/constraintGenerator.test.ts -------------------------------------------------------------------------------- /quint/test/types/constraintSolver.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/constraintSolver.test.ts -------------------------------------------------------------------------------- /quint/test/types/inferrer.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/inferrer.test.ts -------------------------------------------------------------------------------- /quint/test/types/parser.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/parser.test.ts -------------------------------------------------------------------------------- /quint/test/types/simplification.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/simplification.test.ts -------------------------------------------------------------------------------- /quint/test/types/substitutions.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/types/substitutions.test.ts -------------------------------------------------------------------------------- /quint/test/util.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/util.test.ts -------------------------------------------------------------------------------- /quint/test/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/test/util.ts -------------------------------------------------------------------------------- /quint/testFixture/ApalacheCompilation.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/ApalacheCompilation.qnt -------------------------------------------------------------------------------- /quint/testFixture/ApalacheCompilationError.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/ApalacheCompilationError.qnt -------------------------------------------------------------------------------- /quint/testFixture/SuperSpec.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/SuperSpec.json -------------------------------------------------------------------------------- /quint/testFixture/SuperSpec.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/SuperSpec.map.json -------------------------------------------------------------------------------- /quint/testFixture/SuperSpec.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/SuperSpec.qnt -------------------------------------------------------------------------------- /quint/testFixture/TrivialTypeError.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/TrivialTypeError.json -------------------------------------------------------------------------------- /quint/testFixture/TrivialTypeError.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/TrivialTypeError.map.json -------------------------------------------------------------------------------- /quint/testFixture/TrivialTypeError.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/TrivialTypeError.qnt -------------------------------------------------------------------------------- /quint/testFixture/_0001emptyModule.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0001emptyModule.json -------------------------------------------------------------------------------- /quint/testFixture/_0001emptyModule.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0001emptyModule.map.json -------------------------------------------------------------------------------- /quint/testFixture/_0001emptyModule.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0001emptyModule.qnt -------------------------------------------------------------------------------- /quint/testFixture/_0099unorderedDefs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0099unorderedDefs.json -------------------------------------------------------------------------------- /quint/testFixture/_0099unorderedDefs.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0099unorderedDefs.map.json -------------------------------------------------------------------------------- /quint/testFixture/_0099unorderedDefs.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0099unorderedDefs.qnt -------------------------------------------------------------------------------- /quint/testFixture/_0100cyclicDefs.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0100cyclicDefs.json -------------------------------------------------------------------------------- /quint/testFixture/_0100cyclicDefs.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0100cyclicDefs.map.json -------------------------------------------------------------------------------- /quint/testFixture/_0100cyclicDefs.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0100cyclicDefs.qnt -------------------------------------------------------------------------------- /quint/testFixture/_0101noRecursion.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0101noRecursion.json -------------------------------------------------------------------------------- /quint/testFixture/_0101noRecursion.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0101noRecursion.map.json -------------------------------------------------------------------------------- /quint/testFixture/_0101noRecursion.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_0101noRecursion.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1010undefinedName.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1010undefinedName.json -------------------------------------------------------------------------------- /quint/testFixture/_1010undefinedName.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1010undefinedName.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1010undefinedName.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1010undefinedName.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1011nameOutOfScope.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1011nameOutOfScope.json -------------------------------------------------------------------------------- /quint/testFixture/_1011nameOutOfScope.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1011nameOutOfScope.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1011nameOutOfScope.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1011nameOutOfScope.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1012unknownType.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1012unknownType.json -------------------------------------------------------------------------------- /quint/testFixture/_1012unknownType.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1012unknownType.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1012unknownType.qnt: -------------------------------------------------------------------------------- 1 | module unknown_type { 2 | var S: UNKNOWN_TYPE 3 | } 4 | -------------------------------------------------------------------------------- /quint/testFixture/_1013unknownTypeLetIn.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1013unknownTypeLetIn.json -------------------------------------------------------------------------------- /quint/testFixture/_1013unknownTypeLetIn.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1013unknownTypeLetIn.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1013unknownTypeLetIn.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1013unknownTypeLetIn.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1014conflictingNames.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1014conflictingNames.json -------------------------------------------------------------------------------- /quint/testFixture/_1014conflictingNames.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1014conflictingNames.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1014conflictingNames.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1014conflictingNames.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1015noToplevelNondet.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1015noToplevelNondet.json -------------------------------------------------------------------------------- /quint/testFixture/_1015noToplevelNondet.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1015noToplevelNondet.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1016nonConstOverride.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1016nonConstOverride.json -------------------------------------------------------------------------------- /quint/testFixture/_1016nonConstOverride.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1016nonConstOverride.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1016nonConstOverride.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1016nonConstOverride.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1017keywordsAsIdentifiers.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1017keywordsAsIdentifiers.json -------------------------------------------------------------------------------- /quint/testFixture/_1017keywordsAsIdentifiers.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1017keywordsAsIdentifiers.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1017keywordsAsIdentifiers.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1017keywordsAsIdentifiers.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1020importFrom.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1020importFrom.json -------------------------------------------------------------------------------- /quint/testFixture/_1020importFrom.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1020importFrom.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1020importFrom.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1020importFrom.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1021importee1.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1021importee1.json -------------------------------------------------------------------------------- /quint/testFixture/_1021importee1.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1021importee1.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1021importee1.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1021importee1.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1022importee2.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1022importee2.json -------------------------------------------------------------------------------- /quint/testFixture/_1022importee2.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1022importee2.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1022importee2.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1022importee2.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1023importFromUnresolved.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1023importFromUnresolved.json -------------------------------------------------------------------------------- /quint/testFixture/_1023importFromUnresolved.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1023importFromUnresolved.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1025importeeWithError.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1025importeeWithError.json -------------------------------------------------------------------------------- /quint/testFixture/_1025importeeWithError.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1025importeeWithError.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1026importCycleA.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1026importCycleA.json -------------------------------------------------------------------------------- /quint/testFixture/_1026importCycleA.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1026importCycleA.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1027importCycleB.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1027importCycleB.json -------------------------------------------------------------------------------- /quint/testFixture/_1027importCycleB.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1027importCycleB.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1028importCycleC.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1028importCycleC.json -------------------------------------------------------------------------------- /quint/testFixture/_1028importCycleC.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1028importCycleC.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1030const.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1030const.json -------------------------------------------------------------------------------- /quint/testFixture/_1030const.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1030const.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1030const.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1030const.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1031instance.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1031instance.json -------------------------------------------------------------------------------- /quint/testFixture/_1031instance.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1031instance.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1031instance.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1031instance.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1032docstrings.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1032docstrings.json -------------------------------------------------------------------------------- /quint/testFixture/_1032docstrings.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1032docstrings.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1032docstrings.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1032docstrings.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1040compileError.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1040compileError.json -------------------------------------------------------------------------------- /quint/testFixture/_1040compileError.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1040compileError.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1040compileError.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1040compileError.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1041compileConst.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1041compileConst.json -------------------------------------------------------------------------------- /quint/testFixture/_1041compileConst.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1041compileConst.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1041compileConst.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1041compileConst.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1042qualifiersInRecordsFieldsError.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1042qualifiersInRecordsFieldsError.json -------------------------------------------------------------------------------- /quint/testFixture/_1042qualifiersInRecordsFieldsError.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1042qualifiersInRecordsFieldsError.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1043sumTypeDecl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1043sumTypeDecl.json -------------------------------------------------------------------------------- /quint/testFixture/_1043sumTypeDecl.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1043sumTypeDecl.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1043sumTypeDecl.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1043sumTypeDecl.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1044matchExpression.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1044matchExpression.json -------------------------------------------------------------------------------- /quint/testFixture/_1044matchExpression.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1044matchExpression.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1044matchExpression.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1044matchExpression.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1045polymorphicTypeDecl.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1045polymorphicTypeDecl.json -------------------------------------------------------------------------------- /quint/testFixture/_1045polymorphicTypeDecl.map.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1045polymorphicTypeDecl.map.json -------------------------------------------------------------------------------- /quint/testFixture/_1045polymorphicTypeDecl.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1045polymorphicTypeDecl.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1050diffName.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1050diffName.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1051manyTests.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1051manyTests.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1052one.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1052one.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1053two.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1053two.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1054sumTypesInItf.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1054sumTypesInItf.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1060case.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1060case.qnt -------------------------------------------------------------------------------- /quint/testFixture/_1070mapSyntax.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1070mapSyntax.json -------------------------------------------------------------------------------- /quint/testFixture/_1070mapSyntax.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/_1070mapSyntax.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/README.md -------------------------------------------------------------------------------- /quint/testFixture/apalache/deadlock.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/deadlock.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/genericRowParam.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/genericRowParam.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/inferredStateVar.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/inferredStateVar.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/mapStateVar.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/mapStateVar.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/polyStateVar.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/polyStateVar.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/temporalTest.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/temporalTest.qnt -------------------------------------------------------------------------------- /quint/testFixture/apalache/violateOnFive.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/apalache/violateOnFive.qnt -------------------------------------------------------------------------------- /quint/testFixture/bug1736setOfMaps.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/bug1736setOfMaps.qnt -------------------------------------------------------------------------------- /quint/testFixture/bug843pureValCache.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/bug843pureValCache.qnt -------------------------------------------------------------------------------- /quint/testFixture/modulesAndJunk.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/modulesAndJunk.json -------------------------------------------------------------------------------- /quint/testFixture/modulesAndJunk.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/modulesAndJunk.qnt -------------------------------------------------------------------------------- /quint/testFixture/simulator/failingTestCounters.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/simulator/failingTestCounters.qnt -------------------------------------------------------------------------------- /quint/testFixture/simulator/gettingStarted.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/simulator/gettingStarted.qnt -------------------------------------------------------------------------------- /quint/testFixture/simulator/lastActionInRun.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/simulator/lastActionInRun.qnt -------------------------------------------------------------------------------- /quint/testFixture/typechecking/FileWithError.qnt: -------------------------------------------------------------------------------- 1 | module WithError { 2 | val a: int = true 3 | } 4 | -------------------------------------------------------------------------------- /quint/testFixture/typechecking/ImportFileWithError.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/typechecking/ImportFileWithError.qnt -------------------------------------------------------------------------------- /quint/testFixture/typechecking/OverrideErrors.qnt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/testFixture/typechecking/OverrideErrors.qnt -------------------------------------------------------------------------------- /quint/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/quint/tsconfig.json -------------------------------------------------------------------------------- /tlc/check_with_tlc.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/tlc/check_with_tlc.sh -------------------------------------------------------------------------------- /tlc/common.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/tlc/common.sh -------------------------------------------------------------------------------- /vscode/.gitignore: -------------------------------------------------------------------------------- 1 | node_modules 2 | dist 3 | out 4 | -------------------------------------------------------------------------------- /vscode/quint-vscode/.cloc.cfg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/.cloc.cfg -------------------------------------------------------------------------------- /vscode/quint-vscode/.eslintignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/.eslintignore -------------------------------------------------------------------------------- /vscode/quint-vscode/.eslintrc.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/.eslintrc.json -------------------------------------------------------------------------------- /vscode/quint-vscode/.prettierignore: -------------------------------------------------------------------------------- 1 | server/.yalc 2 | -------------------------------------------------------------------------------- /vscode/quint-vscode/.prettierrc.js: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/.prettierrc.js -------------------------------------------------------------------------------- /vscode/quint-vscode/.vscode/launch.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/.vscode/launch.json -------------------------------------------------------------------------------- /vscode/quint-vscode/CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/CHANGELOG.md -------------------------------------------------------------------------------- /vscode/quint-vscode/LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/LICENSE -------------------------------------------------------------------------------- /vscode/quint-vscode/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/README.md -------------------------------------------------------------------------------- /vscode/quint-vscode/client/src/extension.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/client/src/extension.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/client/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/client/tsconfig.json -------------------------------------------------------------------------------- /vscode/quint-vscode/icons/logo-dark.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/icons/logo-dark.png -------------------------------------------------------------------------------- /vscode/quint-vscode/icons/logo-dark.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/icons/logo-dark.svg -------------------------------------------------------------------------------- /vscode/quint-vscode/icons/logo-light.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/icons/logo-light.png -------------------------------------------------------------------------------- /vscode/quint-vscode/icons/logo-light.svg: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/icons/logo-light.svg -------------------------------------------------------------------------------- /vscode/quint-vscode/icons/logo.png: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/icons/logo.png -------------------------------------------------------------------------------- /vscode/quint-vscode/language-configuration.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/language-configuration.json -------------------------------------------------------------------------------- /vscode/quint-vscode/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/package-lock.json -------------------------------------------------------------------------------- /vscode/quint-vscode/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/package.json -------------------------------------------------------------------------------- /vscode/quint-vscode/scripts/prepare-release.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/scripts/prepare-release.sh -------------------------------------------------------------------------------- /vscode/quint-vscode/server/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/README.md -------------------------------------------------------------------------------- /vscode/quint-vscode/server/package-lock.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/package-lock.json -------------------------------------------------------------------------------- /vscode/quint-vscode/server/package.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/package.json -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/complete.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/complete.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/definitions.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/definitions.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/documentSymbols.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/documentSymbols.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/hover.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/hover.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/logger.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/logger.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/parsing.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/parsing.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/rename.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/rename.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/reporting.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/reporting.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/src/server.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/src/server.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/test/reporting.test.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/test/reporting.test.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/test/util.ts: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/test/util.ts -------------------------------------------------------------------------------- /vscode/quint-vscode/server/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/server/tsconfig.json -------------------------------------------------------------------------------- /vscode/quint-vscode/syntaxes/quint.tmLanguage.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/syntaxes/quint.tmLanguage.json -------------------------------------------------------------------------------- /vscode/quint-vscode/tsconfig.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/informalsystems/quint/HEAD/vscode/quint-vscode/tsconfig.json --------------------------------------------------------------------------------