Code

Add support for variable domains#17

Code

Merged

ondrej33 merged 25 commits intomastersybila/biodivine-hctl-model-checker:masterfrom dev-variable-domainssybila/biodivine-hctl-model-checker:dev-variable-domainsCopy head branch name to clipboardJan 31, 2024

+2,728-1,389

Commits

Commits on Dec 18, 2023

• WIP: Add syntactic support for restricted variable domains. Semantics and tests still in making.

  ondrej33

  committed
  180d814

  Copy full SHA for 180d814

Commits on Dec 19, 2023

• Add fn to evaluate hctl var with restricted domain

  ondrej33

  committed
  5b52c00

  Copy full SHA for 5b52c00

• Fix tokenizer to correctly parse domains and whitespaces after quantifiers.

  ondrej33

  committed
  22f3285

  Copy full SHA for 22f3285

Commits on Dec 20, 2023

• Fix (old) bug in the parser.

  ondrej33

  committed
  3541eba

  Copy full SHA for 3541eba

• Add support for directly restricting domains of quantified variables. Needs testing though.

  ondrej33

  committed
  f91491d

  Copy full SHA for f91491d

• Merge branch 'master' into dev-variable-domains

  ondrej33

  committed
  c1e7ee7

  Copy full SHA for c1e7ee7

• Merge branch 'master' into dev-variable-domains

  ondrej33

  committed
  a8e0c5c

  Copy full SHA for a8e0c5c

Commits on Dec 21, 2023

• Modify canonization and duplicate checking fro formulas with domains.

  ondrej33

  committed
  0656419

  Copy full SHA for 0656419

Commits on Dec 23, 2023

• Remove redundant ordering traits for HctlTreeNode.

  ondrej33

  committed
  add5f8d

  Copy full SHA for add5f8d

• Merge branch 'master' into dev-variable-domains

  ondrej33

  committed
  7454266

  Copy full SHA for 7454266

• Add tests for var domains; fix bug with empty domain.

  ondrej33

  committed
  acf7e31

  Copy full SHA for acf7e31

Commits on Dec 24, 2023

• Fix bug in evaluating orall, extend tests.

  ondrej33

  committed
  d6841bb

  Copy full SHA for d6841bb

• Refactor and extend test suite.

  ondrej33

  committed
  8208fa2

  Copy full SHA for 8208fa2

• Rename sub-module with HCTL tree struct.

  ondrej33

  committed
  0d441dc

  Copy full SHA for 0d441dc

• Rename module with aeon algorithms.

  ondrej33

  committed
  12f2b8d

  Copy full SHA for 12f2b8d

Commits on Dec 28, 2023

• Update instructions.

  ondrej33

  committed
  db5bf06

  Copy full SHA for db5bf06

Commits on Dec 29, 2023

• Refactoring.

  ondrej33

  committed
  e35097c

  Copy full SHA for e35097c

• WIP: start working on tool updates regarding input and output.

  ondrej33

  committed
  f7c341a

  Copy full SHA for f7c341a

Commits on Dec 30, 2023

• Fix domain handling in cache. Fix few bugs in duplicate checking.

  ondrej33

  committed
  a866765

  Copy full SHA for a866765

• Refactoring.

  ondrej33

  committed
  cf75895

  Copy full SHA for cf75895

• Merge branch 'master' into dev-variable-domains

  ondrej33

  committed
  730a127

  Copy full SHA for 730a127

• Refactoring of code related to syntactic trees, as proposed by Sam.

  ondrej33

  committed
  f8d8709

  Copy full SHA for f8d8709

• Add option for output generating; do a little bit of refactoring.

  ondrej33

  committed
  74b0be2

  Copy full SHA for 74b0be2

Commits on Dec 31, 2023

• Add option to evaluate extended formulae by the tool.

  ondrej33

  committed
  6647080

  Copy full SHA for 6647080

Commits on Jan 31, 2024

• Update instructions.

  ondrej33

  committed
  d9fb9f4

  Copy full SHA for d9fb9f4