Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Dec 20, 2024

• test: fixing parikh

  vhavlena

  committed
  d829181

  Copy full SHA for d829181

Commits on Nov 27, 2024

• fix(test_utils): remove commented out "using"

  MichalHe

  committed
  aa07358

  Copy full SHA for aa07358

Commits on Nov 20, 2024

• diseqs: add formula asserting correct register values

  MichalHe

  committed
  3050229

  Copy full SHA for 3050229

• formula_generator: gen assert - every diseq has both samples

  MichalHe

  committed
  957439f

  Copy full SHA for 957439f

• construct automaton for multiple disequalitites

  MichalHe

  committed
  27166cf

  Copy full SHA for 27166cf

• store more metadata about automaton structure

  MichalHe

  committed
  f7f9466

  Copy full SHA for f7f9466

• tag_aut: always trim states during construction

  MichalHe

  committed
  72e3dac

  Copy full SHA for 72e3dac

• union_matrix: track copy origin

  MichalHe

  committed
  ffb7228

  Copy full SHA for ffb7228

• tests: check whether state origin is tracked correctly

  MichalHe

  committed
  6cb4dd6

  Copy full SHA for 6cb4dd6

• integrate de-brujin conversion into lengths formula generation

  MichalHe

  committed
  b8a04a9

  Copy full SHA for b8a04a9

• LenNode_to_z3: handle quantifiers correctly

  MichalHe

  committed
  c1cf43c

  Copy full SHA for c1cf43c

• add alternative more LIA-oriented symbol uniqueness assertion

  MichalHe

  committed
  81f1336

  Copy full SHA for 81f1336

• more work on not-contains

  MichalHe

  committed
  2f0abe7

  Copy full SHA for 2f0abe7

Commits on Dec 28, 2023

• preprocess-test: remove dependency

  vhavlena

  committed
  16cb17c

  Copy full SHA for 16cb17c

• tests compatible with the current mata

  vhavlena

  committed
  3627523

  Copy full SHA for 3627523

Commits on Sep 4, 2023

• fixing failing tests

  vhavlena

  committed
  fa1bc76

  Copy full SHA for fa1bc76

Commits on Sep 1, 2023

• fix some tests

  jurajsic

  committed
  204a116

  Copy full SHA for 204a116

• make tests compilable

  jurajsic

  committed
  2a78bfa

  Copy full SHA for 2a78bfa

Commits on Aug 31, 2023

• build noodler tests only if catch2 is installed

  jurajsic

  committed
  d5556e2

  Copy full SHA for d5556e2

Commits on Jul 13, 2023

• rename functions creating fresh string and int vars in theory_str_noodler to make it more obvious

  jurajsic

  committed
  dd7883e

  Copy full SHA for dd7883e

• FormulaPreprocess -> FormulaPreprocessor

  jurajsic

  committed
  8005b05

  Copy full SHA for 8005b05

• simplify language (dis)eqs checking, add str.<, str.<= as unhandled

  jurajsic

  committed
  3718ed2

  Copy full SHA for 3718ed2

Commits on May 11, 2023

• compilable tests

  jurajsic

  committed
  54994e4

  Copy full SHA for 54994e4

Commits on Apr 19, 2023

• Reflect changes in interface in tests

  Adda0

  committed
  1e62387

  Copy full SHA for 1e62387

Commits on Mar 21, 2023

• Fix tests

  Adda0

  committed
  dc201d3

  Copy full SHA for dc201d3

Commits on Feb 28, 2023

• Print inclusion graph to DOT format

  Adda0

  committed
  3999281

  Copy full SHA for 3999281

Commits on Feb 23, 2023

• Merge pull request #28 from Adda0/stop_using_re2_parser

  Show description for 0fc007a
  vhavlena

  authored
  0fc007a

  Copy full SHA for 0fc007a

Commits on Feb 22, 2023

• fix failing tests

  vhavlena

  committed
  3de7129

  Copy full SHA for 3de7129

• Clean trailing whitespaces

  Adda0

  committed
  9e00416

  Copy full SHA for 9e00416

• Use zstring in BasicTerm instead of std::string

  Adda0

  committed
  0159239

  Copy full SHA for 0159239

• Create initial tests with new tests format

  Adda0

  committed
  65ebcb7

  Copy full SHA for 65ebcb7

• Test util functions

  Adda0

  committed
  e778fea

  Copy full SHA for e778fea

Commits on Feb 16, 2023

• Check whether expr is variable

  Adda0

  committed
  578c967

  Copy full SHA for 578c967

Commits on Feb 13, 2023

• Initialize z3 memory management at test run start

  Adda0

  committed
  cfc55be

  Copy full SHA for cfc55be

• Disable unused functions and vars warnings for tests

  Adda0

  committed
  52ff075

  Copy full SHA for 52ff075

Pagination

Previous

Next