Commits

Breadcrumbs

History for

onb022d4c

User selector

All users

Datepicker

All time

Commit History

Commits on Apr 24, 2024

• More formatting

  lorchrob

  committed
  b022d4c

  Copy full SHA for b022d4c

• More formatting

  lorchrob

  committed
  c350586

  Copy full SHA for c350586

• Doc formatting

  lorchrob

  committed
  e7051bd

  Copy full SHA for e7051bd

• Add first rough draft of ref types user documentation

  lorchrob

  committed
  1c951aa

  Copy full SHA for 1c951aa

Commits on Feb 15, 2024

• Make circularity check more conservative

  Show description for 9dc6299
  daniel-larraz

  committed
  9dc6299

  Copy full SHA for 9dc6299

Commits on Dec 27, 2023

• Disable custom CSS in HTML user doc

  Show description for d0307bc
  daniel-larraz

  committed
  d0307bc

  Copy full SHA for d0307bc

• Reintroduce 'any' operator

  Show description for 16d922c
  daniel-larraz

  committed
  16d922c

  Copy full SHA for 16d922c

Commits on Dec 26, 2023

• Bump version numbers to v2.1.1

  daniel-larraz

  committed
  78a693d

  Copy full SHA for 78a693d

• Temporarily deactivate 'any' operator before release

  daniel-larraz

  committed
  c854bb9

  Copy full SHA for c854bb9

Commits on Dec 6, 2023

• Reintroduce 'any' operator

  Show description for d17314a
  daniel-larraz

  committed
  d17314a

  Copy full SHA for d17314a

• Bump version numbers to v2.1.0

  daniel-larraz

  committed
  6f08def

  Copy full SHA for 6f08def

• Temporarily deactivate 'any' operator before release

  daniel-larraz

  committed
  f2756f2

  Copy full SHA for f2756f2

Commits on Nov 3, 2023

• Rename the 'choose' operator to the 'any' operator

  daniel-larraz

  committed
  6b9baae

  Copy full SHA for 6b9baae

Commits on Sep 28, 2023

• Update user doc on choose op

  daniel-larraz

  committed
  a064efe

  Copy full SHA for a064efe

Commits on Sep 13, 2023

• Update user doc for choose op

  daniel-larraz

  committed
  52cc786

  Copy full SHA for 52cc786

Commits on Jun 22, 2023

• Merge remote-tracking branch 'upstream/develop' into nondeterministic-choice

  daniel-larraz

  committed
  d68e43a

  Copy full SHA for d68e43a

Commits on Jun 21, 2023

• Bump version numbers to v2.0.0

  daniel-larraz

  committed
  e94daba

  Copy full SHA for e94daba

• Fix code annotations

  daniel-larraz

  committed
  6c0ef91

  Copy full SHA for 6c0ef91

• Update recommendation about SMT solver selection

  daniel-larraz

  committed
  1cc0dcd

  Copy full SHA for 1cc0dcd

Commits on Jun 15, 2023

• Add support for OpenSMT as an interpolating solver

  daniel-larraz

  committed
  38918b3

  Copy full SHA for 38918b3

Commits on Jun 8, 2023

• Update IC3IA user doc

  daniel-larraz

  committed
  45875a6

  Copy full SHA for 45875a6

Commits on May 25, 2023

• Update user documentation for nondeterministic choice operator

  lorchrob

  committed
  4fa4f03

  Copy full SHA for 4fa4f03

• Merge pull request #984 from daniel-larraz/ic3ia-itp

  Show description for 21ac3c7
  daniel-larraz

  authored
  21ac3c7

  Copy full SHA for 21ac3c7

• Update user doc on IC3 engines

  daniel-larraz

  committed
  30c6001

  Copy full SHA for 30c6001

Commits on May 24, 2023

• Add --exit_code_mode option

  daniel-larraz

  committed
  1661bbf

  Copy full SHA for 1661bbf

Commits on May 10, 2023

• Add support for SMTInterpol

  daniel-larraz

  committed
  6a6a243

  Copy full SHA for 6a6a243

• Add additional non-vacuity check for modes

  Show description for a61052d
  daniel-larraz

  committed
  a61052d

  Copy full SHA for a61052d

Commits on Apr 26, 2023

• Bump version numbers to v1.9.0

  daniel-larraz

  committed
  b3cac61

  Copy full SHA for b3cac61

• Add user doc on exit codes

  daniel-larraz

  committed
  41ca057

  Copy full SHA for 41ca057

Commits on Apr 24, 2023

• Update user doc on non-vacuity checks

  daniel-larraz

  committed
  1e79322

  Copy full SHA for 1e79322

Commits on Apr 14, 2023

• Add options: --print_cex, --print_witness, and --dump_deadlock

  daniel-larraz

  committed
  da39f01

  Copy full SHA for da39f01

Commits on Apr 13, 2023

• Extend user doc on conditional properties

  daniel-larraz

  committed
  140bf4d

  Copy full SHA for 140bf4d

• Merge branch 'develop' into provided resolving conflicts

  daniel-larraz

  committed
  41ac832

  Copy full SHA for 41ac832

Commits on Apr 9, 2023

• Merge branch 'develop' into elsif

  lorchrob

  committed
  a921146

  Copy full SHA for a921146

Commits on Apr 7, 2023

• Update 1_lustre.rst

  lorchrob

  authored
  c160f78

  Copy full SHA for c160f78

Pagination

Previous

Next