Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 28, 2025

• Merge pull request #1583 from informalsystems/add-Dijkstra-example

  Show description for a69607f
  bugarela

  authored
  a69607f

  Copy full SHA for a69607f

• Merge branch 'main' into add-Dijkstra-example

  bugarela

  authored
  14ee0f6

  Copy full SHA for 14ee0f6

• Merge pull request #1585 from informalsystems/josef/selfstab

  Show description for 9286e2c
  bugarela

  authored
  9286e2c

  Copy full SHA for 9286e2c

• add step for distributed demon

  josef-widder

  committed
  23d3c9a

  Copy full SHA for 23d3c9a

Commits on Jan 27, 2025

• Update examples dashboard

  bugarela

  committed
  fa99056

  Copy full SHA for fa99056

• Add a README file

  bugarela

  committed
  b7605f7

  Copy full SHA for b7605f7

• Add script to check temporal properties with TLC

  bugarela

  committed
  8ed6389

  Copy full SHA for 8ed6389

• Add weak fairness to temporal properties

  bugarela

  committed
  ea74c7f

  Copy full SHA for ea74c7f

• Rename, format and reorganize ewd426 example

  bugarela

  committed
  a765cd8

  Copy full SHA for a765cd8

Commits on Jan 24, 2025

• Merge pull request #1586 from informalsystems/release/0.23.0

  Show description for fd267bb
  bugarela

  authored
  fd267bb

  Copy full SHA for fd267bb

• Release v0.23.0

  bugarela

  committed
  bf44a29

  Copy full SHA for bf44a29

• Merge pull request #1562 from informalsystems/gabriela/counting-witnesses

  Show description for e3cbbeb
  bugarela

  authored
  e3cbbeb

  Copy full SHA for e3cbbeb

• fixed and unfied encoding

  josef-widder

  committed
  ec6673e

  Copy full SHA for ec6673e

Commits on Jan 21, 2025

• Added 3state and 4state

  MahtabNorouzi

  committed
  0951661

  Copy full SHA for 0951661

Commits on Jan 20, 2025

• Merge branch 'main' into gabriela/counting-witnesses

  bugarela

  authored
  5b04cdd

  Copy full SHA for 5b04cdd

• Update test with new seed behavior from merging main

  bugarela

  committed
  87af918

  Copy full SHA for 87af918

• Print number of explored traces

  bugarela

  committed
  408ad9e

  Copy full SHA for 408ad9e

• Merge pull request #1582 from jff-work/main

  Show description for 9076637
  bugarela

  authored
  9076637

  Copy full SHA for 9076637

• Merge branch 'main' into main

  bugarela

  authored
  9cc5fa9

  Copy full SHA for 9cc5fa9

• Add helpful comments

  bugarela

  committed
  1e776da

  Copy full SHA for 1e776da

• Add CHANGELOG entry

  bugarela

  committed
  0ba3146

  Copy full SHA for 0ba3146

• Update tests to match new seed behavior

  bugarela

  committed
  f93f7fd

  Copy full SHA for f93f7fd

• Merge pull request #1581 from oliveredget/typo

  Show description for ad5fb99
  bugarela

  authored
  ad5fb99

  Copy full SHA for ad5fb99

Commits on Jan 15, 2025

• Add Dijkstra's Stabilizing Token Ring example in Quint

  MahtabNorouzi

  committed
  045af53

  Copy full SHA for 045af53

Commits on Dec 29, 2024

• Merge branch 'informalsystems:main' into main

  jff-work

  authored
  399b2d1

  Copy full SHA for 399b2d1

• Changed any function to be more efficient

  jff-work

  committed
  3b6f65a

  Copy full SHA for 3b6f65a

Commits on Dec 28, 2024

• Fix typo

  oliveredget

  committed
  94a88e5

  Copy full SHA for 94a88e5

• Fix typo

  oliveredget

  committed
  b31af47

  Copy full SHA for b31af47

• Fix typo

  oliveredget

  committed
  ab5a8ce

  Copy full SHA for ab5a8ce

• Fix typo

  oliveredget

  committed
  7e3bad0

  Copy full SHA for 7e3bad0

• Fix typo

  oliveredget

  committed
  13a29e4

  Copy full SHA for 13a29e4

• Fix typo

  oliveredget

  committed
  f871168

  Copy full SHA for f871168

• Fix typo

  oliveredget

  committed
  3fb5eb8

  Copy full SHA for 3fb5eb8

• Fix typo

  oliveredget

  committed
  980ee03

  Copy full SHA for 980ee03

• Fix typo

  oliveredget

  committed
  1769bd2

  Copy full SHA for 1769bd2

Pagination

Previous

Next