Code

Counting witnesses#1562

Code

Open

bugarela wants to merge 13 commits intomaininformalsystems/quint:mainfrom gabriela/counting-witnessesinformalsystems/quint:gabriela/counting-witnessesCopy head branch name to clipboard

+98-21

Commits

Commits on Nov 13, 2024

• Add witnesses argument to quint run

  bugarela

  committed
  9c0807c

  Copy full SHA for 9c0807c

• Fix descriptions to match behavior

  bugarela

  committed
  6ab4744

  Copy full SHA for 6ab4744

Commits on Nov 18, 2024

• Count wintessing traces as well

  bugarela

  committed
  9ec2ab2

  Copy full SHA for 9ec2ab2

Commits on Dec 13, 2024

• Fix issue on default and organize

  bugarela

  committed
  050a7b0

  Copy full SHA for 050a7b0

• Fix problem on the Tic-Tac-Toe example

  bugarela

  committed
  11341bf

  Copy full SHA for 11341bf

• Remove state counter and add integration test

  bugarela

  committed
  1a6ad1f

  Copy full SHA for 1a6ad1f

Commits on Dec 16, 2024

• Fix linter issues

  bugarela

  committed
  d7af57e

  Copy full SHA for d7af57e

• Add documentation

  bugarela

  committed
  ee26adb

  Copy full SHA for ee26adb

• Add CHANGELOG entry

  bugarela

  committed
  62ab7b8

  Copy full SHA for 62ab7b8

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

  bugarela

  authored
  1624048

  Copy full SHA for 1624048

Commits on Jan 20, 2025

• Print number of explored traces

  bugarela

  committed
  408ad9e

  Copy full SHA for 408ad9e

• Update test with new seed behavior from merging main

  bugarela

  committed
  87af918

  Copy full SHA for 87af918

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

  bugarela

  authored
  5b04cdd

  Copy full SHA for 5b04cdd