Commits

Branch selector

 main

User selector

All users

All time

Commit History

Commits on May 4, 2026

• fix(doc): typo in hello lesson (#1984)

  silranucci

  authored
  db6f80b

  Copy full SHA for db6f80b

Commits on Apr 30, 2026

• fix(RS): Fix Rust backend crash on user record fields named `reference` or `trace` (#1982)

  Show description for 9d08bcf
  beu5a

  authored
  9d08bcf

  Copy full SHA for 9d08bcf

Commits on Apr 29, 2026

• Update TextMate grammar (#1979)

  Show description for 7efd616
  beu5a

  authored
  7efd616

  Copy full SHA for 7efd616

Commits on Apr 24, 2026

• Rename ITF files in integrations tests (#1975)

  beu5a

  authored
  69eba61

  Copy full SHA for 69eba61

Commits on Apr 22, 2026

• fix(tlc): isolate JVM tmpdir per invocation to prevent stdlib extraction races (#1974)

  beu5a

  authored
  35d75f5

  Copy full SHA for 35d75f5

Commits on Apr 21, 2026

• Merge pull request #1973 from informalsystems/yassine/fix-tuples-benchmark

  Show description for 046d788
  bugarela

  authored
  046d788

  Copy full SHA for 046d788

• Use helpers::parse in tuples benchmark to fix broken compile invocation after init/step default changes

  beu5a

  committed
  4147c67

  Copy full SHA for 4147c67

Commits on Apr 16, 2026

• Merge pull request #1971 from informalsystems/yassine/fix-compile-args

  Show description for 8060e27
  bugarela

  authored
  8060e27

  Copy full SHA for 8060e27

• Merge branch 'main' into yassine/fix-compile-args

  beu5a

  authored
  bdea101

  Copy full SHA for bdea101

• Update Netlify configuration for build command

  bugarela

  authored
  0914c12

  Copy full SHA for 0914c12

• Merge pull request #1972 from informalsystems/nikola/redirects

  Show description for 74b463f
  bugarela

  authored
  74b463f

  Copy full SHA for 74b463f

• fix: remove netlify.toml

  

  Nikola Milanovic

  authored and

  Nikola Milanovic

  committed
  82d06e1

  Copy full SHA for 82d06e1

• fix: move to docs

  

  Nikola Milanovic

  authored and

  Nikola Milanovic

  committed
  cd8cb9c

  Copy full SHA for cd8cb9c

• Update test expectation for flatten=true with init/step defaults

  beu5a

  committed
  bff6702

  Copy full SHA for bff6702

• Add defaults for compile when flatten==true

  beu5a

  committed
  392c60c

  Copy full SHA for 392c60c

• chore: add redirects to new quint

  

  Nikola Milanovic

  authored and

  Nikola Milanovic

  committed
  a52799c

  Copy full SHA for a52799c

Commits on Apr 15, 2026

• Add CHANGELOG entry for optional init/step in JSON compilation

  beu5a

  committed
  accfa61

  Copy full SHA for accfa61

• Remove unused init/step stubs from tuples benchmark

  beu5a

  committed
  eb69cf2

  Copy full SHA for eb69cf2

• Remove useless quint compile args from rust tests

  beu5a

  committed
  c581f84

  Copy full SHA for c581f84

• Update default arguments for compile/verify

  beu5a

  committed
  b756687

  Copy full SHA for b756687

Commits on Apr 14, 2026

• Update test expectations

  beu5a

  committed
  def2f75

  Copy full SHA for def2f75

• Remove requirements for init/step for compiling to json

  beu5a

  committed
  faf47d6

  Copy full SHA for faf47d6

Commits on Apr 13, 2026

• Merge pull request #1970 from informalsystems/erick/blog-lattice-agreement

  Show description for 471f97a
  bugarela

  authored
  471f97a

  Copy full SHA for 471f97a

• Merge branch 'main' into erick/blog-lattice-agreement

  bugarela

  authored
  60551be

  Copy full SHA for 60551be

• fix: detect state variable shadowing --init/--step action names (#1969)

  Show description for 3daa736
  

  pilt

  and

  beu5a

  authored
  3daa736

  Copy full SHA for 3daa736

• update temporal property and refactor text because both specs use the same property now

  crodriguezvega

  committed
  4f0eec3

  Copy full SHA for 4f0eec3

Commits on Apr 10, 2026

• Introduce Lattice Agreement blog post

  erickpintor

  committed
  3a83408

  Copy full SHA for 3a83408

• Add strong and weak fait to vscode grammar

  erickpintor

  committed
  ce69221

  Copy full SHA for ce69221

Commits on Mar 31, 2026

• Update README to remove meeting info and revise acknowledgments (#1962)

  beu5a

  authored
  f1e087b

  Copy full SHA for f1e087b

• delete tlc folder (#1961)

  beu5a

  authored
  c810bf8

  Copy full SHA for c810bf8

• Add find all references to VSCode CHANGELOG

  beu5a

  committed
  32a22da

  Copy full SHA for 32a22da

• VSCode Release v0.20.0

  beu5a

  committed
  fa8acd9

  Copy full SHA for fa8acd9

• Release v0.32.0

  beu5a

  committed
  fd77260

  Copy full SHA for fd77260

• Update QUINT_EVALUATOR_VERSION to v0.6.0

  beu5a

  committed
  6823ea3

  Copy full SHA for 6823ea3

• regenerated codetour files properly

  JMollerach

  committed
  1d90f11

  Copy full SHA for 1d90f11