Commits

Branch selector

 main

User selector

All users

Datepicker

All time

Commit History

Commits on Sep 5, 2025

• Use both clipped and non-clipped vectors from fuzzing algorithms.

  trtikm

  committed
  8b4f061

  Copy full SHA for 8b4f061

• Leave partial zero if signs of left and right derivative disagree.

  trtikm

  committed
  4e14ed9

  Copy full SHA for 4e14ed9

Commits on Sep 4, 2025

• Fixed bug in partial computation when having both left and right finite differences.

  trtikm

  committed
  a5803bc

  Copy full SHA for a5803bc

• Compute partial from left and right finite differences

  trtikm

  committed
  8f9c3f5

  Copy full SHA for 8f9c3f5

Commits on Sep 2, 2025

• Added is_matrix_feasible check

  trtikm

  committed
  0634541

  Copy full SHA for 0634541

• More user friendly computation of gradients.

  trtikm

  committed
  d66df3c

  Copy full SHA for d66df3c

Commits on Sep 1, 2025

• Reset matrix when it becomes empty.

  trtikm

  committed
  c00a75b

  Copy full SHA for c00a75b

Commits on Aug 20, 2025

• Fixed integral_epsilon_step_along_vector

  trtikm

  committed
  8da72a7

  Copy full SHA for 8da72a7

• Fixed bug in gradient descent; vectors S and v.

  trtikm

  committed
  6dac3e9

  Copy full SHA for 6dac3e9

• Bugfix: pass transformed vector to epsilon step method.

  trtikm

  committed
  0ac7bda

  Copy full SHA for 0ac7bda

• Refactoring of termination functions of bit-flips and random.

  trtikm

  committed
  631220b

  Copy full SHA for 631220b

• Bugfix in BitFlips: added missing reset of bit index when moving to next var.

  trtikm

  committed
  7e5653a

  Copy full SHA for 7e5653a

Commits on Aug 19, 2025

• Fixed bug: reset gradient computation on move to next constraint.

  trtikm

  committed
  3af76f4

  Copy full SHA for 3af76f4

• Added function value to step along ray and its use.

  trtikm

  committed
  a69f997

  Copy full SHA for a69f997

• Improved API of scalar_to_variable

  trtikm

  committed
  03e1e14

  Copy full SHA for 03e1e14

• Introduced evaluation cache and its use in solver

  trtikm

  committed
  b61e898

  Copy full SHA for b61e898

• Added comparison and hashing of variables.

  trtikm

  committed
  a95478d

  Copy full SHA for a95478d

• Fixed step computation for floats in epsilon_step_along_vector

  trtikm

  committed
  be8a42d

  Copy full SHA for be8a42d

• Increased precision of Vector and Matrix

  trtikm

  committed
  0d740d5

  Copy full SHA for 0d740d5

• Improved epsilon_around

  trtikm

  committed
  68cbbab

  Copy full SHA for 68cbbab

• Added utility function for conversion between scalar and variable.

  trtikm

  committed
  7d1122d

  Copy full SHA for 7d1122d

• Clear memory of variables on construction

  trtikm

  committed
  75cc6ad

  Copy full SHA for 75cc6ad

Commits on Aug 15, 2025

• Added more statistics

  trtikm

  committed
  efc13fd

  Copy full SHA for efc13fd

Commits on Aug 12, 2025

• Improved set of multipliers of gradient descent

  trtikm

  committed
  2212bd2

  Copy full SHA for 2212bd2

Commits on Aug 11, 2025

• Using long double precision

  trtikm

  committed
  84dae56

  Copy full SHA for 84dae56

Commits on Aug 10, 2025

• Fixed bug in cubes of random fuzzing and also reduced count of samples.

  trtikm

  committed
  b7b00bf

  Copy full SHA for b7b00bf

• Do not compute epsilon in gradient descent

  trtikm

  committed
  b58273a

  Copy full SHA for b58273a

• Use left and right finite differences in constraints

  trtikm

  committed
  3d87df3

  Copy full SHA for 3d87df3

• Use left and right finite differences in local space

  trtikm

  committed
  dc9b002

  Copy full SHA for dc9b002

• Fixed comparator used in check of better evaluation

  trtikm

  committed
  e3b08c6

  Copy full SHA for e3b08c6

• integral_epsilon_step_along_vector can accept also non-unit vector,

  trtikm

  committed
  f08a94b

  Copy full SHA for f08a94b

• Clear also constraints on round begin

  trtikm

  committed
  3b5b98e

  Copy full SHA for 3b5b98e

• Use right comparator based on the predicate

  trtikm

  committed
  aba1a98

  Copy full SHA for aba1a98

Commits on Aug 9, 2025

• Changed API of the evaluator

  trtikm

  committed
  aba8523

  Copy full SHA for aba8523

• Fixed bug in comparators of constraints.

  trtikm

  committed
  9bb6b53

  Copy full SHA for 9bb6b53

Pagination

Previous

Next