Commits

Breadcrumbs

History for

ondevel

User selector

All users

Datepicker

All time

Commit History

Commits on Jan 4, 2025

• final_check: remove language equations check

  vhavlena

  committed
  e4535f1

  Copy full SHA for e4535f1

Commits on Jan 2, 2025

• gather free length variables from quantified formulae

  vhavlena

  committed
  b37672a

  Copy full SHA for b37672a

• get_len_expr: fixing asserts during quantifier handling

  vhavlena

  committed
  fd03518

  Copy full SHA for fd03518

Commits on Dec 16, 2024

• remove comment

  vhavlena

  committed
  b720a9b

  Copy full SHA for b720a9b

• contains: remove; preprocess: unsigned fix

  vhavlena

  committed
  6470df8

  Copy full SHA for 6470df8

Commits on Dec 14, 2024

• Update src/smt/theory_str_noodler/expr_cases.h

  Show description for 426c11d
  

  vhavlena

  and

  jurajsic

  authored
  426c11d

  Copy full SHA for 426c11d

• Update src/smt/theory_str_noodler/expr_cases.h

  Show description for d2af565
  

  vhavlena

  and

  jurajsic

  authored
  d2af565

  Copy full SHA for d2af565

Commits on Dec 12, 2024

• preprocess: get rid of warnings

  vhavlena

  committed
  c46085b

  Copy full SHA for c46085b

• expr_cases: remove cases

  vhavlena

  committed
  d0ff67f

  Copy full SHA for d0ff67f

Commits on Dec 11, 2024

• remove state_len.h; adding comments; minor

  vhavlena

  committed
  fb80028

  Copy full SHA for fb80028

• refine: comment

  vhavlena

  committed
  54dc940

  Copy full SHA for 54dc940

• a bit of cleaning

  vhavlena

  committed
  bf9dc3a

  Copy full SHA for bf9dc3a

Commits on Dec 5, 2024

• Merge pull request #200 from VeriFIT/js-binding

  Show description for 7639faf
  vhavlena

  authored
  7639faf

  Copy full SHA for 7639faf

• Merge pull request #168 from VeriFIT/not-contains

  Show description for 87d4e4c
  vhavlena

  authored
  87d4e4c

  Copy full SHA for 87d4e4c

• comment on quantified variables

  vhavlena

  committed
  e8f6741

  Copy full SHA for e8f6741

• comment

  vhavlena

  committed
  a911eb3

  Copy full SHA for a911eb3

Commits on Dec 4, 2024

• length sensitive vars as a part of the abstract interface

  vhavlena

  committed
  da8bd67

  Copy full SHA for da8bd67

• remove len_node_to_z3_expr

  MichalHe

  committed
  d69a43b

  Copy full SHA for d69a43b

Commits on Dec 2, 2024

• feat(precision merging): reimplement precision computation for conjunctions

  MichalHe

  committed
  909b439

  Copy full SHA for 909b439

• doc(lia-reductions): document why we are setting underapprox on l_undef

  MichalHe

  committed
  5b9062b

  Copy full SHA for 5b9062b

• feat(final_check): add strace probe for dumping lia into a file

  MichalHe

  committed
  2412cd7

  Copy full SHA for 2412cd7

Commits on Nov 29, 2024

• get_lengths: completely remove precision reasoning

  vhavlena

  committed
  26925a9

  Copy full SHA for 26925a9

• fixing the precision setting

  vhavlena

  committed
  c36637d

  Copy full SHA for c36637d

• improve check for length axioms; comment

  vhavlena

  committed
  d328b77

  Copy full SHA for d328b77

Commits on Nov 27, 2024

• fix(quant_lia_solver): add newline at the end of file

  MichalHe

  committed
  df4c379

  Copy full SHA for df4c379

• fix(preprocess): remove commented-out literal compression

  MichalHe

  committed
  da153f3

  Copy full SHA for da153f3

• fix(formula): remove the use of int64_t

  MichalHe

  committed
  58b3ab4

  Copy full SHA for 58b3ab4

• docssrc/smt/theory_str_noodler/formula.h

  Show description for f246db0
  

  MichalHe

  and

  jurajsic

  authored
  f246db0

  Copy full SHA for f246db0

• fix(decision_proc): merge precision instead of throwing it away

  MichalHe

  committed
  f67b015

  Copy full SHA for f67b015

• fix(decision_proc): remove an always-false condition

  MichalHe

  committed
  dcaadca

  Copy full SHA for dcaadca

• docs(counter_automaton): document macro inserting lex-sort branches

  MichalHe

  committed
  529aaaa

  Copy full SHA for 529aaaa

• cleaning includes

  vhavlena

  committed
  ea41de6

  Copy full SHA for ea41de6

Commits on Nov 25, 2024

• Merge pull request #194 from VeriFIT/uninterpreted-basic

  Show description for eafdc5b
  jurajsic

  authored
  eafdc5b

  Copy full SHA for eafdc5b

Commits on Nov 22, 2024

• notcontains: propagate procedure flag

  vhavlena

  committed
  ff5e27e

  Copy full SHA for ff5e27e

• workaround for unsatisfiable literal-only disequations

  vhavlena

  committed
  f69d998

  Copy full SHA for f69d998

Pagination

Previous

Next