Repository navigation

Commits

Commits on Jun 22, 2026
- Merge pull request #1990 from quint-co/gabriela/remove-bluespec
  bugarela
  authored
  9442e4c
Commits on Jun 19, 2026
- Update test expectations
  bugarela
  committed
  04616f7
- Remove bluespec annotations
  bugarela
  committed
  8a6186b
Commits on May 4, 2026
- fix(doc): typo in hello lesson (#1984)
  silranucci
  authored
  db6f80b
Commits on Apr 30, 2026
- fix(RS): Fix Rust backend crash on user record fields named `reference` or `trace` (#1982)
  beu5a
  authored
  9d08bcf
Commits on Apr 29, 2026
- Update TextMate grammar (#1979)
  beu5a
  authored
  7efd616
Commits on Apr 24, 2026
- Rename ITF files in integrations tests (#1975)
  beu5a
  authored
  69eba61
Commits on Apr 22, 2026
- fix(tlc): isolate JVM tmpdir per invocation to prevent stdlib extraction races (#1974)
  beu5a
  authored
  35d75f5
Commits on Apr 21, 2026
- Merge pull request #1973 from informalsystems/yassine/fix-tuples-benchmark
  bugarela
  authored
  046d788
- Use helpers::parse in tuples benchmark to fix broken compile invocation after init/step default changes
  beu5a
  committed
  4147c67
Commits on Apr 16, 2026
- Merge pull request #1971 from informalsystems/yassine/fix-compile-args
  bugarela
  authored
  8060e27
- Merge branch 'main' into yassine/fix-compile-args
  beu5a
  authored
  bdea101
- Update Netlify configuration for build command
  bugarela
  authored
  0914c12
- Merge pull request #1972 from informalsystems/nikola/redirects
  bugarela
  authored
  74b463f
- fix: remove netlify.toml
  
  Nikola Milanovic
  authored and
  Nikola Milanovic
  committed
  82d06e1
- fix: move to docs
  
  Nikola Milanovic
  authored and
  Nikola Milanovic
  committed
  cd8cb9c
- Update test expectation for flatten=true with init/step defaults
  beu5a
  committed
  bff6702
- Add defaults for compile when flatten==true
  beu5a
  committed
  392c60c
- chore: add redirects to new quint
  
  Nikola Milanovic
  authored and
  Nikola Milanovic
  committed
  a52799c
Commits on Apr 15, 2026
- Add CHANGELOG entry for optional init/step in JSON compilation
  beu5a
  committed
  accfa61
- Remove unused init/step stubs from tuples benchmark
  beu5a
  committed
  eb69cf2
- Remove useless quint compile args from rust tests
  beu5a
  committed
  c581f84
- Update default arguments for compile/verify
  beu5a
  committed
  b756687
Commits on Apr 14, 2026
- Update test expectations
  beu5a
  committed
  def2f75
- Remove requirements for init/step for compiling to json
  beu5a
  committed
  faf47d6
Commits on Apr 13, 2026
Commits on Apr 10, 2026
- Introduce Lattice Agreement blog post
  erickpintor
  committed
  3a83408
- Add strong and weak fait to vscode grammar
  erickpintor
  committed
  ce69221
Commits on Mar 31, 2026
- Update README to remove meeting info and revise acknowledgments (#1962)
  beu5a
  authored
  f1e087b
- delete tlc folder (#1961)
  beu5a
  authored
  c810bf8
- Add find all references to VSCode CHANGELOG
  beu5a
  committed
  32a22da
- VSCode Release v0.20.0
  beu5a
  committed
  fa8acd9

Branch selector

User selector

Datepicker

Commit history

Commits on Jun 22, 2026

Commits on Jun 19, 2026

Commits on May 4, 2026

Commits on Apr 30, 2026

Commits on Apr 29, 2026

Commits on Apr 24, 2026

Commits on Apr 22, 2026

Commits on Apr 21, 2026

Commits on Apr 16, 2026

Commits on Apr 15, 2026

Commits on Apr 14, 2026

Commits on Apr 13, 2026

Commits on Apr 10, 2026

Commits on Mar 31, 2026