Commits

Branch selector

 master

User selector

levnach

Datepicker

All time

Commit History

Commits on Dec 6, 2021

• start using lar_solver::is_feasible() (Z3Prover#5697)

  levnach

  committedDec 6, 2021
  9b4f3a7

• Handle correctly cancelled run (Z3Prover#5695)

  levnach

  committedDec 6, 2021
  7758b51

Commits on Nov 28, 2021

• remove an unused var

  levnach

  committedNov 28, 2021
  d50c4bf

Commits on Jun 7, 2021

• set status to CANCELLED on the total_iterations threshold bailout

  levnach

  committedJun 7, 2021
  3a5b88e

Commits on May 5, 2021

• support recursive terms (Z3Prover#5246)

  levnach

  committedMay 5, 2021
  179988e

Commits on Apr 10, 2021

• rename a metod

  levnach

  committedApr 10, 2021
  1a7c9fa

• simplify the check for polarity, remove the struct with vertex and polarity

  levnach

  committedApr 10, 2021
  6a1fd3b

• correctly explain the all fixed test in the octaganal tree

  levnach

  committedApr 10, 2021
  8848e5b

• debug issue 5127

  levnach

  committedApr 10, 2021
  18610bf

Commits on Mar 19, 2021

• add a trace statement

  levnach

  committedMar 19, 2021
  3b67dd8

Commits on Dec 9, 2020

• fix in nla_ordered_lemma

  levnach

  committedDec 9, 2020
  4d7062d

Commits on Dec 7, 2020

• set arith.cheap_eqsTO True

  levnach

  committedDec 7, 2020
  7089610

• set the defalt for cheap_eqs=False, do not run

  levnach

  committedDec 7, 2020
  b90143c

Commits on Dec 6, 2020

• Tree fix (Z3Prover#4864)

  levnach

  committedDec 6, 2020
  2e5eb2d

Commits on Nov 10, 2020

• add a comment in nla_order

  levnach

  committedNov 10, 2020
  4810b4c

• add a comment in nla_order

  levnach

  committedNov 10, 2020
  fc5e5a2

Commits on Sep 30, 2020

• perf in branching (Z3Prover#4719)

  levnach

  committedSep 30, 2020
  4e74c4c

Commits on Sep 26, 2020

• Perf branch (Z3Prover#4710)

  levnach

  committedSep 26, 2020
  2572440

Commits on Sep 23, 2020

• no big nums in patching (Z3Prover#4705)

  levnach

  committedSep 23, 2020
  1e7998f

Commits on Jul 31, 2020

• fixed a but with insertion of a null vertex

  levnach

  committedJul 31, 2020
  fb035c0

Commits on Jul 4, 2020

• remove unicode from hnf_cutter.h

  levnach

  committedJul 4, 2020
  62b9630

• add comments to hnf_cutter

  levnach

  committedJul 4, 2020
  7a4eed0

• add comments to hnf_cutter

  levnach

  committedJul 4, 2020
  49e49d6

• add comments to hnf_cutter

  levnach

  committedJul 4, 2020
  80a4da9

• cheap_eqs - fix the build

  levnach

  committedJul 4, 2020
  fff6a94

• cheap_eqs - work on fixed_phase

  levnach

  committedJul 4, 2020
  61da368

• cheap_eqs - work on fixed_phase

  levnach

  committedJul 4, 2020
  f4502ff

• cheap_eqs - work on fixed_phase

  levnach

  committedJul 4, 2020
  1695379

• cheap_eqs - work on fixed_phase

  levnach

  committedJul 4, 2020
  a1c5cff

• cheap_eqs - work on fixed_phase

  levnach

  committedJul 4, 2020
  29b3f43

• cleanup lp_bound_propagator.h

  levnach

  committedJul 4, 2020
  cb3ebac

• remove cheap equalities with the table

  levnach

  committedJul 4, 2020
  b996bc1

Commits on Jun 22, 2020

• check for m.get_sort(lhs->get_owner()) == m.get_sort(rhs->get_owner()) in equality propagation

  levnach

  committedJun 22, 2020
  6ced699

Commits on Jun 20, 2020

• remove un unnecessary call

  levnach

  committedJun 20, 2020
  6524a70

• fix the build

  levnach

  committedJun 20, 2020
  8f588a9

Pagination

PreviousNext